Axioms which imply GCH

Fundamenta Mathematicae

Volumn 176, Issue 3, 2003, Pages 193-207

  Mycielski, Jan ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

Axioms; Continuum hypothesis; Models

Indexed keywords

EID: 0042412656     PISSN: 00162736     EISSN: None     Source Type: Journal    
DOI: 10.4064/fm176-3-1     Document Type: Article

References (29)

1. game, Fund. Math. 176 (2003), 143-155.
2. cube and its consequences, ibid., 63-75.
3. [D] F. R. Drake, Set Theory: An Introduction to Large Cardinals, North-Holland and American Elsevier, 1974.
4. [E] A. Enayat, On the Leibniz-Mycielski axiom in set theory, to appear.
5. [FW] M. Foreman and W. H. Woodin, The generalized continuum hypothesis can fail everywhere, Ann. of Math. 133 (1991), 1-35.
6. [Ka] A. Kanamori, The Higher Infinite, Springer, Berlin, 1994.
7. [Ke] A. S. Kechris, AD and projective ordinals, in: Cabal Seminar 76-77, Lecture Notes in Math. 689, Springer, 1978, 91-132.
8. [L] R. Laver, On very large cardinals, in: Paul Erdös and His Mathematics, Vol. II, Budapest, 2002, 453-469.
9. [LS] A. Lévy and R. M. Solovay, Measurable cardinals and the continuum hypothesis, Israel J. Math. 5 (1967), 234-248.
10. [Ma] D. A. Martin, Descriptive set theory: projective sets, in: Handbook of Mathematical Logic, J. Barwise (ed.), North-Holland, 1991, 783-815.
11. [MC] K. McAloon, Consistency results about ordinal definability, Ann. Math. Logic 2 (1971), 449-467.
12. [Me] T. K. Menas, Consistency results concerning supercompactness, Trans. Amer. Math. Soc. 223 (1976), 61-91.
13. [M1] J. Mycielski, New set-theoretic axioms derived from a lean metamathematics, J. Symbolic Logic 60 (1995), 191-198.
14. [M2] _, Games with perfect information, in: Handbook of Game Theory, Vol. I, Chapter 3, R. J. Aumann and S. Hart (eds.), Elsevier, 1992, 41-70.
15. [M3] _, On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge), in: Proc. Tarski's Centennial Conf. (Warszawa, 2001), to appear.
16. [M4] _, Russell's paradox and Hilbert's (much forgotten) view of set theory, Proc. Russell's Sympos., Munich, June 2001, to appear.
17. [M5] _, Pure Mathematics and Physical Reality, to appear.
18. [M6] _, Two remarks on Tychonoff's product theorem, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 12 (1964), 439-441.
19. [MS] J. Myhill and D. S. Scott, Ordinal definability, in: Axiomatic Set Theory, Proc. Sympos. Pure Math. 13, Part 1, Amer. Math. Soc., 1971, 271-278.
20. [N] I. Neeman, Optimal proofs of determinacy, Bull. Symbolic Logic 1 (1995), 327-339.
21. [P] J. B. Paris, Minimal models of ZF, in: Proc. Bertrand Russell Memorial Logic Conf. (Uldum, 1971), Bertrand Russell Memorial Logic Conf. (Leeds, 1973), 327-331.
22. [S] W. Sierpiński, Sur un problème conduisant à un ensemble non mesurable, Fund. Math. 10 (1927), 177-179.
23. [Si1] J. H. Silver, On the singular cardinals problem, in: Proc. Internat. Congress of Mathematicians (Vancouver, B.C., 1974), Vol. I, Canad. Math. Congress, Montréal, 1975, 265-268.
24. [Si2] _, The independence of Kurepa's conjecture and two-cardinal conjectures in model theory, in: Axiomatic Set Theory, Proc. Sympos. Pure Math. 13, Part 1, Amer. Math. Soc., 1971, 383-390.
25. [So] R. M. Solovay, Strongly compact cardinals and the GCH, in: Proc. Tarski Sympos., L. Henkin et al. (eds.), Proc. Sympos. Pure Math. 25, Amer. Math. Soc., 1974, 365-372.
26. [St] J. R. Steel, Long games, in: Cabal Seminar 81-85, Lecture Notes in Math. 1333, Springer, 1988, 56-97.
27. [T] S. Todorčević, Generic absoluteness and the continuum, manuscript, May 10, 2002.
28. [W1] W. H. Woodin, letters to the author, May and September 2000.
29. [W2] _, The Continuum Hypothesis, Notices Amer. Math. Soc. 48 (2001), part I, 567-576, part II, 681-690; correction to part II, ibid. 49 (2002), 46.