Heller M, Woodin W.H. (eds.) Infinity. New research frontiers (CUP, 2011)(ISBN 1107003873)(O)(327s)_MAml_
Heller M, Woodin W.H. (eds.) Infinity. New research frontiers (CUP, 2011)(ISBN 1107003873)(O)(327s)_MAml_ Heller M, Woodin W.H. (eds.) Infinity. New research frontiers (CUP, 2011)(ISBN 1107003873)(O)(327s)_MAml_
118 the realm of the infiniteReferencesFeng, Qi, Magidor, Menachem, and Woodin, W. Hugh. 1992. Universally Baire sets of reals. Judanet al., eds., Mathematics Sciences Research Institute Publication, vol. 26, pp. 203–42. SpringerVerlag.Gödel, Kurt. 1938. Consistency-proof for the generalized continuum-hypothesis. Proceedings of theNational Academy of Sciences USA 25: 220–24.Gödel, Kurt. 1940. The Consistency of the Continuum Hypothesis. Annals of Mathematics Studies,no. 3. Princeton: Princeton University Press.Hamkins, Joel David, and Woodin, W. Hugh. 2000. Small forcing creates neither strong nor Woodincardinals. Proceedings of the American Mathematical Society 128 (10): 3025–29.Kanamori, Akihiro. 1994. The Higher Infinite. Perspectives in Mathematical Logic. Berlin: Springer-Verlag.Kunen, Kenneth. 1971. Elementary embeddings and infinitary combinatorics. Journal of SymbolicLogic 36: 407–13.Lévy, Azriel. 1965. Definability in axiomatic set theory. I. In Logic, Methodology and PhilosophicalSciences, Proceedings of the 1964 International Congress, pp. 127–51. Amsterdam: North-Holland.Mitchell, William J., and Steel, John R. 1994. Fine Structure and Iteration Trees. Berlin: Springer-Verlag.Mycielski, Jan, and Steinhaus, H. 1962. A mathematical axiom contradicting the axiom of choice.Bulletin of the Polish Academy of Sciences, Mathematics, Astronomy, and Physics 10: 1–3.Reinhardt, William N. 1970. Ackermann’s set theory equals ZF. Annals of Mathematics Logic 2(2):189–249.Scott, Dana. 1961. Measurable cardinals and constructible sets. Bulletin of the Polish Academy ofScience, Mathematics, Astronomy, and Physics 9: 521–24.Woodin, W. Hugh. 1998. The tower of Hanoi. In The Second International Meeting on Truth inMathematics, pp. 329–51. Oxford: Oxford University Press.Woodin, W. Hugh. 2004. Set Theory after Russell: The Journey Back to Eden, vol.6.Inde GruyterSeries in Logic and Its Applications. Berlin: Walter de Gruyter.Woodin, W. Hugh. In press. The Continuum Hypothesis: The Generic-Multiverse of Sets and the Conjecture.Woodin, W. Hugh. In press. The transfinite universe. To appear in Gödel. Centenary, CambridgeUniversity Press.Woodin W. Hugh. Suitable extender sequences. Preprint, pp. 1–677, July.Zermelo, Ernst. 1930. Uber Grenzzahlen und Mengenbereiche: Neue Untersuchungenuberdie Grundlagender Mengenlehre. Fundamenta Mathematicae: 16: 29–47.
- Page 216: the realm of the finite 93By the us
- Page 220: eyond the finite realm 95Set Theori
- Page 224: eyond the finite realm 97of set the
- Page 228: Theorem 5 (Kunen).beyond the finite
- Page 232: eyond the finite realm 101(as a new
- Page 236: the generic multiverse of sets 103L
- Page 240: the generic multiverse of sets 105F
- Page 244: the generic multiverse of sets 107i
- Page 248: the generic multiverse of sets 109T
- Page 252: the infinite realm 111and such that
- Page 256: the infinite realm 113problem is in
- Page 260: the infinite realm 115from a sequen
- Page 264: conclusions 117arguably a serious f
- Page 270: 120 a potential subtlety concerning
- Page 274: 122 a potential subtlety concerning
- Page 278: 124 a potential subtlety concerning
- Page 282: 126 a potential subtlety concerning
- Page 286: 128 a potential subtlety concerning
- Page 290: CHAPTER 6Concept Calculus: MuchBett
- Page 294: 132 concept calculus: much better t
- Page 298: 134 concept calculus: much better t
- Page 302: 136 concept calculus: much better t
- Page 306: 138 concept calculus: much better t
- Page 310: 140 concept calculus: much better t
- Page 314: 142 concept calculus: much better t
118 the realm of the infiniteReferencesFeng, Qi, Magidor, Menachem, and <strong>Woodin</strong>, W. Hugh. 1992. Universally Baire sets of reals. Judanet al., <strong>eds</strong>., Mathematics Sciences Research Institute Publication, vol. 26, pp. 203–42. SpringerVerlag.Gödel, Kurt. 1938. Consistency-proof for the generalized continuum-hypothesis. Proceedings of theNational Academy of Sciences USA 25: 220–24.Gödel, Kurt. 1940. The Consistency of the Continuum Hypothesis. Annals of Mathematics Studies,no. 3. Princeton: Princeton University Press.Hamkins, Joel David, and <strong>Woodin</strong>, W. Hugh. 2000. Small forcing creates neither strong nor <strong>Woodin</strong>cardinals. Proceedings of the American Mathematical Society 128 (10): 3025–29.Kanamori, Akihiro. 1994. The Higher Infinite. Perspectives in Mathematical Logic. Berlin: Springer-Verlag.Kunen, Kenneth. 1971. Elementary embeddings and infinitary combinatorics. Journal of SymbolicLogic 36: 407–13.Lévy, Azriel. 1965. Definability in axiomatic set theory. I. In Logic, Methodology and PhilosophicalSciences, Proceedings of the 1964 International Congress, pp. 127–51. Amsterdam: North-Holland.Mitchell, William J., and Steel, John R. 1994. Fine Structure and Iteration Trees. Berlin: Springer-Verlag.Mycielski, Jan, and Steinhaus, H. 1962. A mathematical axiom contradicting the axiom of choice.Bulletin of the Polish Academy of Sciences, Mathematics, Astronomy, and Physics 10: 1–3.Reinhardt, William N. 1970. Ackermann’s set theory equals ZF. Annals of Mathematics Logic 2(2):189–249.Scott, Dana. 1961. Measurable cardinals and constructible sets. Bulletin of the Polish Academy ofScience, Mathematics, Astronomy, and Physics 9: 521–24.<strong>Woodin</strong>, W. Hugh. 1998. The tower of Hanoi. In The Second International Meeting on Truth inMathematics, pp. 329–51. Oxford: Oxford University Press.<strong>Woodin</strong>, W. Hugh. 2004. Set Theory after Russell: The Journey Back to Eden, vol.6.Inde GruyterSeries in Logic and Its Applications. Berlin: Walter de Gruyter.<strong>Woodin</strong>, W. Hugh. In press. The Continuum Hypothesis: The Generic-Multiverse of Sets and the Conjecture.<strong>Woodin</strong>, W. Hugh. In press. The transfinite universe. To appear in Gödel. Centenary, CambridgeUniversity Press.<strong>Woodin</strong> W. Hugh. Suitable extender sequences. Preprint, pp. 1–677, July.Zermelo, Ernst. 1930. Uber Grenzzahlen und Mengenbereiche: Neue Untersuchungenuberdie Grundlagender Mengenlehre. Fundamenta Mathematicae: 16: 29–47.