STRUCTURAL PROPERTIES OF THE STABLE CORE
From MaRDI portal
Publication:6095967
DOI10.1017/jsl.2023.10arXiv1910.02265OpenAlexW2978246334MaRDI QIDQ6095967
Victoria Gitman, Sy-David Friedman, Sandra Müller
Publication date: 11 September 2023
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1910.02265
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other notions of set-theoretic definability (03E47)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Large cardinals need not be large in HOD
- Fine structure and class forcing
- Certain very large cardinals are not created in small forcing extensions
- A characterization of generalized Příkrý sequences
- Characterizations of pretameness and the Ord-cc
- The Stable core
- Ramsey-like cardinals II
- Applications of the Covering Lemma for Sequences of Measures
- Iterated Forcing and Elementary Embeddings
- Prikry-Type Forcings
- Beginning Inner Model Theory
- The enriched stable core and the relative rigidity of HOD
- Hyperclass Forcing in Morse-Kelley Class Theory
- The core model for sequences of measures. I
- Cardinals and iterations of HOD
- The core model
- Saturated ideals
- Set Theory
- CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL
- Inner models from extended logics: Part 1
- Some applications of iterated ultrapowers in set theory
- Collapsing the cardinals of HOD
- Inner models and large cardinals
This page was built for publication: STRUCTURAL PROPERTIES OF THE STABLE CORE
