Abstract.
We generalize ∇(A), which was introduced in [Sch∞], to larger cardinals. For a regular cardinal κ>ℵ0 we denote by ∇ κ (A) the statement that and for all regular θ>κ,
is stationary in
It was shown in [Sch∞] that can hold in a set-generic extension of L. We here prove that can hold in a set-generic extension of L as well. In both cases we in fact get equiconsistency theorems. This strengthens results of [Rä00] and [Rä01]. is equivalent with the existence of 0#.
Similar content being viewed by others
References
Friedman, Sy: Fine structure and class forcing. Berlin, New York, deGruyter, 2000
Jech, Thomas: Set theory. San Diego, 1978
Räsch, Thoralf: Erweiterbarkeit von Einbettungen. Diplomarbeit, Humboldt-Universität zu Berlin, 2000
Räsch, Thoralf: Extendibility of embeddings. Acta Univ. Carol. Math. Phys. 42 (2), 75–88 (2001)
Schindler, Ralf: Proper forcing and remarkable cardinals. Bull. Symb. Logic 6, 176–184 (2000)
Schindler, Ralf: Proper forcing and remarkable cardinals II. J. Symb. Logic. to appear
Shelah, Saharon: Proper and improper forcing. Springer Verlag, 1998
Shelah, Sarahon: E-mail (to Thoralf Räsch), dated June 21, 1999
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (1991): Primary 03E55, 03E15, Secondary 03E35, 03E60
Rights and permissions
About this article
Cite this article
Räsch, T., Schindler, R. A new condensation principle. Arch. Math. Logic 44, 159–166 (2005). https://doi.org/10.1007/s00153-004-0227-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0227-1