Generic embeddings and the failure of box
HTML articles powered by AMS MathViewer
- by Douglas Burke PDF
- Proc. Amer. Math. Soc. 123 (1995), 2867-2871 Request permission
Abstract:
We prove that if {$a \subseteq {\kappa ^ + }|$ order type of a is a cardinal} is stationary, then Jensen’s principle ${\square _\kappa }$ fails. We also show that $\forall \kappa {\square _k}$ is consistent with a superstrong cardinal.References
- James E. Baumgartner, Iterated forcing, Surveys in set theory, London Math. Soc. Lecture Note Ser., vol. 87, Cambridge Univ. Press, Cambridge, 1983, pp. 1–59. MR 823775, DOI 10.1017/CBO9780511758867.002
- Matthew Foreman, Potent axioms, Trans. Amer. Math. Soc. 294 (1986), no. 1, 1–28. MR 819932, DOI 10.1090/S0002-9947-1986-0819932-2
- Thomas Jech, Set theory, Pure and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR 506523
- A. Kanamori and M. Magidor, The evolution of large cardinal axioms in set theory, Higher set theory (Proc. Conf., Math. Forschungsinst., Oberwolfach, 1977) Lecture Notes in Math., vol. 669, Springer, Berlin, 1978, pp. 99–275. MR 520190
- Jean-Pierre Levinski, Menachem Magidor, and Saharon Shelah, Chang’s conjecture for $\aleph _\omega$, Israel J. Math. 69 (1990), no. 2, 161–172. MR 1045371, DOI 10.1007/BF02937302
- Donald A. Martin and John R. Steel, A proof of projective determinacy, J. Amer. Math. Soc. 2 (1989), no. 1, 71–125. MR 955605, DOI 10.1090/S0894-0347-1989-0955605-X W. J. Mitchell, E. Schimmerling, and J. R. Steel, The covering lemma up to one Woodin cardinal (to appear).
- William J. Mitchell and John R. Steel, Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, Berlin, 1994. MR 1300637, DOI 10.1007/978-3-662-21903-4 E. Schimmerling, Combinatorial principles in the core model for one Woodin cardinal, Ph.D. thesis, UCLA, 1992.
- Jan Tryba, No Jónsson filters over $\aleph _\omega$, J. Symbolic Logic 52 (1987), no. 1, 51–53. MR 877853, DOI 10.2307/2273860
- W. Hugh Woodin, Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proc. Nat. Acad. Sci. U.S.A. 85 (1988), no. 18, 6587–6591. MR 959110, DOI 10.1073/pnas.85.18.6587
Additional Information
- © Copyright 1995 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 123 (1995), 2867-2871
- MSC: Primary 03E55; Secondary 03E35
- DOI: https://doi.org/10.1090/S0002-9939-1995-1257099-0
- MathSciNet review: 1257099