Levy and set theory

Annals of Pure and Applied Logic

Volumn 140, Issue 1-3, 2006, Pages 233-252

  Kanamori, Akihiro ^a  

^a USA   (United States)

Author keywords

Ackermann's set theory; Forcing; Fraenkel Mostowski method; Indescribable cardinals.; Levy absoluteness; Levy collapse; Levy hierarchy; Measurable cardinals; Reflection principles; Relative constructibility; Urelements

Indexed keywords

EID: 33748323442     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2005.09.009     Document Type: Article

References (121)

1. Indépendance conditionnelle de V = L et d'axiomes qui se rattachent au système de M. Gödel. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences, Paris 245 (1957) 1582-1583
2. A note on definitions of finiteness. The Bulletin of the Research Council of Israel, Section F: Mathematics and Physics 7F (1958) 83-84
3. The independence of various definitions of finiteness. Fundamenta Mathematicae 46 (1958) 1-13
4. Comparison of subtheories. Proceedings of the American Mathematical Society 9 (1958) 942-945
5. On Ackermann's set theory. The Journal of Symbolic Logic 24 (1959) 154-166
6. A hierarchy of formulae of set theory (abstract). Notices of the American Mathematical Society 6 (1959) 826
7. On models of set theory with urelements. Bulletin de l'Academie Polonaise des Sciences, Serie des Sciences Mathématiques, Astronomiques et Physiques 8 (1960) 463-465
8. A generalization of Gödel's notion of constructibility. The Journal of Symbolic Logic 25 (1960) 147-155
9. Axiom schemata of strong infinity in axiomatic set theory. Pacific Journal of Mathematics 10 (1960) 223-238 Reprinted in: Mengenlehre, Wissensschaftliche Buchgesellschaft Darmstadt, 1979, pp. 238-253
10. Principles of reflection in axiomatic set theory. Fundamenta Mathematicae 49 (1960) 1-10
11. On a spectrum of set theories. Illinois Journal of Mathematics 4 (1960) 413-424
12. (with Robert L. Vaught). Principles of partial reflection in the set theories of Zermelo and Ackermann. Pacific Journal of Mathematics 11 (1961) 1045-1062
13. Axiomatization of induced theories. Proceedings of the American Mathematical Society 12 (1961) 251-253
14. Comparing the axioms of local and universal choice. In: Bar-Hillel Y., Poznanski E.I.J., Rabin M.O., and Robinson A. (Eds). Essays on the Foundations of Mathematics (1961), Magnes Press, Jerusalem 83-90 (dedicated to Professor A.A. Fraenkel on his 70th Birthday)
15. On the principles of reflection in axiomatic set theory. In: Nagel E., Suppes P., and Tarski A. (Eds). Logic, Methodology and Philosophy of Science (Proceedings of the 1960 International Congress) (1962), Stanford University Press, Stanford 87-93
16. Axioms of multiple choice. Fundamenta Mathematicae 50 (1962) 475-483
17. Remarks on a paper by J. Mycielski. Acta Mathematica Academiae Scientiarum Hungaricae 14 (1963) 125-130
18. Independence results in set theory by Cohen's method I (abstract). Notices of the American Mathematical Society 10 (1963) 592-593
19. (with Solomon Feferman). Independence results in set theory by Cohen's method II (abstract). Notices of the American Mathematical Society 10 (1963) 593
20. Independence results in set theory by Cohen's method III (abstract). Notices of the American Mathematical Society 10 (1963) 593
21. Independence results in set theory by Cohen's method IV (abstract). Notices of the American Mathematical Society 10 (1963) 593
22. The interdependence of certain consequences of the axiom of choice. Fundamenta Mathematicae 54 (1964) 135-157
23. (with James D. Halpern). The ordering theorem does not imply the axiom of choice (abstract). Notices of the American Mathematical Society 11 (1964) 56
24. Measurable cardinals and the continuum hypothesis. Notices of the American Mathematical Society 11 (1964) 769-770
25. A hierarchy of formulas in set theory (abstract). The Journal of Symbolic Logic 29 (1964) 226-227
26. The Fraenkel-Mostowski method for independence proofs in set theory. In: Addison Jr. J.W., Henkin L., and Tarski A. (Eds). The Theory of Models (Proceedings of the 1963 International Symposium at Berkeley) (1965), North-Holland, Amsterdam 221-228
27. Definability in axiomatic set theory I. In: Bar-Hillel Y. (Ed). Logic, Methodology and Philosophy of Science (Proceedings of the 1964 International Congress at Jerusalem) (1965), North-Holland, Amsterdam 127-151
28. A hierarchy of formulas in set theory. Memoirs of the American Mathematical Society 57 (1965) 76
29. (with Robert M. Solovay). Measurable cardinals and the continuum hypothesis. Israel Journal of Mathematics 5 (1967) 234-248
30. (with Georg Kreisel). Reflection principles and their use for establishing the complexity of axiomatic systems. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 14 (1968) 97-142
31. On Von Neumann's axiom system for set theory. American Mathematical Monthly 75 (1968) 762-763
32. The definability of cardinal numbers. In: Bulloff J.J., Holyoke T.C., and Hahn S.W. (Eds). Foundations of Mathematics (Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel) (1969), Springer-Verlag, Berlin
33. The effectivity of existential statements in axiomatic set theory. Information Sciences 1 (1969) 119-130
34. Definability in axiomatic set theory II. In: Bar-Hillel Y. (Ed). Mathematical Logic and Foundations of Set Theory (Proceedings of an International Colloquium). 11-14 November 1968, Jerusalem (1970), North-Holland, Amsterdam 129-145
35. (with James D. Halpern). The Boolean prime ideal theorem does not imply the axiom of choice. In: Scott D.S. (Ed). Axiomatic Set Theory. Proceedings of Symposia in Pure Mathematics vol. 13, part I (1971), American Mathematical Society, Providence 83-134
36. The sizes of the indescribable cardinals. In: Scott D.S. (Ed). Axiomatic Set Theory. Proceedings of Symposia in Pure Mathematics vol. 13, part I (1971), American Mathematical Society, Providence 205-218
37. On the logical complexity of several axioms of set theory. In: Scott D.S. (Ed). Axiomatic Set Theory. Proceedings of Symposia in Pure Mathematics vol. 13, part I (1971), American Mathematical Society, Providence 219-230
38. (with Robert M. Solovay). On the decomposition of sets of reals to Borel sets. Annals of Mathematical Logic 5 (1972) 1-19
39. (with Abraham A. Fraenkel and Yehoshua Bar-Hillel). Foundations of Set Theory (1973), North-Holland, Amsterdam 404 pages
40. Parameters in the comprehension axiom schemas of set theory. In: Henkin L., et al. (Ed). Proceedings of the Tarski Symposium. Proceedings of Symposia in Pure Mathematics vol. 25 (1974), American Mathematical Society, Providence 309-324
41. The role of classes in set theory (an excerpt from [39]). In: Müller G.H. (Ed). Sets and Classes (1976), North-Holland, Amsterdam 173-215
42. Basic Set Theory (1979), Springer-Verlag, Berlin 391 pages. Reprinted by Dover Publications, 2003
43. Mathematical Logic, A Course of the Open University of Israel, 1985 (in Hebrew)
44. Mathematical Logic A (1997), Academon Press (in Hebrew)
45. Ackermann W. Zur Axiomatik der Mengenlehre. Mathematische Annalen 131 (1956) 336-345
46. Addison Jr. J.W. Some consequences of the axiom of constructibility. Fundamenta Mathematicae 46 (1959) 337-357
47. Barwise J. Admissible Sets and Structures (1975), Sprriwger-Verlag, Berlin
48. Baumgartner J.E. Ineffability properties of cardinals I. In: Hajnal A., Rado R., and Sós V.T. (Eds). Infinite and Finite Sets. Colloquia Mathematica Societatis Janos Bolyai vol. 10 (1975), North-Holland, Amsterdam
49. Norman Bentwich, The Hebrew University of Jerusalem, 1918-1960, Weidenfeld and Nicolson, London, 1961
50. Bernays P. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre. In: Bar-Hillel Y., Poznanski E.I.J., Rabin M.O., and Robinson A. (Eds). Essays on the Foundations of Mathematics (1961), Magnes Press, Jerusalem 3-49 (dedicated to Professor A.A. Fraenkel on his 70th Birthday)
51. Paul J. Cohen, The independence of the Axiom of Choice, Stanford University, 1963 (mimeographed preprint)
52. Cohen P.J. The independence of the continuum hypothesis. I. Proceedings of the National Academy of Sciences, USA 50 (1963) 1143-1148
53. Cohen P.J. The independence of the continuum hypothesis. II. Proceedings of the National Academy of Sciences, USA 51 (1964) 105-110
54. Cohen P.J. Independence results in set theory. In: Addison Jr. J.W., Henkin L., and Tarski A. (Eds). The Theory of Models (Proceedings of the 1963 International Symposium at Berkeley) (1965), North-Holland, Amsterdam 39-54
55. Cohen P.J. Set Theory and the Continuum Hypothesis (1966), Benjamin, New York
56. Feferman S. Some applications of the notions of forcing and generic sets (summary). In: Addison Jr. J.W., Henkin L., and Tarski A. (Eds). The Theory of Models (Proceedings of the 1963 International Symposium at Berkeley) (1965), North-Holland, Amsterdam 89-95
57. Feferman S. Some applications of the notions of forcing and generic sets. Fundamenta Mathematicae 56 (1965) 325-345
58. Fraenkel A.A. Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre. Mathematische Annalen 86 (1922) 230-237
59. Fraenkel A.A. Über den Begriff 'definit' und die Unabhängigkeit des Auswahlaxioms. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalish-mathematische Klass (1922) 253-257 Translated in van Heijenoort (Ed.), From Frege to Gödel: a Source Book in Mathematical Logic, 1879-1931, Harvard University Press, Cambridge 1967
60. Fraenkel A.A., and Bar-Hillel Y. Foundations of Set Theory (1958), North-Holland, Amsterdam 415 pages
61. Robert J. Gauntt, Undefinability of cardinality, in: Lectures notes prepared in connection with the Summer Institute on Axiomatic Set Theory held at University of California, Los Angeles, IV-M, 1967
62. Gentzen G. Beweisbarkeit und Unbeweisbarkeit van Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Mathematische Annalen 119 (1943) 140-161 Translated in: M.E. Szabo (Ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam 1969, pp. 287-308
63. Gödel K. The consistency of the axiom of choice and of the generalized continuum-hypothesis. Proceedings of the National Academy of Sciences, USA 24 (1938) 556-557 Reprinted in [69], pp. 26-27
64. Gödel K. Consistency-proof for the generalized continuum-hypothesis. Proceedings of the National Academy of Sciences, USA 25 (1939) 220-224 Reprinted in [69], pp. 28-32
65. Gödel K. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Annals of Mathematics Studies #3 (1940), Princeton University Press, Princeton Reprinted in [69], pp. 33-101
66. Kurt Gödel, Lecture [on the] consistency [of the] continuum hypothesis, Brown University, in [70], pp. 175-185, and the page references are to these, 1940
67. Kurt Gödel, Remarks before the Princeton bicentennial conference on problems in mathematics, 1-4, in [69, 1946], pp. 150-153
68. Gödel K. What is Cantor's continuum problem?. American Mathematical Society 54 (1947) 515-525
69. Gödel K. What is Cantor's continuum problem?. American Mathematical Society 55 (1947) 151 (errata). Reprinted in [69], pp. 176-187
70. Gödel K. In: Feferman S. (Ed). Collected Works vol. 2 (1990), Oxford University Press, New York
71. Gödel K. In: Feferman S. (Ed). Collected Works vol. 3 (1995), Oxford University Press, New York
72. Gödel K. In: Feferman S., and Dawson Jr. J.W. (Eds). Collected Works vol. 4 (2003), Clarendon Press, Oxford
73. Gödel K. In: Feferman S., and Dawson Jr. J.W. (Eds). Collected Works vol. 5 (2003), Clarendon Press, Oxford
74. Hajnal A. On a consistency theorem connected with the generalized continuum problem. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 (1956) 131-136
75. Hajnal A. On a consistency theorem connected with the generalized continuum problem. Acta Mathematica Academiae Scientiarum Hungaricae 12 (1961) 321-376
76. Halpern J.D. The independence of the axiom of choice from the Boolean prime ideal theorem (abstract). Notices of the American Mathematical Society 8 (1961) 279-280
77. Halpern J.D. The independence of the axiom of choice from the Boolean prime ideal theorem. Fundamenta Mathmaticae 55 (1964) 57-66
78. Halpern J.D., and Läuchli H. A partition theorem. Transactions of the American Mathematical society 124 (1966) 360-367
79. Hanf W.P., and Scott D.S. Classifying inaccessible cardinals (abstract). Notices of the American Mathematical Society 8 (1961) 445
80. Howard P.E. Limitations of the Fraenkel-Mostowski method of independence proofs. The Journal of Symbolic Logic 38 (1973) 416-422
81. Howard P.E., and Rubin J.E. Consequences of the Axiom of Choice. Mathematical Surveys and Monographs vol. 59 (1998), American Mathematical Society, Providence
82. Jech T.J. The Axiom of Choice (1973), North-Holland, Amsterdam
83. Jensen R.B. Consistency results for ZF. Notices of the American Mathematical Society 14 (1967) 137
84. Kanamori A. The Higher Infinite. corrected second ed. (2005), Springer, Berlin
85. Jerome Keisler H., and Tarski A. From accessible to inaccessible cardinals. Fundamenta Mathematicae 53 (1964) 225-308
86. Jerome Keisler H., and Tarski A. From accessible to inaccessible cardinals. Fundamenta Mathematicae 57 (1965) 119 (errata)
87. Kinna W., and Wagner K. Über eine Abschwächung des Auswahlpostulates. Fundamenta Mathematicae 42 (1955) 75-82
88. Kleene S.C. Recursive predicates and quantifiers. Transactions of the American Mathematical Society 53 (1943) 41-73
89. Kondô M. L'uniformization des complémentaires analytiques. Proceedings of the Imperial Academy of Japan 13 (1937) 287-291
90. Läuchli H. The independence of the ordering principle from a restricted axiom of choice. Fundamenta Mathematicae 54 (1964) 31-43
91. Laver R. Products of infinitely many perfect trees. Journal of the London Mathematical Society 29 (1984) 385-396
92. Mahlo P. Über lineare transfinite Mengen. Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematische-Physische Klass 63 (1911) 187-225
93. 0-Zahlen. Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematische-Physische Klass 64 (1912) 108-112
94. 0-Zahlen II. Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematische-Physische Klass 65 (1913) 268-282
95. Martin D.A., and Solovay R.M. Internal Cohen extensions. Annals of Mathematical Logic 2 (1970) 143-178
96. Mendelson E. The independence of a weak axiom of choice. The Journal of Symbolic Logic 21 (1956) 350-366
97. Montague R.M. Fraenkel's addition to the axioms of Zermelo. In: Bar-Hillel Y., Poznanski E.I.J., Rabin M.O., and Robinson A. (Eds). Essays on the Foundations of Mathematics (1961), Magnes Press, Jerusalem 91-114 (dedicated to Professor A.A. Fraenkel on his 70th Birthday)
98. Moore G.H. The origins of forcing. In: Drake F.R., and Truss J.K. (Eds). Logic Colloquium'86 (1988), North-Holland, Amsterdam
99. Mostowski A.M. Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip. Fundamenta Mathematicae 32 (1939) 201-252
100. Mostowski A.M. On the principle of dependent choices. Fundamenta Mathematicae 35 (1948) 127-130
101. Mostowski A.M. On a problem of W. Kinna and K. Wagner. Colloquium Mathematicum 6 (1958) 207-208
102. Myhill J., and Scott D.S. Ordinal definability. In: Scott D.S. (Ed). Axiomatic Set Theory. Proceedings of Symposia in Pure Mathematics vol. 13, part I (1971), American Mathematical Society, Providence 271-278
103. Pincus D. Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods. The Journal of Symbolic Logic 37 (1972) 721-743
104. Pincus D. Cardinal representatives. Israel Journal of Mathematics 18 (1974) 321-344
105. Reinhardt W.N. Ackermann's set theory equals ZF. Annals of Mathematical Logic 2 (1970) 189-249
106. Sageev G. An independence result concerning the axiom of choice. Annals of Mathematical Logic 8 (1975) 1-184
107. Scott D.S. Definitions by abstraction in axiomatic set theory. Bulletin of the American Mathematical Society 61 (1955) 442
108. Scott D.S. Measurable cardinals and constructible sets. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 9 (1961) 521-524
109. Shelah S. Proper Forcing. Lecture Notes in Mathematics vol. 940 (1982), Springer-Verlag, Berlin
110. Shelah S. Can you take Solovay's inaccessible away?. Israel Journal of Mathematics 49 (1984) 1-47
111. Shelah S. Proper and Improper Forcing. Perspectives in Mathematical Logic (1998), Springer, Berlin
112. Shepherdson J.C. Purported review of Levy [1]. The Journal of Symbolic Logic 26 (1959) 226
113. Joseph R. Shoenfield, Constructible sets (abstract), in: Summaries of talks, Summer Institute for Symbolic Logic, Cornell University, 1957, Institute for Defense Analysis, Princeton, vol. 2, 1957, p. 214
114. Shoenfield J.R. On the independence of the axiom of constructibility. American Journal of Mathematics 81 (1959) 537-540
115. Shoenfield J.R. The problem of predicativity. In: Bar-Hillel Y., Poznanski E.I.J., Rabin M.O., and Robinson A. (Eds). Essays on the Foundations of Mathematics (1961), Magnes Press, Jerusalem 132-139 (dedicated to Professor A.A. Fraenkel on his 70th Birthday)
116. Sierpiński W. Sur une classe d'ensembles. Fundamenta Mathematicae 7 (1925) 237-243
117. Solovay R.M. Measurable cardinals and the continuum hypothesis (abstract). Notices of the American Mathematical Society 12 (1965) 132
118. Solovay R.M. The measure problem (abstract). Notices of the American Mathematical Society 12 (1965) 217
119. Solovay R.M. A model of set theory in which every set of reals is Lebesgue measurable. Annals of Mathematics 92 (1970) 1-56
120. Specker E. Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiome). Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 (1957) 173-210
121. Vaught R.L. Indescribable cardinals (abstract). Notices of the American Mathematical Society 10 (1963) 126