Abstract.
We point out a connection between reflection principles and generic large cardinals. One principle of pure reflection is introduced that is as strong as generic supercompactness of ω2 by Σ-closed forcing. This new concept implies CH and extends the reflection principles for stationary sets in a canonical way.
Similar content being viewed by others
References
Baumgartner, J.: A new class of order types. Ann. Math. Logic 9, 187–222 (1976)
Bekkali, M.: Topics in set theory. Vol. 1476. Lecture notes in Mathematics. Springer-Verlag, 1992
Cummings, J.: Large cardinal properties of small cardinals. In: Set theory (Curacao, 1995; Barcelona, 1996), Kluwer Academic Publishers, 1998, pp. 23–39
Foreman, M., Magidor, M., Shelah, S.: Martin’s maximum, saturated ideals, and nonregular ultrafilters I. Ann. Math. 127, 1–47 (1988)
Foreman, M.: Generic large cardinals: new axioms for mathematics? In: Proceedings of the International Congress of Mathematicians, Berlin, Vol. II, 1998, pp. 11–21
Galvin, F., Jech, T., Magidor., M.: An ideal game. J. Symbolic Logic 43, 284–292 (1978)
Kanamori, A.: The Higher Infinite. Perspectives in Mathematical Logic. Springer- Verlag, 1997
Kanamori, A., Magidor, M.: The evolution of large cardinal axioms in set theory. In: Higher set theory, Vol. 669, Lecture notes in Mathematics, Springer-Verlag, 1978, pp. 99–275
Kechris, A.S.: Classical descriptive set theory. Springer-Verlag, 1995
König, B.: Trees, Games and reflections. PhD thesis, LMU München, 2001
Kunen, K.: Saturated ideals. J. Symbolic Logic 43, 65–76 (1978)
Shelah, S.: Proper forcing. Vol. 940. Lecture notes in Mathematics. Springer-Verlag, 1982
Shelah, S.: Proper and improper forcing. Perspectives in Mathematical Logic. Springer-Verlag, 1998
Todorcević, S.: On a conjecture of R. Rado. J. London Math. Soc. 27, 1–8 (1983)
Todorcević, S.: Conjectures of rado and chang and cardinal arithmetic. In: Sauer et~al., (eds.), Finite and infinite combinatorics, Kluwer Academic Publishers, 1993, pp. 385–398
Velicković, B.: Playful boolean algebras. Trans. Am. Math. Soc. 296, 727–740 (1986)
Velicković, B.: Forcing axioms and stationary sets. Adv. Math. 94, 256–284 (1992)
Woodin, W.H.: The Axiom of determinacy, Forcing Axioms, and the Nonstationary Ideal. Walter de Gruyter & Co., Berlin, 1999
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000): 03E50, 03E55
Rights and permissions
About this article
Cite this article
König, B. Generic compactness reformulated. Arch. Math. Logic 43, 311–326 (2004). https://doi.org/10.1007/s00153-003-0211-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-003-0211-1