Gödel and set theory

Bulletin of Symbolic Logic

Volumn 13, Issue 2, 2007, Pages 153-188

  Kanamori, Akihiro ^a  

^a USA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34249717757     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2178/bsl/1185803804     Document Type: Article

References (91)

1. MOHAMED BEKKALI [1991], Topics in set theory, Lecture Notes in Mathematics, no. 1476, Springer-Verlag, New York.
2. PAUL BERNAYS [1937], A system of axiomatic set theory. Part I, The Journal of Symbolic Logic, vol. 2, pp. 65-77, reprinted in: Gert H. Müller (editor), Sets and classes, North- Holland, Amsterdam, pp. 1-13.
3. JÖRG BRENDLE, PAUL LARSON, AND STEVO TODORČEVIĆ [∞], Rectangular axioms, perfect set properties and decomposition, to appear.
4. Martin Davis (editor) [1965], The undecidable: Basic papers on undecidable propositions, insolvable problems and computable functions, Raven Press, Hewlett, New York.
5. JOHN W. DAWSON, JR. [1997], Logical dilemmas: The life and work of Kurt Gödel, A K Peters, Wellesley.
6. b F′(x) dx = F(b) - F (a), Mathematisches Annalen, vol. 16, pp. 115-128.
7. PAUL DU BOIS-REYMOND [1882], Die allgemeine Funktionentheorie I, Lampp, Tübingen.
8. SOLOMON FEFERMAN [1984], Kurt Gödel: Conviction and caution, Philosophia Naturalis, vol. 21, pp. 546-562, reprinted in [1998] below, pp. 150-164.
9. Solomon Feferman (editor) [1986], Kurt Gödel, Collected works, Publications 1929-1936, vol. I, Oxford University Press, New York.
10. SOLOMON FEFERMAN [1987], Infinity in mathematics: Is Cantor necessary? (Conclusion), (G. Toraldo di Francia, editor), L'infinito nella Scienza, Instituto della Enciclopedia Italiana, Roma, reprinted in [1998] below, particularly pp. 229-248, pp. 151-209.
11. Solomon Feferman (editor) [1990], Kurt Gödel, Collected works, Publications 1938-1974, vol. II, Oxford University Press, New York.
12. Solomon Feferman (editor) [1995], Kurt Gödel, Collected works, Unpublished essays and lectures, vol. III, Oxford University Press, New York.
13. SOLOMON FEFERMAN [1998], In the light of logic, Oxford University Press, New York.
14. Solomon Feferman and John W. Dawson, Jr. (editors) [2003a], Kurt Gödel, Collected works, Correspondence A-G, vol. IV, Clarendon Press, Oxford.
15. Solomon Feferman and John W. Dawson, Jr. (editors) [2003b], Kurt Gödel, Collected works, Correspondence H-Z, vol. V, Clarendon Press, Oxford.
16. Jens E. Fenstad (editor) [1970], Thoralf Skolem, Selected works in logic, Universitetsforlaget. Oslo.
17. JULIET FLOYD AND AKIHIRO KANAMORI [2006], How Gödel transformed set theory, Notices of the American Mathematical Society, vol. 53, pp. 417-425.
18. ABRAHAM FRAENKEL [1922], Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre, Mathematische Annalen, vol. 86, pp. 230-237.
19. ABRAHAM FRAENKEL [1953], Abstract set theory, North Holland, Amsterdam.
20. KURT GÖDEL [1929], Über die Vollständigkeit der Logikkalküls, doctoral dissertation, University of Vienna, reprinted and translated in Feferman [1986], pp. 60-101.
21. KURT GÖDEL [193?], Untitled lecture, in Feferman [1995], pp. 164-175.
22. KURT GÖDEL [1931], Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik, vol. 38, pp. 173-198, reprinted and translated with minor emendations by the author in Feferman [1986], pp. 144-195.
23. KURT GÖDEL [1932], Über Vollständigkeit und Widerspruchsfreiheit, Ergebnisse eines mathematischen Kolloquiums, vol. 3, pp. 12-13, text and translation in Feferman [1995], pp. 234-237.
24. KURT GÖDEL [1933], The present situation in the foundations of mathematics, handwritten text for an invited lecture, in Feferman [1995], pp. 45-53, and the page references are to these.
25. KURT GÖDEL [1938], The consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis, Proceedings of the National Academy of Sciences U.S.A., vol. 24, pp. 556-557, reprinted in Feferman [1990], pp. 26-27.
26. KURT GÖDEL [1939a], The consistency of the generalized continuum hypothesis, Bulletin of the American Mathematical Society, vol. 45, p. 93, reprinted in Feferman [1990], p. 27.
27. KURT GÖDEL [1939b], Consistency-proof for the generalized continuum-hypothesis, Proceedings of the National Academy of Sciences U.S.A., vol. 25, pp. 220-224, reprinted in Feferman [1990], pp. 28-32.
28. KURT GÖDEL [1939c], Vortrag Göttingen, text and translation in Feferman [1995], pp. 126-155, and the page references are to these.
29. KURT GÖDEL [ 1940a], The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory, Annals of Mathematics Studies, no. 3, Princeton University Press, Princeton, reprinted in Feferman [1990], pp. 33-101.
30. KURT GÖDEL [1940b], Lecture [on the] consistency [of the] continuum hypothesis, (Brown University) in Feferman [1995], pp. 175-185, and the page references are to these.
31. KURT GÖDEL [1944], Russell's mathematical logic, The philosophy of Bertrand Russell (Paul A. Schilpp, editor), The Library of Living Philosophers, vol. 5, Northwestern University, Evanston, reprinted in Feferman [1990], pp. 119-141, pp. 123-153.
32. KURT GÖDEL [1947], What is Cantor's Continuum Problem?, American Mathematical Monthly, vol. 54, pp. 515-525, errata vol. 55 (1948), p. 151; reprinted in Feferman [1990], pp. 176-187; see also Gödel [1964].
33. KURT GÖDEL [1964], Philosophy of mathematics. Selected readings, (Paul Benacerraf and Hilary Putnam, editors), Prentice Hall, Englewood Cliffs, revised and expanded version of [1947]; this version reprinted with emendations by the author in Feferman [1990], pp. 254- 270, pp. 258-273.
34. KURT GÖDEL [1970a], Some considerations leading to the probable conclusion that the true power of the continuum is N 2, handwritten document, in Feferman [1995], pp. 420-422.
35. KURT GÖDEL [1970b], A proof of Cantor's continuum hypothesis from a highly plausible axiom about orders of growth, handwritten document, in Feferman [1995], pp. 422-423.
36. KURT GÖDEL [1972], Some remarks on the undecidability results, in Feferman [1990], pp. 305-306.
37. JURIS HARTMANIS [1989], Gödel, von Neumann, and the P - NP problem, Bulletin of the European Association for Theoretical Computer Science, vol. 38, pp. 101-107.
38. FELIX HAUSDORFF [1907], Untersuchungen über Ordnungstypen, IV, V, Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Klasse, vol. 59, pp. 84-159, translated in Plotkin [2005], pp. 113-171.
39. FELIX HAUSDORFF [1909], Die Graduierung nach dem Endverlauf, Abhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Klasse, vol. 31, pp. 295-334, translated in Plotkin [2005], pp. 271-301.
40. 1Mengen, Fundamenta Mathematicae, vol. 26, pp. 241-255, translated in Plotkin [2005], pp. 305-316.
41. KAI HAUSER [2006], Gödel's program revisited, part I: The turn to phenomenology, this BULLETIN, vol. 12, pp. 529-590.
42. ωω. Axiomatic set theory (Thomas J. Jech, editor), Proceedings of symposia in pure mathematics, vol. 13, part 2, American Mathematical Society, Providence.
43. DAVID HILBERT [1926], Über das Unendliche, Mathematische Annalen, vol. 95, pp. 161-190, translated into French by André Weil in Acta Mathematica, vol. 48 (1926), pp. 91-122; translated in van Heijenoort [1967], pp. 367-392.
44. IGNACIO JANÉ [1995], The role of the absolute infinite in Cantor's conception of set, Erkenntnis, vol. 42, pp. 375-402.
45. THOMAS JECH [2002], Set theory, third millennium ed., Springer, Berlin, revised and expanded.
46. RONALD B. JENSEN [1972], The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4, pp. 229-308.
47. AKIHIRO KANAMORI [1995], The emergence of descriptive set theory, From Dedekind to Gödel: Essays on the development of the foundations of mathematics (Jaakko Hintikka, editor), Synthese Library, vol. 251, Kluwer, Dordrecht, pp. 241-262.
48. AKIHIRO KANAMORI [1996], The mathematical development of set theory from Cantor to Cohen, this BULLETIN, vol. 2, pp. 1-71.
49. AKIHIRO KANAMORI [2003], The higher infinite, second ed., Springer-Verlag, Heidelberg.
50. AKIHIRO KANAMORI [2004], Zermelo and set theory, this BULLETIN, vol. 10, pp. 487-553.
51. JULIETTE C. KENNEDY AND MARK VAN ATTEN [2004], Gödel's modernism: On set-theoretic incompleteness, Graduate Faculty Philosophy Journal, vol. 25, pp. 289-349.
52. PETER KOELLNER [2006], On the question of absolute undecidability, Philosophia Mathematica, vol. 14, no. 2.
53. MOTOKITI KONDÔ [1939], Sur l'uniformisation des complémentaires analytiques et les ensembles projectifs de la seconde classe, Japanese Journal of Mathematics, vol. 15, pp. 197-230.
54. STANISLAW KRAJEWSKI [2004], Gödelon Tarski, Annals of Pure and Applied Logic, vol. 127, pp. 303-323.
55. GEORG KREISEL [1980], Kurt Gödel, 28 April 1906-14 January 1978, Biographical Memoirs of the Fellows of the Royal Society, vol. 26, pp. 149-224, corrections, vol. 27 (1981), p. 697 and vol. 28 (1982), p. 718.
56. KAZIMIERZ KURATOWSKI [1931], Evaluation de la classe Borélienne ouprojective d'un ensemble de points à l'aide des symboles logiques, Fundamenta Mathematicae, vol. 17, pp. 249-272.
57. KAZIMIERZ KURATOWSKI AND ALFRED TARSKI [1931], Les opérations logiques et les ensembles projectifs, Fundamenta Mathematicae, vol. 17, pp. 240-248, reprinted in Tarski [1986], vol. 1, pp. 551-559; translated in Tarski [1983], pp. 143-151.
58. AZRIEL LEVY [1960], Axiom schemata of strong infinity in axiomatic set theory. Pacific Journal of Mathematics, vol. 10, pp. 223-238, reprinted in Mengenlehre, Wissenschaftliche Buchgesellschaft Darmstadt, 1979, pp. 238-253.
59. AZRIEL LEVY AND ROBERT SOLOVAY [1967], Measurable cardinals and the continuum hypothesis, Israel Journal of Mathematics, vol. 5, pp. 234-248.
60. STEFAN MAZURKIEWICZ [1927], Sur une propriété des ensembles C(A), Fundamenta Mathematicae, vol. 10, pp. 172-174.
61. RICHARD M. MONTAGUE [1961], Fraenkel's addition to the axioms of Zermelo, Essays on the foundations of mathematics (Yehoshua Bar-Hillel, E. I. J. Poznanski, Michael O. Rabin, and Abraham Robinson, editors), Magnes Press, Jerusalem, dedicated to Professor A. A. Fraenkel on his 70th Birthday, pp. 91-114.
62. YIANNIS N. MOSCHOVAKIS [1980], Descriptive set theory, North-Holland, Amsterdam.
63. ROMAN MURAWSKI [1998], Undefinability of truth. The problem of priority: Tarski vs Gödel, History and Philosophy of Logic, vol. 19, pp. 153-160.
64. JOHN R. MYHILL AND DANA S. SCOTT [1971], Ordinal definability, Proceedings of symposia in pure mathematics (Dana S. Scott, editor), Axiomatic Set Theory, vol. 13, part 1, American Mathematical Society, Providence, pp. 271-278.
65. Jacob M. Plotkin (editor) [2005], Hausdorff on ordered sets, American Mathematical Society, Providence.
66. FRANK P. RAMSEY [1925], The foundations of mathematics. Proceedings of the London Mathematical Society, vol. 25, pp. 338-384.
67. DANA S. SCOTT [1955], Definitions by abstraction in axiomatic set theory. Bulletin of the American Mathematical Society, vol. 61, p. 442.
68. DANA S. SCOTT [1961], Measurable cardinals and constructible sets, Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques, vol. 9, pp. 521-524.
69. THORALF SKOLEM [1920], Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen, Videnskaps-selskapets Skrifter, I, no. 4, pp. 1-36, reprinted in [1970] below, pp. 103-136. Partially translated in van Heijenoort [1967], pp. 252-263.
70. THORALF SKOLEM [1923], Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre, Matematikerkongressen i Hehingfon den 4-7 Juli 1922, Den femte skandinaviska matematikerkongressen, Redogörelse, Akademiska-Bokhandeln, Helsinki, reprinted in [1970] below, pp. 137-152; translated in van Heijenoort [1967], pp. 290-301, pp. 217-232.
71. THORALF SKOLEM [1962], Abstract set theory, Notre Dame Mathematical Lecture Notes, no. 8, Notre Dame.
72. L(R) is a core model below ®, this BULLETIN, vol. l,pp, 75-84.
73. ALFRED TARSKI [1931], Sur les ensembles définissables de nombres réels, Fundamenta Mathematicae, vol. 17, pp. 210-239, reprinted in Tarski [1986] below, vol. 1, pp. 517-548; translated in Tarski [1983] below, pp. 110-142.
74. ALFRED TARSKI [1933], Pojȩcie prawdy w jȩzykach nauk dedukcyjnych (The concept of truth in the languages of deductive sciences), Prace Towarzystwa Naukowego Warszawskiego, Wydzial III, Nauk Matematyczno-fizycznych (Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III, Sciences Mathématiques et Physiques), no. 34.
75. ALFRED TARSKI [1935], Der Wahrheitsbegriff in den formasierten Sprachen, German translation of [1933] with a postscript, Studia Philosophien vol. 1, pp. 261-405; reprinted in [1986] below, vol. 2, 51-198; translated in [1983] below, pp. 152-278.
76. ALFRED TARSKI [1983], Logic, semantics, metamathematics. Papers from 1923 to 1938, second ed., Hackett, Indianapolis, translations by J. H. Woodger.
77. ALFRED TARSKI [1986], Collected papers, (Steven R. Givant and Ralph N. McKenzie, editors), Birkhäuser, Basel.
78. ALFRED TARSKI AND ROBERT L. VAUGHT [1957], Arithmetical extensions of relational systems, Compositio Mathematica, vol. 13, pp. 81-102, reprinted in Tarski [1986], vol. 3, pp. 653-674.
79. Abraham H. Taub (editor) [1961], John von Neumann. Collected works, vol. 1, Pergamon Press, New York.
80. Jean van Heijenoort (editor) [1967], From Frege to Godel. A source book in mathematical logic, 1879-1931, Harvard University Press, Cambridge.
81. JOHN VON NEUMANN [1923], Zur Einführung der transfiniten Zahlen, Acta Litterarum ac Scientiarum Segiae Universitatis Hungaricae Francisco-Josephinae (Szeged), sectio scientiarum mathematicarum, vol. 1, pp. 199-208, reprinted in [1961] below, vol. 1, pp, 24-33; translated in van Heijenoort [1967], pp. 346-354.
82. JOHN VON NEUMANN [1925], Eine Axiomatisierung der Mengenlehre, Journal für die reine und angewandte Mathematik, vol. 154, pp. 219-240, Berichtigung ibid. vol. 155, p. 128; reprinted in [1961] below, pp. 34-56; translated in van Heijenoort [1967], pp. 393-413.
83. JOHN VON NEUMANN [1928], Über die Definition durch transfinite Induktion und verwandte Fragen der allgemeinen Mengenlehre, Mathematische Annalen, vol. 99, pp. 373-391, reprinted in [1961] below, vol. 1, pp. 320-338.
84. JOHN VON NEUMANN [1929], Über eine Widerspruchfreiheitsfrage in der axiomatischen Mengenlehre, Journal für die reine und angewandte Mathematik, vol. 160, pp. 227-241, reprinted in [1961] below, pp. 494-508.
85. HAO WANG [1981], Popular lectures on mathematical logic. Van Nostrand Reinhold, New York.
86. HAO WANG [1996], A logical journey. From Gödel to Philosophy, The MIT Press, Cambridge.
87. JAN WOLEŃSKI [2005], Gödel, Tarski and truth, Revue International de Philosophie, vol. 59, no. 4, pp. 459-490.
88. W. HUGH WOODIN [1999], The axiom of determinacy, forcing axioms, and the nonstationary ideal, DeGruyter Series in Logic and Its Applications, vol. 1.
89. ERNST ZERMELO [1908], Untersuchungen über die Grundlagen der Mengenlehre I, Mathematische Annalen, vol. 65, pp. 261-281, translated in van Heijenoort [1967], pp. 199-215.
90. ERNST ZERMELO [1930], Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre, Fundamenta Mathematicae, vol. 16, pp. 29-47.
91. ERNST ZERMELO [1932], Über Stufen der Qualifikation und die Logik des Unendlichen, Jahresbericht der deutschen Mathematiker-Vereinigung (Angelegenheiten), vol. 41, pp. 85-88.