-
1
-
-
34250418152
-
Nonstandard models for arithmetic and analysis
-
Abian, A. (1974), 'Nonstandard models for arithmetic and analysis', Studia Logica, 33: 11-22
-
(1974)
Studia Logica
, vol.33
, pp. 11-22
-
-
Abian, A.1
-
2
-
-
84921969760
-
-
CSLI Lecture Notes, CSLI, Stanford
-
Aczel, P. (1988), Non-well-founded Sets, CSLI Lecture Notes, 14, CSLI, Stanford
-
(1988)
Non-well-founded Sets
, vol.14
-
-
Aczel, P.1
-
3
-
-
65849475072
-
Axioms for the set-theoretic hierarchy
-
Aken, J. V. (1986), 'Axioms for the set-theoretic hierarchy', J. Symb. Logic, 51: 992-1004
-
(1986)
J. Symb. Logic
, vol.51
, pp. 992-1004
-
-
Aken, J.V.1
-
4
-
-
0039349612
-
sur la puissance des ensembles mesurables B
-
Alexandroff, P. S. (1916), 'sur la puissance des ensembles mesurables B', C. R. Acad. Sci. Paris, 162:323-5
-
(1916)
C. R. Acad. Sci. Paris
, vol.162
, pp. 323-325
-
-
Alexandroff, P.S.1
-
7
-
-
0001016950
-
Diophantine problems on local fields
-
Ax, J. and Kochen, S. (1965), 'Diophantine problems on local fields', Amer. J. Math., 87: 605-30
-
(1965)
Amer. J. Math.
, vol.87
, pp. 605-630
-
-
Ax, J.1
Kochen, S.2
-
9
-
-
84880077519
-
sur les fonctions discontinues qui se rattachent avec fonctions continues
-
Baire, R. (1898), 'sur les fonctions discontinues qui se rattachent avec fonctions continues', C. R. Acad. Sci. Paris, 126: 1621-3
-
(1898)
C. R. Acad. Sci. Paris
, vol.126
, pp. 1621-1623
-
-
Baire, R.1
-
10
-
-
84921962394
-
sur la représentation des fonctions discontinues II
-
Bachmann, H. (1909), 'sur la représentation des fonctions discontinues II', Acta Math., 32:97-176
-
(1909)
Acta Math.
, vol.32
, pp. 97-176
-
-
Bachmann, H.1
-
12
-
-
0001342461
-
sur la décomposition des ensembles de points en parties respectivement congruentes
-
Banach, S. and Tarski, A. (1924), 'sur la décomposition des ensembles de points en parties respectivement congruentes', Fund. Math., 6: 244-77
-
(1924)
Fund. Math.
, vol.6
, pp. 244-277
-
-
Banach, S.1
Tarski, A.2
-
16
-
-
84981426985
-
Fregean extensions of first-order theories
-
Barwise, J. and Etchemendy, J. (1994), 'Fregean extensions of first-order theories', Math. Logic Quart., 40: 27-30
-
(1994)
Math. Logic Quart.
, vol.40
, pp. 27-30
-
-
Barwise, J.1
Etchemendy, J.2
-
17
-
-
0012586667
-
What numbers could not be
-
Benacerraf, P. (1965), 'What numbers could not be', Phil. Rev., 74: 47-73
-
(1965)
Phil. Rev.
, vol.74
, pp. 47-73
-
-
Benacerraf, P.1
-
19
-
-
0010098285
-
Quelques théorèmes de la théorie des ensembles de points
-
Bendixson, I. (1883), 'Quelques théorèmes de la théorie des ensembles de points', Acta Math., 2:415-29
-
(1883)
Acta Math.
, vol.2
, pp. 415-429
-
-
Bendixson, I.1
-
20
-
-
0011908462
-
-
London: Tonson (repr. in Ewald 1996, pp. 60-92)
-
Berkeley, G. (1734), The Analyst, or, A Discourse addressed to an Infidel Mathematician, London: Tonson (repr. in Ewald 1996, pp. 60-92)
-
(1734)
The Analyst, or, A Discourse addressed to an Infidel Mathematician
-
-
Berkeley, G.1
-
21
-
-
0013157662
-
sur le platonisme en mathématiques
-
trans, in Benacerraf and Putnam 1964, pp. 258-71
-
Bernays, P. (1935), 'sur le platonisme en mathématiques', Enseignement Math., 34: 52-69 (trans, in Benacerraf and Putnam 1964, pp. 258-71)
-
(1935)
Enseignement Math.
, vol.34
, pp. 52-69
-
-
Bernays, P.1
-
22
-
-
0002127415
-
A system of set theory I
-
Bernays, P. (1937), 'A system of set theory I', J. Symb. Logic, 2: 65-77
-
(1937)
J. Symb. Logic
, vol.2
, pp. 65-77
-
-
Bernays, P.1
-
23
-
-
0002127415
-
A system of set theory III
-
Bernays, P. (1942), 'A system of set theory III', J. Symb. Logic, 7: 65-89
-
(1942)
J. Symb. Logic
, vol.7
, pp. 65-89
-
-
Bernays, P.1
-
24
-
-
0000500225
-
Über die Reihe der transfiniten Ordnungszahlen
-
Bernstein, F. (1905a), 'Über die Reihe der transfiniten Ordnungszahlen', Math. Ann., 60:187-93
-
(1905)
Math. Ann.
, vol.60
, pp. 187-193
-
-
Bernstein, F.1
-
25
-
-
34250965454
-
Untersuchungen aus der Mengenlehre
-
Bernstein, F. (1905b), 'Untersuchungen aus der Mengenlehre', Math. Ann., 61:117-55
-
(1905)
Math. Ann.
, vol.61
, pp. 117-155
-
-
Bernstein, F.1
-
28
-
-
49549142576
-
Introduction
-
Birkhoff, G. (1975), 'Introduction', Hist. Math., 2: 535
-
(1975)
Hist. Math.
, vol.2
, pp. 535
-
-
Birkhoff, G.1
-
29
-
-
0040307619
-
The Baire category theorem implies the principle of dependent choices
-
Blair, G. E. (1977), 'The Baire category theorem implies the principle of dependent choices', Bull. Acad. Polon. Sci, Sér. Sci. Math., Astron. Phys., 25: 933-4
-
(1977)
Bull. Acad. Polon. Sci, Sér. Sci. Math., Astron. Phys.
, vol.25
, pp. 933-934
-
-
Blair, G.E.1
-
30
-
-
34248545557
-
Fortsetzung Riemannscher Flaschen
-
Bochner, S. (1928), 'Fortsetzung Riemannscher Flaschen', Math. Ann., 98: 406-21
-
(1928)
Math. Ann.
, vol.98
, pp. 406-421
-
-
Bochner, S.1
-
31
-
-
0007460531
-
Axiome et schéma de fondement dans le système de Zermelo
-
Boffa, M. (1969), 'Axiome et schéma de fondement dans le système de Zermelo', Bull. Acad. Polon. Sci, Sér. Sci. Math., 17: 113-15
-
(1969)
Bull. Acad. Polon. Sci, Sér. Sci. Math.
, vol.17
, pp. 113-115
-
-
Boffa, M.1
-
33
-
-
0010030589
-
The iterative conception of set
-
Boolos, G. (1971), 'The iterative conception of set', J. Phil, 68: 215-31
-
(1971)
J. Phil
, vol.68
, pp. 215-231
-
-
Boolos, G.1
-
34
-
-
0009373432
-
On second-order logic
-
Bolzano, B. (1975), 'On second-order logic', J. Phil, 72: 509-27
-
(1975)
J. Phil
, vol.72
, pp. 509-527
-
-
Bolzano, B.1
-
35
-
-
34250099340
-
A curious inference
-
Bolzano, B. (1987), 'A curious inference', J. Phil. Logic, 16: 1-12
-
(1987)
J. Phil. Logic
, vol.16
, pp. 1-12
-
-
Bolzano, B.1
-
36
-
-
4043096810
-
Iteration again
-
Bolzano, B. (1989), 'Iteration again', Phil. Topics, 17: 5-21
-
(1989)
Phil. Topics
, vol.17
, pp. 5-21
-
-
Bolzano, B.1
-
38
-
-
84921946889
-
The advantages of honest toil over theft
-
George 1994
-
Bolzano, B. (1994), 'The advantages of honest toil over theft', in George 1994, pp. 27-44
-
(1994)
, pp. 27-44
-
-
Bolzano, B.1
-
39
-
-
84921988128
-
Must we believe in set theory?
-
Sher and Tieszen 2000
-
Bolzano, B. (2000), 'Must we believe in set theory?', in Sher and Tieszen 2000, pp. 257-68
-
(2000)
, pp. 257-268
-
-
Bolzano, B.1
-
42
-
-
0008857733
-
Quelques remarques sur les principes de la théorie des ensembles
-
Borel, E. (1905), 'Quelques remarques sur les principes de la théorie des ensembles', Math. Ann., 60: 194-5
-
(1905)
Math. Ann.
, vol.60
, pp. 194-195
-
-
Borel, E.1
-
43
-
-
1542369581
-
Cinq lettres sur la théorie des ensembles
-
Borel, E., Baire, R., Hadamard, J. and Lebesgue, H. (1905), 'Cinq lettres sur la théorie des ensembles', Bull. Soc. Math. France, 33: 261-73
-
(1905)
Bull. Soc. Math. France
, vol.33
, pp. 261-273
-
-
Borel, E.1
Baire, R.2
Hadamard, J.3
Lebesgue, H.4
-
45
-
-
0002717685
-
Foundations of mathematics for the working mathematician
-
Bourbaki, N. (1949a), 'Foundations of mathematics for the working mathematician', J. Symb. Logic, 14:1-8
-
(1949)
J. Symb. Logic
, vol.14
, pp. 1-8
-
-
Bourbaki, N.1
-
47
-
-
0011263727
-
-
Actualités scientifiques et industrielles, Paris: Hermann
-
Bourbaki, N. (1954), Théorie des ensembles, chs I et II, Actualités scientifiques et industrielles, 1212, Paris: Hermann
-
(1954)
Théorie des ensembles, chs I et II
, vol.1212
-
-
Bourbaki, N.1
-
48
-
-
0011263727
-
-
Actualités scientifiques et industrielles, Paris: Hermann.
-
Bourbaki, N. (1956), Théorie des ensembles, ch. III, Actualités scientifiques et industrielles, 1243, Paris: Hermann.
-
(1956)
Théorie des ensembles, ch. III
, vol.1243
-
-
Bourbaki, N.1
-
51
-
-
65749320087
-
sulle classi ben ordinate
-
Bourbaki, N. (1897a), 'sulle classi ben ordinate', Rend. Circ. Mat. Palermo, 11: 260
-
(1897)
Rend. Circ. Mat. Palermo
, vol.11
, pp. 260
-
-
Bourbaki, N.1
-
52
-
-
0000152991
-
Una questione sui numeri transfiniti
-
Bourbaki, N. (1897b), 'Una questione sui numeri transfiniti', Rend. Circ. Mat. Palermo, 11:154-64
-
(1897)
Rend. Circ. Mat. Palermo
, vol.11
, pp. 154-164
-
-
Bourbaki, N.1
-
53
-
-
21844505230
-
On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics
-
Buss, S. R. (1994), 'On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics', J. Symb. Logic, 59: 737-56
-
(1994)
J. Symb. Logic
, vol.59
, pp. 737-756
-
-
Buss, S.R.1
-
54
-
-
68049109207
-
-
University of Western Ontario Series in Philosophy of Science, 9, Dordrecht: Reidel
-
Butts, R. E. and Hintikka, J., eds (1977), Logic, Foundations of Mathematics, and Computability Theory, University of Western Ontario Series in Philosophy of Science, 9, Dordrecht: Reidel
-
(1977)
Logic, Foundations of Mathematics, and Computability Theory
-
-
Butts, R.E.1
Hintikka, J.2
-
55
-
-
0010940533
-
The origins of Zorn's lemma
-
Campbell, P.J. (1978), 'The origins of Zorn's lemma', Hist. Math., 5: 77-89
-
(1978)
Hist. Math.
, vol.5
, pp. 77-89
-
-
Campbell, P.J.1
-
56
-
-
34447609850
-
Über die Ausdehnung eines Satzes aus der Theorie der trigonimetrischen Reihen
-
Cantor, G. (1872), 'Über die Ausdehnung eines Satzes aus der Theorie der trigonimetrischen Reihen', Math. Ann., 5: 123-32
-
(1872)
Math. Ann.
, vol.5
, pp. 123-132
-
-
Cantor, G.1
-
57
-
-
78649699122
-
Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen
-
Cantor, G. (1874), 'Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen', J. reine angew. Math., 77: 258-62
-
(1874)
J. reine angew. Math.
, vol.77
, pp. 258-262
-
-
Cantor, G.1
-
58
-
-
0039941908
-
Ein Beitrag ZUr Mannigfaltigkeitslehre
-
Cantor, G. (1878), 'Ein Beitrag ZUr Mannigfaltigkeitslehre', J. reine angew. Math., 84: 242-58
-
(1878)
J. reine angew. Math.
, vol.84
, pp. 242-258
-
-
Cantor, G.1
-
60
-
-
28244432050
-
Über die verschiedenen Standpunkte in bezug auf das aktuelle Unendliche
-
Cantor, G. (1886), 'Über die verschiedenen Standpunkte in bezug auf das aktuelle Unendliche', Zeitschr. Phil. phil. Krit., 88: 224-33
-
(1886)
Zeitschr. Phil. phil. Krit.
, vol.88
, pp. 224-233
-
-
Cantor, G.1
-
61
-
-
0003161212
-
Mitteilungen ZUr Lehre vom Transfiniten I
-
Cantor, G. (1887), 'Mitteilungen ZUr Lehre vom Transfiniten I', Zeitschr. Phil. phil. Krit., 91: 81-125
-
(1887)
Zeitschr. Phil. phil. Krit.
, vol.91
, pp. 81-125
-
-
Cantor, G.1
-
62
-
-
0002846271
-
Über eine elementare Frage der Mannigfaltigkeitslehre
-
Cantor, G. (1892), 'Über eine elementare Frage der Mannigfaltigkeitslehre', Jahresber. Deutsch.Math.-Ver., 1: 75-8
-
(1892)
Jahresber. Deutsch.Math.-Ver
, vol.1
, pp. 75-78
-
-
Cantor, G.1
-
63
-
-
34447604271
-
Beiträge ZUr Begründung der transfiniten Mengenlehre I
-
Cantor, G. (1895), 'Beiträge ZUr Begründung der transfiniten Mengenlehre I', Math. Ann., 47: 481-512
-
(1895)
Math. Ann.
, vol.47
, pp. 481-512
-
-
Cantor, G.1
-
64
-
-
0000523603
-
Beiträge ZUr Begründung der transfiniten Mengenlehre II
-
Cantor, G. (1897), 'Beiträge ZUr Begründung der transfiniten Mengenlehre II', Math. Ann., 49: 207-46
-
(1897)
Math. Ann.
, vol.49
, pp. 207-246
-
-
Cantor, G.1
-
66
-
-
0012804960
-
-
Berlin: Springer
-
Cantor, G. (1991), Briefe, Berlin: Springer
-
(1991)
Briefe
-
-
Cantor, G.1
-
67
-
-
0039548944
-
Die logizistische Grundlegung der Mathematik
-
Carnap, R. (1931), 'Die logizistische Grundlegung der Mathematik', Erkenntnis, 2:91-105
-
(1931)
Erkenntnis
, vol.2
, pp. 91-105
-
-
Carnap, R.1
-
68
-
-
84908550695
-
sur le fondement logique des mathématiques
-
Cartan, H. (1943), 'sur le fondement logique des mathématiques', Rev. Sci. (Rev. Rose), 81: 3-11
-
(1943)
Rev. Sci. (Rev. Rose)
, vol.81
, pp. 3-11
-
-
Cartan, H.1
-
71
-
-
84921969594
-
La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes
-
Cegielski, P. (1981), 'La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes', C. R. Acad. Sci. Paris, 290: 351-2
-
(1981)
C. R. Acad. Sci. Paris
, vol.290
, pp. 351-352
-
-
Cegielski, P.1
-
72
-
-
84919974246
-
Dummett on indefinite extensibility
-
Clark, P. (1993a), 'Dummett on indefinite extensibility', Proc. Arist. Soc., Supp. Vol., 67:235-49
-
(1993)
Proc. Arist. Soc., Supp. Vol.
, vol.67
, pp. 235-249
-
-
Clark, P.1
-
73
-
-
84963067393
-
Logicism, the continuum and anti-realism
-
Clark, P. (1993b), 'Logicism, the continuum and anti-realism', Analysis, 53:129-41
-
(1993)
Analysis
, vol.53
, pp. 129-141
-
-
Clark, P.1
-
74
-
-
84920010249
-
Dummett's argument for the indefinite extensibility of set and real number
-
Brandl and Sullivan 1998
-
Clark, P. (1998), 'Dummett's argument for the indefinite extensibility of set and real number', in Brandl and Sullivan 1998, pp. 51-63
-
(1998)
, pp. 51-63
-
-
Clark, P.1
-
75
-
-
0000762939
-
The independence of the continuum hypothesis
-
Cohen, P.J. (1963), 'The independence of the continuum hypothesis', Proc. Natl. Acad. Sci. USA, 50: 1143-8
-
(1963)
Proc. Natl. Acad. Sci. USA
, vol.50
, pp. 1143-1148
-
-
Cohen, P.J.1
-
77
-
-
84921950412
-
A large power set axiom
-
Cohen, P.J. (1973), 'A large power set axiom', J. Symb. Logic, 40: 48-54
-
(1973)
J. Symb. Logic
, vol.40
, pp. 48-54
-
-
Cohen, P.J.1
-
79
-
-
21244485739
-
Finite axiomatizability using additional predicates
-
Craig, W. and Vaught, R. (1958), 'Finite axiomatizability using additional predicates', J. Symb. Logic, 23: 289-308
-
(1958)
J. Symb. Logic
, vol.23
, pp. 289-308
-
-
Craig, W.1
Vaught, R.2
-
82
-
-
0004025173
-
-
2nd edn, London: Academic Press
-
Davenport, J. H., Siret, Y. and Tournier, E. (1993), Computer Algebra: Systems and Algorithms for Algebraic Computation, 2nd edn, London: Academic Press
-
(1993)
Computer Algebra: Systems and Algorithms for Algebraic Computation
-
-
Davenport, J.H.1
Siret, Y.2
Tournier, E.3
-
83
-
-
0011542907
-
Infinite games of perfect information
-
M. Dresher, L. S. Shapley and A. W. Tucker, eds, Princeton University Press
-
Davis, M. (1964), 'Infinite games of perfect information', in M. Dresher, L. S. Shapley and A. W. Tucker, eds, Advances in Game Theory, Princeton University Press, pp. 85-101
-
(1964)
Advances in Game Theory
, pp. 85-101
-
-
Davis, M.1
-
85
-
-
0004302673
-
-
Braunschweig: Vieweg (trans., in Ewald 1996, pp. 787-832)
-
Dedekind, R. (1888), Was sind und was sollen die Zahlen?, Braunschweig: Vieweg (trans., in Ewald 1996, pp. 787-832)
-
(1888)
Was sind und was sollen die Zahlen?
-
-
Dedekind, R.1
-
88
-
-
0006288710
-
The work of Nicholas Bourbaki
-
Dieudonné, J. A. (1970), 'The work of Nicholas Bourbaki', Amer. Math. Monthly, 77: 134-45
-
(1970)
Amer. Math. Monthly
, vol.77
, pp. 134-145
-
-
Dieudonné, J.A.1
-
89
-
-
0042484815
-
Beweis des Satzes, dassjede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinsch-aftlichen Factor sind, unendlich viele Primzahlen enthält
-
Dirichlet, G. P. L. (1837), 'Beweis des Satzes, dassjede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinsch-aftlichen Factor sind, unendlich viele Primzahlen enthält', Abh. Königl. Preuss. Akad. Wiss., 34:45-81
-
(1837)
Abh. Königl. Preuss. Akad. Wiss.
, vol.34
, pp. 45-81
-
-
Dirichlet, G.P.L.1
-
90
-
-
84960568367
-
On "well-ordered' aggregates
-
Dixon, A. C. (1905), 'On "well-ordered' aggregates', Proc. London Math. Soc., 4: 18-20
-
(1905)
Proc. London Math. Soc.
, vol.4
, pp. 18-20
-
-
Dixon, A.C.1
-
91
-
-
0033483542
-
Relatives of the Russell paradox
-
Doets, K. (1999), 'Relatives of the Russell paradox', Math. Logic Quart., 45: 73-83
-
(1999)
Math. Logic Quart.
, vol.45
, pp. 73-83
-
-
Doets, K.1
-
92
-
-
0346448275
-
Les axiomes de l'infini dans la théorie des ensembles sans axiome de substitution
-
Drabbe, J. (1969), 'Les axiomes de l'infini dans la théorie des ensembles sans axiome de substitution', C. R. Acad. Sci. Paris, 268: 137-8
-
(1969)
C. R. Acad. Sci. Paris
, vol.268
, pp. 137-138
-
-
Drabbe, J.1
-
94
-
-
77956949778
-
On the foundations of mathematics in 1987
-
H.-D. Ebbing-haus, J. Fernandez-Prian, M. Garrido, D. Lascar and M. R. Artadejo, eds, Amsterdam: North-Holland
-
Drake, F. R. (1989), 'On the foundations of mathematics in 1987', in H.-D. Ebbing-haus, J. Fernandez-Prian, M. Garrido, D. Lascar and M. R. Artadejo, eds, Logic Colloquium '87, Amsterdam: North-Holland, pp. 11-25
-
(1989)
Logic Colloquium '87
, pp. 11-25
-
-
Drake, F.R.1
-
97
-
-
79953592001
-
The philosophical significance of Gödel's theorem
-
London: Duckworth
-
Dummett, M. (1978), 'The philosophical significance of Gödel's theorem', in Truth and other enigmas, London: Duckworth, pp. 186-201
-
(1978)
Truth and other enigmas
, pp. 186-201
-
-
Dummett, M.1
-
99
-
-
3843106667
-
What is mathematics about?
-
Oxford: Clarendon Press
-
Dugac, P. (1993), 'What is mathematics about?', in The seas of language, Oxford: Clarendon Press, pp. 429-45
-
(1993)
The seas of language
, pp. 429-445
-
-
Dugac, P.1
-
100
-
-
3843102369
-
Chairman's address: Basic Law V′
-
Dugac, P. (1994a), 'Chairman's address: Basic Law V′, Proc. Arist. Soc., 94: 243-51
-
(1994)
Proc. Arist. Soc.
, vol.94
, pp. 243-251
-
-
Dugac, P.1
-
101
-
-
0010212569
-
Reply to Wright
-
B. McGuinness and G. Oliveri, eds, Dordrecht: Kluwer
-
Dugac, P. (1994b), 'Reply to Wright', in B. McGuinness and G. Oliveri, eds, The Philosophy of Michael Dummett, Dordrecht: Kluwer, pp. 329-38
-
(1994)
The Philosophy of Michael Dummett
, pp. 329-338
-
-
Dugac, P.1
-
104
-
-
0000041150
-
some applications of the notions of forcing and generic sets
-
Feferman, S. (1965), 'some applications of the notions of forcing and generic sets', Fund. Math., 56: 325-45
-
(1965)
Fund. Math.
, vol.56
, pp. 325-345
-
-
Feferman, S.1
-
105
-
-
0009082341
-
Categorical foundations and foundations of category theory
-
Butts and Hintikka 1977
-
Errera, A. (1977), 'Categorical foundations and foundations of category theory', in Butts and Hintikka 1977, pp. 149-69
-
(1977)
, pp. 149-169
-
-
Errera, A.1
-
106
-
-
0037961232
-
Why the programs for new axioms need to be questioned
-
Errera, A. (2000), 'Why the programs for new axioms need to be questioned', Bull. Symb. Logic, 6: 401-13
-
(2000)
Bull. Symb. Logic
, vol.6
, pp. 401-413
-
-
Errera, A.1
-
107
-
-
0001618009
-
Independence results in set theory by Cohen's method
-
Feferman, S. and Levy, A. (1963), 'Independence results in set theory by Cohen's method', Not. Amer. Math. Soc., 10: 593
-
(1963)
Not. Amer. Math. Soc.
, vol.10
, pp. 593
-
-
Feferman, S.1
Levy, A.2
-
108
-
-
35348838467
-
Which undecidable mathematical sentences have determinate truth values
-
Dales and Oliveri 1998
-
Field, H. (1998), 'Which undecidable mathematical sentences have determinate truth values', in Dales and Oliveri 1998, pp. 291-310
-
(1998)
, pp. 291-310
-
-
Field, H.1
-
109
-
-
9444221671
-
Ontological dependence
-
Fine, K. (1995), 'Ontological dependence', Proc. Arist. Soc., 95: 267-90
-
(1995)
Proc. Arist. Soc.
, vol.95
, pp. 267-290
-
-
Fine, K.1
-
110
-
-
0001038366
-
Martin's maximum, saturated ideals and non-regular ultrafilters
-
Foreman, M., Magidor, M. and Shelah, S. (1988), 'Martin's maximum, saturated ideals and non-regular ultrafilters V ,Ann. Math., 127: 1-47
-
(1988)
V ,Ann. Math.
, vol.127
, pp. 1-47
-
-
Foreman, M.1
Magidor, M.2
Shelah, S.3
-
111
-
-
0003932579
-
-
Oxford logic guides, 2nd edn, Oxford: Clarendon Press
-
Forster, T. E. (1995), Set Theory with a Universal Set: Exploring an Untyped Universe, Oxford logic guides, 31, 2nd edn, Oxford: Clarendon Press
-
(1995)
Set Theory with a Universal Set: Exploring an Untyped Universe
, vol.31
-
-
Forster, T.E.1
-
112
-
-
0039753163
-
Über den Begriff "definit" und die Unabhängigkeit des Auswahlaxioms
-
Fraenkel, A. A. (1922a), 'Über den Begriff "definit" und die Unabhängigkeit des Auswahlaxioms', Sitzungsber. Preuss. Akad. Wiss., Phys.-math. Kl., pp. 253-7
-
(1922)
Sitzungsber. Preuss. Akad. Wiss., Phys.-math. Kl.
, pp. 253-257
-
-
Fraenkel, A.A.1
-
113
-
-
0006831529
-
Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre
-
Forster, T. E. (1922b), 'Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre', Math. Ann., 86:230-7
-
(1922)
Math. Ann.
, vol.86
, pp. 230-237
-
-
Forster, T.E.1
-
118
-
-
0009264155
-
-
Jena: Pohle (partially trans, in Frege 1980
-
Forster, T. E. (1893-1903), Grundgesetze der Arithmetik, Jena: Pohle (partially trans, in Frege 1980, pp. 117-224)
-
(1893)
Grundgesetze der Arithmetik
, pp. 117-224
-
-
Forster, T.E.1
-
119
-
-
0010822179
-
Kritische Beleuchtung einiger Punkte in E. Schröders
-
trans, in Frege 1980, pp. 86-106
-
Forster, T. E. (1895), 'Kritische Beleuchtung einiger Punkte in E. Schröders Vorlesungenuber die Algebra der Logik' Archiv für systematische Philosophic, 1: 433-56 (trans, in Frege 1980, pp. 86-106)
-
(1895)
Vorlesungenuber die Algebra der Logik' Archiv für systematische Philosophic
, vol.1
, pp. 433-456
-
-
Forster, T.E.1
-
120
-
-
33748838664
-
Über die Grundlagen der Geometrie II
-
377-403, 423-30
-
Forster, T. E. (1906), 'Über die Grundlagen der Geometrie II, Jahresber. Deutsch. Math.-Ver., 15: 293-309, 377-403, 423-30
-
(1906)
Jahresber. Deutsch. Math.-Ver.
, vol.15
, pp. 293-309
-
-
Forster, T.E.1
-
123
-
-
0000986217
-
Higher set theory and mathematical practice
-
Friedman, H. (1971), 'Higher set theory and mathematical practice', Ann. Math. Logic, 2: 326-57
-
(1971)
Ann. Math. Logic
, vol.2
, pp. 326-357
-
-
Friedman, H.1
-
124
-
-
46149137751
-
Necessary uses of abstract set theory in finite mathematics
-
Forster, T. E. (1986), 'Necessary uses of abstract set theory in finite mathematics', Advances in Mathematics, 60: 92-122
-
(1986)
Advances in Mathematics
, vol.60
, pp. 92-122
-
-
Forster, T.E.1
-
125
-
-
0032264636
-
Finite functions and the necessary use of large cardinals
-
Forster, T. E. (1998), 'Finite functions and the necessary use of large cardinals', Ann. Math., 148: 803-93
-
(1998)
Ann. Math.
, vol.148
, pp. 803-893
-
-
Forster, T.E.1
-
126
-
-
33645571666
-
Normal mathematics will need new axioms
-
Forster, T. E. (2000), 'Normal mathematics will need new axioms', Bull. Symb. Logic, 6: 434-46
-
(2000)
Bull. Symb. Logic
, vol.6
, pp. 434-446
-
-
Forster, T.E.1
-
127
-
-
0001255444
-
Infinite games with perfect information
-
Annals of Mathematics Studies, 28, Princeton University Press
-
Gale, D. and Stewart, F. M. (1953), 'Infinite games with perfect information', in Contributions to the Theory of Games, Annals of Mathematics Studies, 28, Princeton University Press, pp. 245-66
-
(1953)
Contributions to the Theory of Games
, pp. 245-266
-
-
Gale, D.1
Stewart, F.M.2
-
129
-
-
0011315928
-
Die Widerspruchsfreiheit der reinen Zahlentheorie
-
Gentzen, G. (1936), 'Die Widerspruchsfreiheit der reinen Zahlentheorie', Math. Ann., 112:493-565
-
(1936)
Math. Ann.
, vol.112
, pp. 493-565
-
-
Gentzen, G.1
-
131
-
-
34347193348
-
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
-
Gödel, K. (1931), 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I', Monatsh. Math. Physik, 38: 173-98
-
(1931)
Monatsh. Math. Physik
, vol.38
, pp. 173-198
-
-
Gödel, K.1
-
132
-
-
0001794166
-
Zur intuitionistischen Arithmetik und Zahlentheorie
-
George, A., ed. (1933), 'Zur intuitionistischen Arithmetik und Zahlentheorie', Ergebnisseeines mathematischen Kolloquiums, 4: 34-8
-
(1933)
Ergebnisseeines mathematischen Kolloquiums
, vol.4
, pp. 34-38
-
-
George, A.1
-
133
-
-
0000599738
-
The consistency of the axiom of choice and the generalized continuum hypothesis
-
George, A., ed. (1938), 'The consistency of the axiom of choice and the generalized continuum hypothesis', Proc. Natl. Acad. Sci. USA, 24: 556-7
-
(1938)
Proc. Natl. Acad. Sci. USA
, vol.24
, pp. 556-557
-
-
George, A.1
-
134
-
-
4244169814
-
Russell's mathematical logic
-
Schilpp 1944
-
George, A., ed. (1944), 'Russell's mathematical logic', in Schilpp 1944, pp. 123-53
-
(1944)
, pp. 123-153
-
-
George, A.1
-
135
-
-
4243539729
-
What is Cantor's continuum problem?
-
George, A., ed. (1947), 'What is Cantor's continuum problem?', Amer. Math. Monthly, 54:515-25
-
(1947)
Amer. Math. Monthly
, vol.54
, pp. 515-525
-
-
George, A.1
-
136
-
-
84921991269
-
Remarks before the Princeton bicentennial conference, 1946
-
M. Davis, ed., Hewlett, NY: Raven Press
-
George, A., ed. (1965), 'Remarks before the Princeton bicentennial conference, 1946', in M. Davis, ed., The Undecidable, Hewlett, NY: Raven Press, pp. 71-3
-
(1965)
The Undecidable
, pp. 71-73
-
-
George, A.1
-
137
-
-
0003913615
-
-
Oxford University Press
-
George, A., ed. (1986-2003), Collected Works, Oxford University Press
-
(1986)
Collected Works
-
-
George, A.1
-
138
-
-
0039941810
-
Logic in the twenties: the nature of the quantifier
-
Goldfarb, W. (1979), 'Logic in the twenties: the nature of the quantifier', J. Symb. Logic, 44: 351-68
-
(1979)
J. Symb. Logic
, vol.44
, pp. 351-368
-
-
Goldfarb, W.1
-
139
-
-
0001769767
-
Continuing horrors of topology without choice
-
Good, C. and Tree, I. (1995), 'Continuing horrors of topology without choice', Topology Appl, 63:79-90
-
(1995)
Topology Appl
, vol.63
, pp. 79-90
-
-
Good, C.1
Tree, I.2
-
140
-
-
33750154539
-
On the restricted ordinal theorem
-
Goodstein, R. L. (1944), 'On the restricted ordinal theorem', J. Symb. Logic, 9: 33-41
-
(1944)
J. Symb. Logic
, vol.9
, pp. 33-41
-
-
Goodstein, R.L.1
-
142
-
-
0010897633
-
Georg Cantor and transcendental numbers
-
Gray, R. (1994), 'Georg Cantor and transcendental numbers', Amer. Math. Monthly, 101:819-32
-
(1994)
Amer. Math. Monthly
, vol.101
, pp. 819-832
-
-
Gray, R.1
-
145
-
-
67649192327
-
A theorem concerning the infinite cardinal numbers
-
Hardy, G. H. (1904), 'A theorem concerning the infinite cardinal numbers', Quart. J. Math., 35: 87-94
-
(1904)
Quart. J. Math.
, vol.35
, pp. 87-94
-
-
Hardy, G.H.1
-
146
-
-
84960567473
-
The continuum and the second number class
-
Hale, B. and Wright, C. (1906), 'The continuum and the second number class', Proc. London Math. Soc., 4: 10-17
-
(1906)
Proc. London Math. Soc.
, vol.4
, pp. 10-17
-
-
Hale, B.1
Wright, C.2
-
149
-
-
0000054016
-
Über das Problem der Wohlordnung
-
Hartogs, F. (1915), 'Über das Problem der Wohlordnung', Math. Ann., 76: 438-43
-
(1915)
Math. Ann.
, vol.76
, pp. 438-443
-
-
Hartogs, F.1
-
150
-
-
0000190180
-
Grundzüge einer Theorie der geordneten Mengen
-
Hausdorff, F. (1908), 'Grundzüge einer Theorie der geordneten Mengen', Math. Ann., 65: 435-505
-
(1908)
Math. Ann.
, vol.65
, pp. 435-505
-
-
Hausdorff, F.1
-
154
-
-
84941396961
-
Die Elemente der Functionlehre
-
Heine, E. (1872), 'Die Elemente der Functionlehre', J. reine angew. Math., 74: 172-88
-
(1872)
J. reine angew. Math.
, vol.74
, pp. 172-188
-
-
Heine, E.1
-
155
-
-
84921995898
-
-
New York: Macmillan
-
Henkin, L., Smith, W. N., Varineau, V.J. and Walsh, M.J. (1962), Retracing Elementary Mathematics, New York: Macmillan
-
(1962)
Retracing Elementary Mathematics
-
-
Henkin, L.1
Smith, W.N.2
Varineau, V.J.3
Walsh, M.J.4
-
158
-
-
0001693130
-
On the strength of non-standard analysis
-
Henson, C. W. and Keisler, H.J. (1986), 'On the strength of non-standard analysis', J. Symb. Logic, 51: 377-86
-
(1986)
J. Symb. Logic
, vol.51
, pp. 377-386
-
-
Henson, C.W.1
Keisler, H.J.2
-
159
-
-
0002270759
-
sur la fonction exponentielle
-
Hermite, C. (1873), 'sur la fonction exponentielle', C. R. Acad. Sci. Paris, 77:18-24
-
(1873)
C. R. Acad. Sci. Paris
, vol.77
, pp. 18-24
-
-
Hermite, C.1
-
161
-
-
34250955001
-
Über das Unendliche
-
Hilbert, D. (1925), 'Über das Unendliche', Math. Ann., 95: 161-90
-
(1925)
Math. Ann.
, vol.95
, pp. 161-190
-
-
Hilbert, D.1
-
162
-
-
0003879089
-
-
Die Grundlehren der mathematischen Wissenschaften, Berlin: Springer
-
Hilbert, D. and Ackermann, W. (1928), Grundzüge der theoretischen Logik, Die Grundlehren der mathematischen Wissenschaften, 27, Berlin: Springer
-
(1928)
Grundzüge der theoretischen Logik
, vol.27
-
-
Hilbert, D.1
Ackermann, W.2
-
164
-
-
84909514587
-
On the general theory of transfinite numbers and order types
-
Hobson, E. W. (1905), 'On the general theory of transfinite numbers and order types', Proc. London Math. Soc., 3: 170-88
-
(1905)
Proc. London Math. Soc.
, vol.3
, pp. 170-188
-
-
Hobson, E.W.1
-
166
-
-
0011377152
-
Elementary predicate logic
-
D. Gabbay and F. Guenthner, eds, Vol. I, Dordrecht: Kluwer
-
Hodges, W. (1983), 'Elementary predicate logic', in D. Gabbay and F. Guenthner, eds, Handbook of Philosophical Logic, Vol. I, Dordrecht: Kluwer, pp. 1-131
-
(1983)
Handbook of Philosophical Logic
, pp. 1-131
-
-
Hodges, W.1
-
167
-
-
0004240663
-
-
Cambridge University Press
-
Hilbert, D. (1993), Model Theory, Cambridge University Press
-
(1993)
Model Theory
-
-
Hilbert, D.1
-
168
-
-
0032368550
-
An editor recalls some hopeless papers
-
Hilbert, D. (1998), 'An editor recalls some hopeless papers', Bull. Symb. Logic, 4: 1-16
-
(1998)
Bull. Symb. Logic
, vol.4
, pp. 1-16
-
-
Hilbert, D.1
-
170
-
-
77957003984
-
Arithmetical truth and hidden higher order concepts
-
P. L. Group, ed., Amsterdam: North-Holland
-
Isaacson, D. (1987), 'Arithmetical truth and hidden higher order concepts', in P. L. Group, ed., Logic Colloquium '85, Amsterdam: North-Holland, pp. 147-69
-
(1987)
Logic Colloquium '85
, pp. 147-169
-
-
Isaacson, D.1
-
171
-
-
0039881505
-
some considerations on arithmetical truth and the ω-rule
-
M. Detlefsen, ed., London: Routledge
-
Hurd, A. E. and Loeb, P. A. (1992), 'some considerations on arithmetical truth and the ω-rule', in M. Detlefsen, ed., Proof, Logic and Formalization, London: Routledge, pp. 94-138
-
(1992)
Proof, Logic and Formalization
, pp. 94-138
-
-
Hurd, A.E.1
Loeb, P.A.2
-
172
-
-
0009236237
-
Non-provability of Souslin's hypothesis
-
Jech, T.J. (1967), 'Non-provability of Souslin's hypothesis', Comment. Math. Univ. Carolinae, 8: 291-305
-
(1967)
Comment. Math. Univ. Carolinae
, vol.8
, pp. 291-305
-
-
Jech, T.J.1
-
173
-
-
84921968003
-
-
Proceedings of Symposia in Pure Mathematics, Providence, RI: American Mathematical Society
-
Jech, T. J., ed. (1974), Axiomatic Set Theory II, Proceedings of Symposia in Pure Mathematics, 13, Providence, RI: American Mathematical Society
-
(1974)
Axiomatic Set Theory II
, vol.13
-
-
Jech, T.J.1
-
174
-
-
70349442020
-
Independence of the axiom of countable dependent choices from the countable axiom of choice
-
Jensen, R. B. (1966), 'Independence of the axiom of countable dependent choices from the countable axiom of choice', J. Symb. Logic, 31: 294
-
(1966)
J. Symb. Logic
, vol.31
, pp. 294
-
-
Jensen, R.B.1
-
175
-
-
84974058952
-
Inner models and large cardinals
-
Jech, T. J., ed. (1995), 'Inner models and large cardinals', Bull. Symb. Logic, 1: 393-407
-
(1995)
Bull. Symb. Logic
, vol.1
, pp. 393-407
-
-
Jech, T.J.1
-
177
-
-
0003374559
-
On a proof that every aggregate can be well-ordered
-
Jourdain, P. E. B. (1905), 'On a proof that every aggregate can be well-ordered', Math. Ann., 60: 465-70
-
(1905)
Math. Ann.
, vol.60
, pp. 465-470
-
-
Jourdain, P.E.B.1
-
178
-
-
84960567520
-
On the question of the existence of transfinite numbers
-
Jourdain, P. E. B. (1906), 'On the question of the existence of transfinite numbers', Proc. London Math. Soc., 4: 266-83
-
(1906)
Proc. London Math. Soc.
, vol.4
, pp. 266-283
-
-
Jourdain, P.E.B.1
-
182
-
-
84921959510
-
-
Vienna Circle Collection, Dordrecht: Reidel
-
Kac, M. and Ullam, S. M. (1978), The Infinite in Mathematics, Vienna Circle Collection, 9, Dordrecht: Reidel
-
(1978)
The Infinite in Mathematics
, vol.9
-
-
Kac, M.1
Ullam, S.M.2
-
183
-
-
0003705407
-
-
Oxford Logic Guides, Oxford: Clarendon Press
-
Kaye, R. (1991), Models of Peano Arithmetic, Oxford Logic Guides, 15, Oxford: Clarendon Press
-
(1991)
Models of Peano Arithmetic
, vol.15
-
-
Kaye, R.1
-
184
-
-
0004060563
-
-
Boston, MA: Prindle, Weber & Schmidt
-
Keisler, H.J. (1976), Elementary Calculus, Boston, MA: Prindle, Weber & Schmidt
-
(1976)
Elementary Calculus
-
-
Keisler, H.J.1
-
186
-
-
61249558963
-
Hume = Small Hume
-
Ketland, J. (2002), 'Hume = Small Hume', Analysis, 62: 92-3
-
(2002)
Analysis
, vol.62
, pp. 92-93
-
-
Ketland, J.1
-
187
-
-
0000268733
-
Accessible independence results for Peano arithmetic
-
Kirby, L. and Paris, J. (1982), 'Accessible independence results for Peano arithmetic', Bull. London Math. Soc., 14: 285-93
-
(1982)
Bull. London Math. Soc.
, vol.14
, pp. 285-293
-
-
Kirby, L.1
Paris, J.2
-
188
-
-
0040292946
-
Über die Grundlagen der Mengenlehre und das Kontinuum-problem
-
König, J. (1905), 'Über die Grundlagen der Mengenlehre und das Kontinuum-problem', Math. Ann., 61: 15-160
-
(1905)
Math. Ann.
, vol.61
, pp. 15-160
-
-
König, J.1
-
189
-
-
11844271211
-
Über einen Beweis des Äquivalenzsatzes
-
Korselt, A. (1911), 'Über einen Beweis des Äquivalenzsatzes', Math. Ann., 70: 294-6
-
(1911)
Math. Ann.
, vol.70
, pp. 294-296
-
-
Korselt, A.1
-
190
-
-
77956949740
-
Informal rigour and completeness proofs
-
I. Lakatos, ed, Amsterdam: North-Holland
-
Kreisel, G. (1967a), 'Informal rigour and completeness proofs', in I. Lakatos, ed., Problems in the Philosophy of Mathematics; Amsterdam: North-Holland, pp. 138-86
-
(1967)
Problems in the Philosophy of Mathematics;
, pp. 138-186
-
-
Kreisel, G.1
-
191
-
-
0003223845
-
Mathematical logic: What has it done for the philosophy of mathematics?
-
R. Schoenman, ed, London: Allen & Un-win
-
Kreisel, G. (1967b), 'Mathematical logic: What has it done for the philosophy of mathematics?', in R. Schoenman, ed., Bertrand Russell, London: Allen & Un-win,pp. 201-72
-
(1967)
Bertrand Russell
, pp. 201-272
-
-
Kreisel, G.1
-
192
-
-
35148873552
-
Observations on popular discussions of foundations
-
Scott 1971
-
Kreisel, G. (1971), 'Observations on popular discussions of foundations', in Scott 1971, pp. 189-98
-
(1971)
, pp. 189-198
-
-
Kreisel, G.1
-
194
-
-
0001530849
-
Elementary embeddings and infinitary combinatories
-
Kunen, K. (1971), 'Elementary embeddings and infinitary combinatories', J. Symb. Logic, 36: 407-13
-
(1971)
J. Symb. Logic
, vol.36
, pp. 407-413
-
-
Kunen, K.1
-
196
-
-
0010891107
-
sur la notion d'ordre dans la théorie des ensembles
-
Kuratowski, K. (1921), 'sur la notion d'ordre dans la théorie des ensembles', Fund. Math., 2: 161-71
-
(1921)
Fund. Math.
, vol.2
, pp. 161-171
-
-
Kuratowski, K.1
-
197
-
-
0010830092
-
Une méthode d'élimination des nombres transfinis des raisonnements mathématiques
-
Kunen, K. (1922), 'Une méthode d'élimination des nombres transfinis des raisonnements mathématiques', Fund. Math., 5: 76-108
-
(1922)
Fund. Math.
, vol.5
, pp. 76-108
-
-
Kunen, K.1
-
198
-
-
0039349474
-
Les opérations logiques et les ensembles projectifs
-
Kuratowski, K. and Tarski, A. (1931), 'Les opérations logiques et les ensembles projectifs', Fund. Math., 17: 240-8
-
(1931)
Fund. Math.
, vol.17
, pp. 240-248
-
-
Kuratowski, K.1
Tarski, A.2
-
200
-
-
52549116101
-
Cauchy and the continuum: The significance of non-standard analysis for the history and philosophy of mathematics
-
Lakatos, I. (1978), 'Cauchy and the continuum: The significance of non-standard analysis for the history and philosophy of mathematics', Math. Intelligencer, 1: 151-61
-
(1978)
Math. Intelligencer
, vol.1
, pp. 151-161
-
-
Lakatos, I.1
-
201
-
-
0003619093
-
-
Leipzig: Akademische Verlagsgesellschaft (trans, as Landau 1960)
-
Landau, E. (1930), Grundlagen der Analysis (das Rechnen mit ganzen, rationalen, irrationalen, komplexen Zahlen): Ergänzung ZU den Lehrbüchern der Differential- und Integ-ralrechnung, Leipzig: Akademische Verlagsgesellschaft (trans, as Landau 1960)
-
(1930)
Grundlagen der Analysis (das Rechnen mit ganzen, rationalen, irrationalen, komplexen Zahlen): Ergänzung ZU den Lehrbüchern der Differential- und Integ-ralrechnung
-
-
Landau, E.1
-
203
-
-
33748797359
-
sets and semantics
-
Lear, J. (1977), 'sets and semantics', J. Phil, 74: 86-102
-
(1977)
J. Phil
, vol.74
, pp. 86-102
-
-
Lear, J.1
-
204
-
-
0007284236
-
sur les fonctions représentables analytiquement
-
Lebesgue, H. (1905), 'sur les fonctions représentables analytiquement', J. Math. PuresAppl., (6)1: 139-216
-
(1905)
J. Math. PuresAppl.
, vol.6
, Issue.1
, pp. 139-216
-
-
Lebesgue, H.1
-
206
-
-
84972518123
-
A note on a problem concerning the axiomatic foundations of mereology
-
Lejewski, C. (1964), 'A note on a problem concerning the axiomatic foundations of mereology', Notre Dame J. Formal Logic, 4: 135-9
-
(1964)
Notre Dame J. Formal Logic
, vol.4
, pp. 135-139
-
-
Lejewski, C.1
-
207
-
-
84921965843
-
On the foundations of the theory of sets
-
Lennes, N.J. (1922), 'On the foundations of the theory of sets', Bull. Amer. Math. Soc., 28: 300
-
(1922)
Bull. Amer. Math. Soc.
, vol.28
, pp. 300
-
-
Lennes, N.J.1
-
208
-
-
0002884661
-
The calculus of individuals and its uses
-
Leonard, H. S. and Goodman, N. (1940), 'The calculus of individuals and its uses', J. Symb. Logic, 5: 45-55
-
(1940)
J. Symb. Logic
, vol.5
, pp. 45-55
-
-
Leonard, H.S.1
Goodman, N.2
-
210
-
-
13844269100
-
The definability of cardinal numbers
-
J. J. Bulloff, T. G. Holyoke and S. W. Hahn, eds, Berlin: Springer
-
Levy, A. (1969), 'The definability of cardinal numbers', in J. J. Bulloff, T. G. Holyoke and S. W. Hahn, eds, Foundations of mathematics: Symposium papers commemorating the sixtieth birthday of Kurt Gödel, Berlin: Springer, pp. 15-38
-
(1969)
Foundations of mathematics: Symposium papers commemorating the sixtieth birthday of Kurt Gödel
, pp. 15-38
-
-
Levy, A.1
-
211
-
-
51249189487
-
Measurable cardinals and the continuum hypothesis
-
Levy, A. and Solovay, R. M. (1967), 'Measurable cardinals and the continuum hypothesis', Israel J. Math., 5: 234-48
-
(1967)
Israel J. Math.
, vol.5
, pp. 234-248
-
-
Levy, A.1
Solovay, R.M.2
-
212
-
-
84921982411
-
Remarques sur un théorème de Paul Cohen
-
Levy, P. (1964), 'Remarques sur un théorème de Paul Cohen', Rev. Métaphys. Morale, 69: 88-94
-
(1964)
Rev. Métaphys. Morale
, vol.69
, pp. 88-94
-
-
Levy, P.1
-
214
-
-
4244159389
-
Remarques sur un théorème fondamental de la théorie des ensembles
-
Lindelöf, E. (1905), 'Remarques sur un théorème fondamental de la théorie des ensembles', Acta Math., 29: 183-90
-
(1905)
Acta Math.
, vol.29
, pp. 183-190
-
-
Lindelöf, E.1
-
215
-
-
0039679035
-
Über die Zahl π
-
Lindemann, F. (1882), 'Über die Zahl π' Math. Ann., 20: 213-25
-
(1882)
Math. Ann.
, vol.20
, pp. 213-225
-
-
Lindemann, F.1
-
216
-
-
2342514313
-
Über die Unabhändigkeit des Auswahlsaxiom und einiger seiner Folgerungen
-
Lindenbaum, A. and Mostowski, A. (1938), 'Über die Unabhändigkeit des Auswahlsaxiom und einiger seiner Folgerungen', C. R. Varsovie, 31: 27-32
-
(1938)
C. R. Varsovie
, vol.31
, pp. 27-32
-
-
Lindenbaum, A.1
Mostowski, A.2
-
217
-
-
0040456170
-
On extensions of elementary logic
-
Lindström, P. (1969), 'On extensions of elementary logic', Theoria, 35: 1-11
-
(1969)
Theoria
, vol.35
, pp. 1-11
-
-
Lindström, P.1
-
218
-
-
0009231605
-
Des remarques relative à des classes très-étendues de quantités dont la valeur n'est ni rationelle ni même réductible à des irrationelles algébriques
-
Liouville, J. (1844), 'Des remarques relative à des classes très-étendues de quantités dont la valeur n'est ni rationelle ni même réductible à des irrationelles algébriques', C. R. Acad. Sci. Paris, 18: 883-5
-
(1844)
C. R. Acad. Sci. Paris
, vol.18
, pp. 883-885
-
-
Liouville, J.1
-
220
-
-
1542279665
-
sur la classification de M. Baire
-
Lusin, N. N. (1917), 'sur la classification de M. Baire', C. R. Acad. Sci. Paris, 164:91-4
-
(1917)
C. R. Acad. Sci. Paris
, vol.164
, pp. 91-94
-
-
Lusin, N.N.1
-
221
-
-
0000948924
-
sur les ensembles analytiques
-
Littlewood, J. E. (1927), 'sur les ensembles analytiques', Fund. Math., 10: 1-95
-
(1927)
Fund. Math.
, vol.10
, pp. 1-95
-
-
Littlewood, J.E.1
-
223
-
-
27544453147
-
One universe as a foundation for category theory
-
Lecture Notes in Mathematics, 106, Berlin: Springer
-
Lane, S. (1969), 'One universe as a foundation for category theory', in Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics, 106, Berlin: Springer, pp. 192-200
-
(1969)
Reports of the Midwest Category Seminar III
, pp. 192-200
-
-
Lane, S.1
-
225
-
-
0039891400
-
Proper classes
-
Maddy, P. (1983), 'Proper classes', J. Symb. Logic, 48: 113-39
-
(1983)
J. Symb. Logic
, vol.48
, pp. 113-139
-
-
Maddy, P.1
-
226
-
-
0040292478
-
Believing the axioms
-
736-64
-
Littlewood, J. E. (1988), 'Believing the axioms', J. Symb. Logic, 53: 481-511, 736-64
-
(1988)
J. Symb. Logic
, vol.53
, pp. 481-511
-
-
Littlewood, J.E.1
-
229
-
-
0001434559
-
Borel determinacy
-
Martin, D. A. (1975), 'Borel determinacy', Ann. Math., 102: 363-71
-
(1975)
Ann. Math.
, vol.102
, pp. 363-371
-
-
Martin, D.A.1
-
230
-
-
0040886711
-
Hilbert's first problem
-
F. E. Browder, ed., Proc. Symp. Pure Mathematics, 28, Providence, RI: American Mathematical Society
-
Martin, D. A. (1976), 'Hilbert's first problem', in F. E. Browder, ed., Mathematical developments arising from Hilberfs problems, Proc. Symp. Pure Mathematics, 28, Providence, RI: American Mathematical Society, pp. 81-92
-
(1976)
Mathematical developments arising from Hilberfs problems
, pp. 81-92
-
-
Martin, D.A.1
-
231
-
-
77956945924
-
Descriptive set theory
-
Barwise 1977
-
Martin, D. A. (1977), 'Descriptive set theory', in Barwise 1977, pp. 783-815
-
(1977)
, pp. 783-815
-
-
Martin, D.A.1
-
233
-
-
0035534319
-
slim models of Zermelo set theory
-
Mathias, A. (2001), 'slim models of Zermelo set theory', J. Symb. Logic, 66: 487-96
-
(2001)
J. Symb. Logic
, vol.66
, pp. 487-496
-
-
Mathias, A.1
-
234
-
-
37849025183
-
A term of length 4,523,659,424,929
-
Mathias, A. (2002), 'A term of length 4,523,659,424,929', Synthese, 133: 75-86
-
(2002)
Synthese
, vol.133
, pp. 75-86
-
-
Mathias, A.1
-
235
-
-
0039891395
-
On the consistency problem for set theory
-
137-70
-
Mayberry, J. P. (1977), 'On the consistency problem for set theory', British J. Phil Sci., 28: 1-34, 137-70
-
(1977)
British J. Phil Sci.
, vol.28
, pp. 1-34
-
-
Mayberry, J.P.1
-
236
-
-
77958397980
-
What is required of a foundation for mathematics?
-
Mayberry, J. P. (1994), 'What is required of a foundation for mathematics?', Phil Math. (III), 2: 16-35
-
(1994)
Phil Math. (III)
, vol.2
, pp. 16-35
-
-
Mayberry, J.P.1
-
238
-
-
55449116183
-
sur un ensemble superposables avec chacune de ses deux parties
-
Mazurkiewicz, S. and Sierpinski, W. (1914), 'sur un ensemble superposables avec chacune de ses deux parties', C. R. Acad. Sci. Paris, 158: 618-19
-
(1914)
C. R. Acad. Sci. Paris
, vol.158
, pp. 618-619
-
-
Mazurkiewicz, S.1
Sierpinski, W.2
-
239
-
-
21244502294
-
skolem's criticisms of set theory
-
McIntosh, C. (1979), 'skolem's criticisms of set theory', Noûs, 13: 313-34
-
(1979)
Noûs
, vol.13
, pp. 313-334
-
-
McIntosh, C.1
-
241
-
-
84921940131
-
some proofs of independence in axiomatic set theory
-
Mendelson, E. (1956), 'some proofs of independence in axiomatic set theory', J. Symb. Logic, 21:291-303
-
(1956)
J. Symb. Logic
, vol.21
, pp. 291-303
-
-
Mendelson, E.1
-
243
-
-
0039210566
-
Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles
-
Mirimanoff, D. (1917), 'Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles', Enseignement Math., 19: 37-52
-
(1917)
Enseignement Math.
, vol.19
, pp. 37-52
-
-
Mirimanoff, D.1
-
246
-
-
0002242447
-
Beyond first order logic: the historical interplay between mathematical logic and axiomatic set theory
-
Moore, G. H. (1980), 'Beyond first order logic: the historical interplay between mathematical logic and axiomatic set theory', Hist. Phil. Logic, 1: 95-137.
-
(1980)
Hist. Phil. Logic
, vol.1
, pp. 95-137
-
-
Moore, G.H.1
-
248
-
-
3142658481
-
Towards a history of Cantor's continuum problem
-
D. E. Rowe and J. McCleary, eds, San Diego, CA: Academic Press
-
Moore, A. W. (1989), 'Towards a history of Cantor's continuum problem', in D. E. Rowe and J. McCleary, eds, The History of Modern Mathematics: Ideas and their Reception, San Diego, CA: Academic Press, pp. 79-121.
-
(1989)
The History of Modern Mathematics: Ideas and their Reception
, pp. 79-121
-
-
Moore, A.W.1
-
251
-
-
0011290167
-
Axiom of choice for finite sets
-
Mostowski, A. (1945), 'Axiom of choice for finite sets', Fund. Math., 33: 137-68.
-
(1945)
Fund. Math.
, vol.33
, pp. 137-168
-
-
Mostowski, A.1
-
252
-
-
33748330138
-
On the principle of dependent choices
-
Morse, A. P. (1948), 'On the principle of dependent choices', Fund. Math., 35: 127-30.
-
(1948)
Fund. Math.
, vol.35
, pp. 127-130
-
-
Morse, A.P.1
-
254
-
-
0040081830
-
sets, classes, and categories
-
Muller, F. A. (2001), 'sets, classes, and categories', British J. Phil Sci, 52: 539-73.
-
(2001)
British J. Phil Sci
, vol.52
, pp. 539-573
-
-
Muller, F.A.1
-
255
-
-
31644438212
-
A mathematical axiom contradicting the axiom of choice
-
Mycielski, J. and Steinhaus, H. (1962), 'A mathematical axiom contradicting the axiom of choice', Bull. Acad. Polon. Sci, 10: 1-3.
-
(1962)
Bull. Acad. Polon. Sci
, vol.10
, pp. 1-3
-
-
Mycielski, J.1
Steinhaus, H.2
-
256
-
-
0040113446
-
On the Lebesgue measurability and the axiom of determinateness
-
Mycielski, J. and Swierczkowski, S. (1964), 'On the Lebesgue measurability and the axiom of determinateness', Fund. Math., 54: 67-71.
-
(1964)
Fund. Math.
, vol.54
, pp. 67-71
-
-
Mycielski, J.1
Swierczkowski, S.2
-
258
-
-
0012368263
-
Mr Russell's "causal theory of perception"
-
Newman, M. (1928), 'Mr Russell's "causal theory of perception" ', Mind, 37: 137-48.
-
(1928)
Mind
, vol.37
, pp. 137-148
-
-
Newman, M.1
-
259
-
-
61449306666
-
Are subclasses parts of classes?
-
Oliver, A. (1994), 'Are subclasses parts of classes?' Analysis, 54: 215-23.
-
(1994)
Analysis
, vol.54
, pp. 215-223
-
-
Oliver, A.1
-
260
-
-
3843142533
-
Hazy totalities and indefinitely extensible concepts: an exercise in the interpretation of Dummett's philosophy of mathematics
-
Brandl and Sullivan 1998
-
Oliver, A. (1998), 'Hazy totalities and indefinitely extensible concepts: an exercise in the interpretation of Dummett's philosophy of mathematics', in Brandl and Sullivan 1998, pp. 25-50.
-
(1998)
, pp. 25-50
-
-
Oliver, A.1
-
261
-
-
33751108544
-
sets and classes
-
Parsons, C. (1974), 'sets and classes', Noûs, 8: 1-12.
-
(1974)
Noûs
, vol.8
, pp. 1-12
-
-
Parsons, C.1
-
262
-
-
0041128560
-
What is the iterative concept of set?
-
Butts and Hintikka 1977
-
Parsons, C. (1977), 'What is the iterative concept of set?', in Butts and Hintikka 1977, pp. 335-67.
-
(1977)
, pp. 335-367
-
-
Parsons, C.1
-
264
-
-
84921958629
-
Hao Wang as philosopher
-
P. Hájek, ed, Lecture Notes in Logic, 6, Berlin: Springer
-
Parsons, C. (1996), 'Hao Wang as philosopher', in P. Hájek, ed., Gödel '96, Lecture Notes in Logic, 6, Berlin: Springer, pp. 64-80.
-
(1996)
Gödel '96
, pp. 64-80
-
-
Parsons, C.1
-
266
-
-
21244460091
-
The open-endedness of the set concept and the semantics of set theory
-
Paseau, A. (2003), 'The open-endedness of the set concept and the semantics of set theory', Synthese, 135: 381-401
-
(2003)
Synthese
, vol.135
, pp. 381-401
-
-
Paseau, A.1
-
268
-
-
0000441526
-
Démonstration de l'intégrabilité des équations différentielles ordinaires
-
repr. in Peano 1957-9, pp. 119-70
-
Peano, G. (1890), 'Démonstration de l'intégrabilité des équations différentielles ordinaires', Math. Ann., 37: 182-228 (repr. in Peano 1957-9, pp. 119-70)
-
(1890)
Math. Ann.
, vol.37
, pp. 182-228
-
-
Peano, G.1
-
269
-
-
0010899078
-
super theorema de Cantor-Bernstein
-
Peano, G. (1906), 'super theorema de Cantor-Bernstein', Rend. Circ. Mat. Palermo, 21:360-6
-
(1906)
Rend. Circ. Mat. Palermo
, vol.21
, pp. 360-366
-
-
Peano, G.1
-
270
-
-
0041503474
-
Le definizione in matematica
-
Peano, G. (1921), 'Le definizione in matematica', Periodico di matematiche (4), 1: 175-89
-
(1921)
Periodico di matematiche (4)
, vol.1
, pp. 175-189
-
-
Peano, G.1
-
272
-
-
0042936590
-
Eliminating the continuum hypothesis
-
Platek, R. A. (1969), 'Eliminating the continuum hypothesis', J. Symb. Logic, 34:219-25
-
(1969)
J. Symb. Logic
, vol.34
, pp. 219-225
-
-
Platek, R.A.1
-
273
-
-
0003375195
-
Les mathématiques et la logique
-
294-317,866-8
-
Poincaré, H. (1906), 'Les mathématiques et la logique', Rev. Métaphys. Morale, 14: 17-34,294-317,866-8
-
(1906)
Rev. Métaphys. Morale
, vol.14
, pp. 17-34
-
-
Poincaré, H.1
-
274
-
-
14844293615
-
-
Paris: Flammarion (trans, as Poincaré 1963)
-
Poincaré, H. (1913), Dernières Pensees, Paris: Flammarion (trans, as Poincaré 1963)
-
(1913)
Dernières Pensees
-
-
Poincaré, H.1
-
277
-
-
84962984573
-
Critical notice of Parts of Classes by David Lewis
-
Potter, M. (1993), 'Critical notice of Parts of Classes by David Lewis', Phil. Quart., 43: 362-6
-
(1993)
Phil. Quart.
, vol.43
, pp. 362-366
-
-
Potter, M.1
-
278
-
-
84921973629
-
Classical arithmetic is part of intuitionistic arithmetic
-
Poincaré, H. (1998), 'Classical arithmetic is part of intuitionistic arithmetic', Grazer phil. Stud., 55: 127-41
-
(1998)
Grazer phil. Stud.
, vol.55
, pp. 127-141
-
-
Poincaré, H.1
-
280
-
-
0002217486
-
Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen
-
Warsaw
-
Presburger, M. (1930), 'Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen', in Sprawozdanie z I Kongresu Mat. Krajów Slowiańskich, Warsaw, pp. 92-101
-
(1930)
Sprawozdanie z I Kongresu Mat. Krajów Slowiańskich
, pp. 92-101
-
-
Presburger, M.1
-
282
-
-
0002648050
-
The lengths of proofs
-
S. Buss, ed., Amsterdam: North-Holland
-
Pudlak, P. (1998), 'The lengths of proofs', in S. Buss, ed., Handbook of Proof Theory, Amsterdam: North-Holland, pp. 547-637
-
(1998)
Handbook of Proof Theory
, pp. 547-637
-
-
Pudlak, P.1
-
283
-
-
0346570547
-
Models and reality
-
Putnam, H. (1980), 'Models and reality', J. Symb. Logic, 45: 464-82
-
(1980)
J. Symb. Logic
, vol.45
, pp. 464-482
-
-
Putnam, H.1
-
285
-
-
84921948305
-
Paradox revisited II: Sets
-
Sher and Tieszen 2000
-
Putnam, H. (2000), 'Paradox revisited II: Sets', in Sher and Tieszen 2000, pp. 16-26
-
(2000)
, pp. 16-26
-
-
Putnam, H.1
-
286
-
-
0002496986
-
New foundations for mathematical logic
-
Quine, W. V. (1937), 'New foundations for mathematical logic', Amer. Math. Monthly, 44: 70-80
-
(1937)
Amer. Math. Monthly
, vol.44
, pp. 70-80
-
-
Quine, W.V.1
-
288
-
-
0040718913
-
On what there is
-
Quine, W. V. (1948), 'On what there is', Rev. Metaphys., 2: 21-8
-
(1948)
Rev. Metaphys.
, vol.2
, pp. 21-28
-
-
Quine, W.V.1
-
289
-
-
0004225575
-
-
rev. edn, Cambridge, MA: Harvard University Press
-
Quine, W. V. (1951), Mathematical Logic, rev. edn, Cambridge, MA: Harvard University Press
-
(1951)
Mathematical Logic
-
-
Quine, W.V.1
-
290
-
-
0013038565
-
-
rev. edn, Cambridge, MA: Harvard University Press
-
Quine, W. V. (1969), Set Theory and its Logic, rev. edn, Cambridge, MA: Harvard University Press
-
(1969)
Set Theory and its Logic
-
-
Quine, W.V.1
-
291
-
-
84960578136
-
The foundations of mathematics
-
Ramsey, F. P. (1926), 'The foundations of mathematics', Proc. London Math. Soc., 25: 338-84
-
(1926)
Proc. London Math. Soc.
, vol.25
, pp. 338-384
-
-
Ramsey, F.P.1
-
293
-
-
49149137978
-
Zermelo's discovery of the "Russell paradox"
-
Paul, Trench & Trubner Rang, B. and Thomas, W. (1981), 'Zermelo's discovery of the "Russell paradox" ', Hist. Math., 8: 15-22
-
(1981)
Hist. Math.
, vol.8
, pp. 15-22
-
-
Paul, T.1
Trubner Rang, B.2
Thomas, W.3
-
294
-
-
0346434315
-
Remarks on reflection principles, large cardinals, and elementary embeddings
-
injech 1974
-
Reinhardt, W. (1974), 'Remarks on reflection principles, large cardinals, and elementary embeddings', injech 1974, pp. 189-206
-
(1974)
, pp. 189-206
-
-
Reinhardt, W.1
-
295
-
-
84972574778
-
A note on naive set theory in LP
-
Restall, G. (1992), 'A note on naive set theory in LP', Notre Dame J. Formal Logic, 33: 422-32
-
(1992)
Notre Dame J. Formal Logic
, vol.33
, pp. 422-432
-
-
Restall, G.1
-
296
-
-
48749123260
-
An argument for Finsler-Aczel set theory
-
Rieger, A. (2000), 'An argument for Finsler-Aczel set theory', Mind, 109: 241-53
-
(2000)
Mind
, vol.109
, pp. 241-253
-
-
Rieger, A.1
-
298
-
-
84921959792
-
some thoughts on the history of mathematics
-
Robinson, A. (1968), 'some thoughts on the history of mathematics', Comp. Math., 20: 188-93
-
(1968)
Comp. Math.
, vol.20
, pp. 188-193
-
-
Robinson, A.1
-
299
-
-
0004232766
-
-
rev. edn, Princeton University Press
-
Robinson, A. (1974), Non-Standard Analysis, rev. edn, Princeton University Press
-
(1974)
Non-Standard Analysis
-
-
Robinson, A.1
-
300
-
-
0013150596
-
On the decomposition of spheres
-
Robinson, R. M. (1947), 'On the decomposition of spheres', Fund. Math., 34: 246-60
-
(1947)
Fund. Math.
, vol.34
, pp. 246-260
-
-
Robinson, R.M.1
-
301
-
-
84887942826
-
The Burali-Forti paradox
-
Rosser, B. (1942), 'The Burali-Forti paradox', J. Symb. Logic, 7: 1-17
-
(1942)
J. Symb. Logic
, vol.7
, pp. 1-17
-
-
Rosser, B.1
-
302
-
-
84921992677
-
-
Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland
-
Rubin, H. and Rubin, J. (1985), Equivalents of the Axiom of Choice II, Studies in Logic and the Foundations of Mathematics, 116, Amsterdam: North-Holland
-
(1985)
Equivalents of the Axiom of Choice II
, vol.116
-
-
Rubin, H.1
Rubin, J.2
-
304
-
-
0010828295
-
Les paradoxes de la logique
-
Rubin, H. and Rubin, J. (1906a), 'Les paradoxes de la logique', Rev. Métaphys. Morale, 14:627-50
-
(1906)
Rev. Métaphys. Morale
, vol.14
, pp. 627-650
-
-
Rubin, H.1
Rubin, J.2
-
305
-
-
84960616064
-
On some difficulties in the theory of transfinite numbers and order types
-
repr. in Russell 1973a, pp. 135-64
-
Rubin, H. and Rubin, J. (1906b), 'On some difficulties in the theory of transfinite numbers and order types', Proc. London Math. Soc., 4: 29-53 (repr. in Russell 1973a, pp. 135-64)
-
(1906)
Proc. London Math. Soc.
, vol.4
, pp. 29-53
-
-
Rubin, H.1
Rubin, J.2
-
306
-
-
0000719960
-
Mathematical logic as based on the theory of types
-
Rubin, H. and Rubin, J. (1908), 'Mathematical logic as based on the theory of types', Amer. J. Math., 30: 222-62
-
(1908)
Amer. J. Math.
, vol.30
, pp. 222-262
-
-
Rubin, H.1
Rubin, J.2
-
309
-
-
0000266218
-
The limits of empiricism
-
Rubin, H. and Rubin, J. (1936), 'The limits of empiricism', Proc. Arist. Soc., 36: 131-50
-
(1936)
Proc. Arist. Soc.
, vol.36
, pp. 131-150
-
-
Rubin, H.1
Rubin, J.2
-
311
-
-
0345942837
-
The regressive method of discovering the premises of mathematics
-
Russell 1973a, written in 1907
-
Rubin, H. and Rubin, J. (1973b), 'The regressive method of discovering the premises of mathematics', in Essays in Analysis (Russell 1973a), pp. 272-83 (written in 1907)
-
(1973)
Essays in Analysis
, pp. 272-283
-
-
Rubin, H.1
Rubin, J.2
-
312
-
-
1542691512
-
-
Library of Living Philosophers, New York: Tudor Publishing Co.
-
Schilpp, P. A., ed. (1944), The Philosophy of Bertrand Russell, Library of Living Philosophers, New York: Tudor Publishing Co.
-
(1944)
The Philosophy of Bertrand Russell
-
-
Schilpp, P.A.1
-
313
-
-
0008826336
-
Über wohlgeordnete Mengen
-
Schönflies, A. (1905), 'Über wohlgeordnete Mengen', Math. Ann., 60: 181-6
-
(1905)
Math. Ann.
, vol.60
, pp. 181-186
-
-
Schönflies, A.1
-
317
-
-
13844274960
-
Definitions by abstraction in axiomatic set theory
-
Scott, D. S. (1955), 'Definitions by abstraction in axiomatic set theory', Bull. Amer. Math. Soc., 61: 442
-
(1955)
Bull. Amer. Math. Soc.
, vol.61
, pp. 442
-
-
Scott, D.S.1
-
318
-
-
0007454961
-
Measurable cardinals and constructible sets
-
Scott, D. S. (1961), 'Measurable cardinals and constructible sets', Bull. Acad. Pol. Sci, 9:521-4
-
(1961)
Bull. Acad. Pol. Sci
, vol.9
, pp. 521-524
-
-
Scott, D.S.1
-
319
-
-
0009148383
-
Axiomatizing set theory
-
Jech 1974
-
Scott, D. S. (1974), 'Axiomatizing set theory', in Jech 1974, pp. 207-14
-
(1974)
, pp. 207-214
-
-
Scott, D.S.1
-
320
-
-
84921989352
-
-
Proceedings of Symposia in Pure Mathematics, Providence, RI: American Mathematical Society
-
Scott, D. S., ed. (1971), Axiomatic Set Theory I, Proceedings of Symposia in Pure Mathematics, 13, Providence, RI: American Mathematical Society
-
(1971)
Axiomatic Set Theory I
, vol.13
-
-
Scott, D.S.1
-
321
-
-
69549099065
-
An elementary proof of Dirichlet's theorem about primes in an arithmetical progression
-
Selberg, A. (1949), 'An elementary proof of Dirichlet's theorem about primes in an arithmetical progression', Ann. Math., 50: 297-304
-
(1949)
Ann. Math.
, vol.50
, pp. 297-304
-
-
Selberg, A.1
-
323
-
-
0040486705
-
second-order languages and mathematical practice
-
Shapiro, S. (1985), 'second-order languages and mathematical practice', J. Symb. Logic, 50: 714-42
-
(1985)
J. Symb. Logic
, vol.50
, pp. 714-742
-
-
Shapiro, S.1
-
325
-
-
3843092502
-
New V, ZF and abstraction
-
Shapiro, S. and Weir, A. (1999), 'New V, ZF and abstraction', Phil. Math. (III), 7:293-321
-
(1999)
Phil. Math. (III)
, vol.7
, pp. 293-321
-
-
Shapiro, S.1
Weir, A.2
-
327
-
-
77956958316
-
Axioms of set theory
-
Barwise 1977
-
Shoenfield, J. R. (1977), 'Axioms of set theory', in Barwise 1977, pp. 321-44
-
(1977)
, pp. 321-344
-
-
Shoenfield, J.R.1
-
328
-
-
0001622476
-
sur l'hypothèse du continu (ℵ 0 = ℵ 21 )
-
Sierpinski, W. (1924), 'sur l'hypothèse du continu (ℵ 0 = ℵ 21 )', Fund Math., 5: 177-87
-
(1924)
Fund Math.
, vol.5
, pp. 177-187
-
-
Sierpinski, W.1
-
331
-
-
0039891393
-
sets, classes and extensions: a singularity approach to Russell's paradox
-
Simmons, K. (2000), 'sets, classes and extensions: a singularity approach to Russell's paradox', Phil. Studies, 100: 109-49
-
(2000)
Phil. Studies
, vol.100
, pp. 109-149
-
-
Simmons, K.1
-
332
-
-
0010823673
-
Appartenance et inclusion: un inédit de Richard Dede-kind
-
Sinaceur, M. A. (1973), 'Appartenance et inclusion: un inédit de Richard Dede-kind', Rev. Hist. Sci., 24: 247-54
-
(1973)
Rev. Hist. Sci.
, vol.24
, pp. 247-254
-
-
Sinaceur, M.A.1
-
334
-
-
4544368473
-
Über einige SatZfUnktionen in der Arithmetik
-
repr. in Skolem 1970, pp. 287-306
-
Skolem, T. (1931), 'Über einige SatZfUnktionen in der Arithmetik', Shifter utgitt av Det Norske Videnskaps-Akademi i Oslo, I. Mathematisk-naturvidenskapelig klasse, 7: 1-28 (repr. in Skolem 1970, pp. 287-306)
-
(1931)
Shifter utgitt av Det Norske Videnskaps-Akademi i Oslo, I. Mathematisk-naturvidenskapelig klasse
, vol.7
, pp. 1-28
-
-
Skolem, T.1
-
337
-
-
33845477112
-
-
J. W. Addison, L. Henkin and A. Tarski, eds, Amsterdam: North-Holland
-
Solovay, R. M. (1964), '20 ℵ° can be anything it ought to be', in J. W. Addison, L. Henkin and A. Tarski, eds, The Theory of Models, Amsterdam: North-Holland, p. 435
-
(1964)
The Theory of Models
, pp. 435
-
-
Solovay, R.M.1
-
338
-
-
0002548418
-
A model of set theory in which every set of reals is Lebesgue measurable
-
Skolem, T. (1970), 'A model of set theory in which every set of reals is Lebesgue measurable', Ann. Math., 92: 1-56
-
(1970)
Ann. Math.
, vol.92
, pp. 1-56
-
-
Skolem, T.1
-
339
-
-
0001096396
-
strongly compact cardinals and the generalized continuum hypothesis
-
L. Henkin, ed., Proceedings of Symposia in Pure Mathematics, 25, Providence, RI: American Mathematical Society
-
Skolem, T. (1974), 'strongly compact cardinals and the generalized continuum hypothesis', in L. Henkin, ed., Tarski Symposium, Proceedings of Symposia in Pure Mathematics, 25, Providence, RI: American Mathematical Society, pp. 365-72
-
(1974)
Tarski Symposium
, pp. 365-372
-
-
Skolem, T.1
-
340
-
-
0000772230
-
Iterated Cohen extensions and Souslin's problem
-
Solovay, R. M. and Tennenbaum, S. (1971), 'Iterated Cohen extensions and Souslin's problem', Ann. Math., 94: 201-45
-
(1971)
Ann. Math.
, vol.94
, pp. 201-245
-
-
Solovay, R.M.1
Tennenbaum, S.2
-
341
-
-
0005834361
-
sur une définition des ensembles mesurables B sans nombres transfinis
-
Souslin, M. Y. (1917), 'sur une définition des ensembles mesurables B sans nombres transfinis', C R. Acad. Sci. Paris, 164: 88-91
-
(1917)
C R. Acad. Sci. Paris
, vol.164
, pp. 88-91
-
-
Souslin, M.Y.1
-
342
-
-
0009234796
-
Problème 3
-
Souslin, M. Y. (1920), 'Problème 3', Fund. Math., 1: 223
-
(1920)
Fund. Math.
, vol.1
, pp. 223
-
-
Souslin, M.Y.1
-
343
-
-
21244464470
-
Mathematics needs new axioms
-
Steel, J. R. (2000), 'Mathematics needs new axioms', Bull. Symb. Logic, 6: 422-33
-
(2000)
Bull. Symb. Logic
, vol.6
, pp. 422-433
-
-
Steel, J.R.1
-
344
-
-
84941451080
-
Algebraische Theorie der Körpern
-
Steinitz, E. (1910), 'Algebraische Theorie der Körpern', J. reine angew. Math., 137:163-309
-
(1910)
J. reine angew. Math.
, vol.137
, pp. 163-309
-
-
Steinitz, E.1
-
346
-
-
84977398938
-
Wittgenstein on The Foundations of Mathematics, June 1927
-
Sullivan, P. M. (1995), 'Wittgenstein on The Foundations of Mathematics, June 1927', Theoria, 61: 105-42
-
(1995)
Theoria
, vol.61
, pp. 105-142
-
-
Sullivan, P.M.1
-
348
-
-
0141520423
-
The law of excluded middle and the axiom of choice
-
George 1994
-
Tait, W. W. (1994), 'The law of excluded middle and the axiom of choice', in George 1994, pp. 45-70
-
(1994)
, pp. 45-70
-
-
Tait, W.W.1
-
349
-
-
84921948084
-
Foundations of set theory
-
Dales and Oliveri 1998
-
Suppes, P. (1998), 'Foundations of set theory', in Dales and Oliveri 1998, pp. 273-90
-
(1998)
, pp. 273-290
-
-
Suppes, P.1
-
350
-
-
84921943628
-
Cantor's Grundlagen and the paradoxes of set theory
-
Sher and Tieszen 2000
-
Suppes, P. (2000), 'Cantor's Grundlagen and the paradoxes of set theory', in Sher and Tieszen 2000, pp. 269-90
-
(2000)
, pp. 269-290
-
-
Suppes, P.1
-
351
-
-
84921974648
-
Hypotheses on power sets
-
Scott 1971
-
Takeuti, G. (1971), 'Hypotheses on power sets', in Scott 1971, pp. 439-46
-
(1971)
, pp. 439-446
-
-
Takeuti, G.1
-
352
-
-
29544452119
-
Elementary axioms and pictures for infinitesimal calculus
-
Tall, D. (1982), 'Elementary axioms and pictures for infinitesimal calculus', Bull. IMA, 18: 43-8
-
(1982)
Bull. IMA
, vol.18
, pp. 43-48
-
-
Tall, D.1
-
353
-
-
0007271342
-
sur quelques théorèmes qui équivalent à l'axiome du choix
-
Tarski, A. (1924), 'sur quelques théorèmes qui équivalent à l'axiome du choix', Fund. Math., 5: 147-54
-
(1924)
Fund. Math.
, vol.5
, pp. 147-154
-
-
Tarski, A.1
-
355
-
-
84921945534
-
The notion of rank in axiomatic set theory and some of its applications
-
Tarski, A. (1955), 'The notion of rank in axiomatic set theory and some of its applications', Bull. Amer. Math. Soc., 61: 443
-
(1955)
Bull. Amer. Math. Soc.
, vol.61
, pp. 443
-
-
Tarski, A.1
-
356
-
-
84891418529
-
What is elementary geometry?
-
L. Henkin, P. Suppes and A. Tarski, eds, Amsterdam: North-Holland
-
Tarski, A. (1959), 'What is elementary geometry?', in L. Henkin, P. Suppes and A. Tarski, eds, The Axiomatic Method, Amsterdam: North-Holland, pp. 16-29
-
(1959)
The Axiomatic Method
, pp. 16-29
-
-
Tarski, A.1
-
357
-
-
18244379179
-
Braucht der Algebraiker das Auswahlaxiom?
-
Teichmüller, O. (1939), 'Braucht der Algebraiker das Auswahlaxiom?', Deutsche Math., 4: 567-77
-
(1939)
Deutsche Math.
, vol.4
, pp. 567-577
-
-
Teichmüller, O.1
-
358
-
-
34250397602
-
Which logic is the right logic?
-
Tharp, L. (1975), 'Which logic is the right logic?', Synthese, 31: 1-21
-
(1975)
Synthese
, vol.31
, pp. 1-21
-
-
Tharp, L.1
-
361
-
-
0003461529
-
-
Annals of Mathematics Studies, Princeton University Press
-
Tukey, J. W. (1940), Convergence and Uniformity in Topology, Annals of Mathematics Studies, 2, Princeton University Press
-
(1940)
Convergence and Uniformity in Topology
, vol.2
-
-
Tukey, J.W.1
-
362
-
-
0033246737
-
Models of second-order Zermelo set theory
-
Uzquiano, G. (1999), 'Models of second-order Zermelo set theory', Bull. Symb. Logic, 5: 289-302
-
(1999)
Bull. Symb. Logic
, vol.5
, pp. 289-302
-
-
Uzquiano, G.1
-
363
-
-
0002546815
-
Alfred Tarski's elimination theory for real closed fields
-
van den Dries, L. (1988), 'Alfred Tarski's elimination theory for real closed fields', J. Symb. Logic, 53: 7-19
-
(1988)
J. Symb. Logic
, vol.53
, pp. 7-19
-
-
Van den Dries, L.1
-
365
-
-
77956973604
-
set-theoretic semantics
-
R. O. Gandy and J. M. E. Hyland, eds, Amsterdam: North-Holland
-
van Heijenoort, J. (1977), 'set-theoretic semantics', in R. O. Gandy and J. M. E. Hyland, eds, Logic Colloquium '76, Amsterdam: North-Holland, pp. 183-90
-
(1977)
Logic Colloquium '76
, pp. 183-190
-
-
van Heijenoort, J.1
-
367
-
-
33745253320
-
Axiomatizability by schemas
-
Vaught, R. (1967), 'Axiomatizability by schemas', J. Symb. Logic, 32: 473-9
-
(1967)
J. Symb. Logic
, vol.32
, pp. 473-479
-
-
Vaught, R.1
-
368
-
-
0000432574
-
Eine Axiomatisierung der Mengenlehre
-
von Neumann, J. (1925), 'Eine Axiomatisierung der Mengenlehre', J. reine angew. Math., 154:219-40
-
(1925)
J. reine angew. Math.
, vol.154
, pp. 219-240
-
-
von Neumann, J.1
-
369
-
-
0012941742
-
-
Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland
-
Wang, H. (1963), A Survey of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland
-
(1963)
A Survey of Mathematical Logic
-
-
Wang, H.1
-
371
-
-
84921982151
-
Large sets
-
Butts and Hintikka 1977
-
Wang, H. (1977), 'Large sets', in Butts and Hintikka 1977, pp. 309-33
-
(1977)
, pp. 309-333
-
-
Wang, H.1
-
372
-
-
84921981448
-
-
Englewood Cliffs, NJ: Prentice-Hall
-
Warner, S. (1968), Algebra, Englewood Cliffs, NJ: Prentice-Hall
-
(1968)
Algebra
-
-
Warner, S.1
-
373
-
-
0008835439
-
Gauss on infinity
-
Waterhouse, W. C. (1979), 'Gauss on infinity', Hist. Math., 6: 430-6
-
(1979)
Hist. Math.
, vol.6
, pp. 430-436
-
-
Waterhouse, W.C.1
-
374
-
-
33748784557
-
Naive set theory is innocent
-
Weir, A. (1998a), 'Naive set theory is innocent', Mind, 107:763-98
-
(1998)
Mind
, vol.107
, pp. 763-798
-
-
Weir, A.1
-
375
-
-
79956507395
-
Naive set theory, paraconsistency and indeterminacy, I
-
Weir, A. (1998b), 'Naive set theory, paraconsistency and indeterminacy, I', Logique et Analyse, 41:219-66
-
(1998)
Logique et Analyse
, vol.41
, pp. 219-266
-
-
Weir, A.1
-
376
-
-
79956507395
-
Naive set theory, paraconsistency and indeterminacy, II
-
Weir, A. (1999), 'Naive set theory, paraconsistency and indeterminacy, II', Logique et Analyse, 42: 283-340
-
(1999)
Logique et Analyse
, vol.42
, pp. 283-340
-
-
Weir, A.1
-
378
-
-
0011864758
-
On cardinal numbers
-
Whitehead, A. N. (1902), 'On cardinal numbers', Amer. J. Math., 24: 367-94
-
(1902)
Amer. J. Math.
, vol.24
, pp. 367-394
-
-
Whitehead, A.N.1
-
381
-
-
0039349434
-
A simplification of the logic of relations
-
repr. in van Heijenoort 1967, pp. 224-7
-
Wiener, N. (1914), 'A simplification of the logic of relations', Proc. Camb. Phil. Soc., 17: 387-90 (repr. in van Heijenoort 1967, pp. 224-7)
-
(1914)
Proc. Camb. Phil. Soc.
, vol.17
, pp. 387-390
-
-
Wiener, N.1
-
383
-
-
34250956078
-
The evaluation of the zeros of ill-conditioned polynomials
-
Wilkinson, J. H. (1959), 'The evaluation of the zeros of ill-conditioned polynomials', Num. Math., 1: 150-80
-
(1959)
Num. Math.
, vol.1
, pp. 150-180
-
-
Wilkinson, J.H.1
-
385
-
-
0039466144
-
-
Ithaca, NY: Cornell University Press
-
Wittgenstein, L. (1976), Lectures on the Foundations of Mathematics, Cambridge, 1939, Ithaca, NY: Cornell University Press
-
(1976)
Lectures on the Foundations of Mathematics, Cambridge, 1939
-
-
Wittgenstein, L.1
-
386
-
-
65749312433
-
Large cardinal axioms and independence: The continuum problem revisited
-
Woodin, W. H. (1994), 'Large cardinal axioms and independence: The continuum problem revisited', Math. Intelligencer, 16: 31-5
-
(1994)
Math. Intelligencer
, vol.16
, pp. 31-35
-
-
Woodin, W.H.1
-
387
-
-
0001495865
-
The continuum hypothesis, I
-
Wittgenstein, L. (2001a), 'The continuum hypothesis, I', Not. Amer. Math. Soc., 48:567-76
-
(2001)
Not. Amer. Math. Soc.
, vol.48
, pp. 567-576
-
-
Wittgenstein, L.1
-
388
-
-
33745586718
-
The continuum hypothesis, II
-
Wittgenstein, L. (2001b), 'The continuum hypothesis, II', Not. Amer. Math. Soc., 48:681-90
-
(2001)
Not. Amer. Math. Soc.
, vol.48
, pp. 681-690
-
-
Wittgenstein, L.1
-
389
-
-
84921943898
-
-
Scots Philosophical Monographs, Aberdeen University Press
-
Wright, C. (1983), Frege's Conception of Numbers as Objects, Scots Philosophical Monographs, 2, Aberdeen University Press
-
(1983)
Frege's Conception of Numbers as Objects
, vol.2
-
-
Wright, C.1
-
391
-
-
85015977519
-
Is Hume's principle analytic?
-
Wright, C. (1999), 'Is Hume's principle analytic?', Notre Dame J. Formal Logic, 40: 6-30
-
(1999)
Notre Dame J. Formal Logic
, vol.40
, pp. 6-30
-
-
Wright, C.1
-
392
-
-
0001104619
-
Beweis daβ jede Menge wohlgeordnet werden kann
-
Zermelo, E. (1904), 'Beweis daβ jede Menge wohlgeordnet werden kann', Math. Ann., 59:514-16
-
(1904)
Math. Ann.
, vol.59
, pp. 514-516
-
-
Zermelo, E.1
-
393
-
-
34250964560
-
Neuer Beweis für die Möglichkeit einer Wohlordnung
-
Zermelo, E. (1908a), 'Neuer Beweis für die Möglichkeit einer Wohlordnung', Math. Ann., 65:107-28
-
(1908)
Math. Ann.
, vol.65
, pp. 107-128
-
-
Zermelo, E.1
-
394
-
-
0000849473
-
Untersuchungen über die Grundlagen der Mengenlehre I
-
Zermelo, E. (1908b), 'Untersuchungen über die Grundlagen der Mengenlehre I', Math. Ann., 65:261-81
-
(1908)
Math. Ann.
, vol.65
, pp. 261-281
-
-
Zermelo, E.1
-
395
-
-
0003377750
-
Über Grenzzahlen und Mengenbereiche
-
Zermelo, E. (1930), 'Über Grenzzahlen und Mengenbereiche', Fund. Math., 16: 29-47
-
(1930)
Fund. Math.
, vol.16
, pp. 29-47
-
-
Zermelo, E.1
-
396
-
-
0010946210
-
A remark on method in transfinite algebra
-
Zorn, M. (1935), 'A remark on method in transfinite algebra', Bull. Amer. Math. Soc., 41: 667-70
-
(1935)
Bull. Amer. Math. Soc.
, vol.41
, pp. 667-670
-
-
Zorn, M.1
|