Skip to main content
Log in

A new condensation principle

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

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#.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Friedman, Sy: Fine structure and class forcing. Berlin, New York, deGruyter, 2000

  2. Jech, Thomas: Set theory. San Diego, 1978

  3. Räsch, Thoralf: Erweiterbarkeit von Einbettungen. Diplomarbeit, Humboldt-Universität zu Berlin, 2000

  4. Räsch, Thoralf: Extendibility of embeddings. Acta Univ. Carol. Math. Phys. 42 (2), 75–88 (2001)

    Google Scholar 

  5. Schindler, Ralf: Proper forcing and remarkable cardinals. Bull. Symb. Logic 6, 176–184 (2000)

    MATH  Google Scholar 

  6. Schindler, Ralf: Proper forcing and remarkable cardinals II. J. Symb. Logic. to appear

  7. Shelah, Saharon: Proper and improper forcing. Springer Verlag, 1998

  8. Shelah, Sarahon: E-mail (to Thoralf Räsch), dated June 21, 1999

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ralf Schindler.

Additional information

Mathematics Subject Classification (1991): Primary 03E55, 03E15, Secondary 03E35, 03E60

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-004-0227-1

Keywords

Navigation