CHARACTERIZATION OF □κ IN CORE MODELS
From MaRDI portal
Publication:5692257
DOI10.1142/S0219061304000310zbMath1095.03050MaRDI QIDQ5692257
Martin Zeman, Ernest Schimmerling
Publication date: 27 September 2005
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
03E05: Other combinatorial set theory
Related Items
□ on the singular cardinals, Global square sequences in extender models, Covering theorems for the core model, and an application to stationary set reflection, Cardinal transfer properties in extender models, More fine structural global square sequences, Coherent sequences and threads, Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω1, Combinatorial Dichotomies in Set Theory, Hierarchies of forcing axioms II, Stacking mice
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The covering lemma up to a Woodin cardinal
- Inner models in the region of a Woodin limit of Woodin cardinals
- Indexed squares
- Combinatorial principles in the core model for one Woodin cardinal
- Weak covering without countable closure
- SQUARES, SCALES AND STATIONARY REFLECTION
- Square in Core Models
- Deconstructing inner model theory
- The weak □* is really weaker than the full □
- Projective determinacy
- Strong axioms of infinity and elementary embeddings
- The maximality of the core model
- The Jensen Covering Property
- Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model
- A finite family weak square principle
- A weak Dodd-Jensen lemma
- The fine structure of the constructible hierarchy
- The domestic levels of \(K^c\) are iterable