STRUCTURAL PROPERTIES OF THE STABLE CORE

DOI10.1017/JSL.2023.10MaRDI QIDQ6095967zbMATH OpenOpenAlexFDO

Authors Sy-David Friedman, Victoria Gitman, Sandra Müller

Publication date 11 September 2023

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1910.02265

zbMATH Keywords

inner modellarge cardinalmeasurable cardinalstable core

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47) Large cardinals (03E55)

Abstract: The stable core, an inner model of the form $langleL[S],in,Sangle$ for a simply definable predicate $S$, was introduced by the first author in [Fri12], where he showed that $V$ is a class forcing extension of its stable core. We study the structural properties of the stable core and its interactions with large cardinals. We show that the $operatornameGCH$ can fail at all regular cardinals in the stable core, that the stable core can have a discrete proper class of measurable cardinals, but that measurable cardinals need not be downward absolute to the stable core. Moreover, we show that, if large cardinals exist in $V$, then the stable core has inner models with a proper class of measurable limits of measurables, with a proper class of measurable limits of measurable limits of measurables, and so forth. We show this by providing a characterization of natural inner models $L[C_1,dots,C_n]$ for specially nested class clubs $C_1,dots,C_n$, like those arising in the stable core, generalizing recent results of Welch [Wel19].

Recommendations

• The stable core
• Stability and largeness of the core
• Structural instability of the core
• The enriched stable core and the relative rigidity of HOD
• Structure of the inner core boundary
• Structurally stable systems
• Essential stability of \(\alpha \)-core
• The Structure of Stable Components
• Extendability and von neuman-morgenstern stability of the core
• scientific article; zbMATH DE number 2063283

Cites work

• A characterization of generalized Příkrý sequences
• Applications of the Covering Lemma for Sequences of Measures
• Beginning inner model theory
• Cardinals and iterations of HOD
• Certain very large cardinals are not created in small forcing extensions
• Characterizations of pretameness and the Ord-cc
• Closed and unbounded classes and the Härtig quantifier model
• Collapsing the cardinals of HOD
• Fine structure and class forcing
• scientific article; zbMATH DE number 3428924 (Why is no real title available?)
• scientific article; zbMATH DE number 3387344 (Why is no real title available?)
• Inner models and large cardinals
• Inner models from extended logics. I
• Iterated forcing and elementary embeddings
• Large cardinals need not be large in HOD
• Prikry-type forcings
• Ramsey-like cardinals. II.
• Saturated ideals
• Set Theory
• Some applications of iterated ultrapowers in set theory
• The core model
• The core model for sequences of measures. I
• The enriched stable core and the relative rigidity of HOD
• The higher infinite. Large cardinals in set theory from their beginnings.
• The stable core

Cited in

(2)

• The enriched stable core and the relative rigidity of HOD
• Structure of the inner core boundary

This page was built for publication: STRUCTURAL PROPERTIES OF THE STABLE CORE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6095967)