Stably measurable cardinals

Journal of Symbolic Logic 86 (2):448-470 (2021)
  Copy   BIBTEX

Abstract

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma _{1}$ -definability at uncountable regular cardinals. In particular we give its exact consistency strength first in terms of the second uniform indiscernible for bounded subsets of $\kappa $ : $u_2$, and secondly to give the consistency strength of a property of Lücke’s.TheoremThe following are equiconsistent:There exists $\kappa $ which is stably measurable;for some cardinal $\kappa $, $u_2=\sigma $ ;The $\boldsymbol {\Sigma }_{1}$ -club property holds at a cardinal $\kappa $.Here $\sigma $ is the height of the smallest $M \prec _{\Sigma _{1}} H $ containing $\kappa +1$ and all of $H $. Let $\Phi $ be the assertion: TheoremAssume $\kappa $ is stably measurable. Then $\Phi $.And a form of converse:TheoremSuppose there is no sharp for an inner model with a strong cardinal. Then in the core model K we have: $\mbox {``}\exists \kappa \Phi \mbox {''}$ is -generically absolute ${\,\longleftrightarrow \,}$ There are arbitrarily large stably measurable cardinals.When $u_2 < \sigma $ we give some results on inner model reflection.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,408

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

On measurable limits of compact cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
Weakly measurable cardinals.Jason A. Schanker - 2011 - Mathematical Logic Quarterly 57 (3):266-280.
On Measurable Limits of Compact Cardinals.Arthur Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
Large cardinals and projective sets.Haim Judah & Otmar Spinas - 1997 - Archive for Mathematical Logic 36 (2):137-155.
Patterns of compact cardinals.Arthur W. Apter - 1997 - Annals of Pure and Applied Logic 89 (2-3):101-115.
Tall cardinals.Joel D. Hamkins - 2009 - Mathematical Logic Quarterly 55 (1):68-86.
Producing measurable cardinals beyond κ.E. M. Kleinberg - 1981 - Journal of Symbolic Logic 46 (3):643-648.
Full reflection at a measurable cardinal.Thomas Jech & Jiří Witzany - 1994 - Journal of Symbolic Logic 59 (2):615-630.
A Characterization of Generalized Příkrý Sequences.Gunter Fuchs - 2005 - Archive for Mathematical Logic 44 (8):935-971.
Supercompactness and Measurable Limits of Strong Cardinals.Arthur W. Apter - 2001 - Journal of Symbolic Logic 66 (2):629-639.
On the indestructibility aspects of identity crisis.Grigor Sargsyan - 2009 - Archive for Mathematical Logic 48 (6):493-513.

Analytics

Added to PP
2020-06-16

Downloads
6 (#1,254,858)

6 months
2 (#640,495)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Measurable cardinals and good ‐wellorderings.Philipp Lücke & Philipp Schlicht - 2018 - Mathematical Logic Quarterly 64 (3):207-217.

View all 6 references / Add more references