A new condensation principle

Archive for Mathematical Logic 44 (2):159-166 (2005)
  Copy   BIBTEX

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#

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 101,553

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The tree property and the failure of SCH at uncountable cofinality.Dima Sinapova - 2012 - Archive for Mathematical Logic 51 (5-6):553-562.
A model for a very good scale and a bad scale.Dima Sinapova - 2008 - Journal of Symbolic Logic 73 (4):1361-1372.
On the Splitting Number at Regular Cardinals.Omer Ben-Neria & Moti Gitik - 2015 - Journal of Symbolic Logic 80 (4):1348-1360.
Partial near supercompactness.Jason Aaron Schanker - 2013 - Annals of Pure and Applied Logic 164 (2):67-85.
Failures of SCH and Level by Level Equivalence.Arthur W. Apter - 2006 - Archive for Mathematical Logic 45 (7):831-838.
Strongly unfoldable, splitting and bounding.Ömer Faruk Bağ & Vera Fischer - 2023 - Mathematical Logic Quarterly 69 (1):7-14.
Full reflection at a measurable cardinal.Thomas Jech & Jiří Witzany - 1994 - Journal of Symbolic Logic 59 (2):615-630.

Analytics

Added to PP
2013-11-23

Downloads
62 (#347,765)

6 months
8 (#633,132)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

PFA Implies ADL(R).John Steel - 2005 - Journal of Symbolic Logic 70 (4):1255 - 1296.
The strong reflecting property and Harrington's Principle.Yong Cheng - 2015 - Mathematical Logic Quarterly 61 (4-5):329-340.

Add more citations

References found in this work

No references found.

Add more references