CHARACTERIZATION OF □κ IN CORE MODELS

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)

zbMATH Keywords

extender model; fine structure; Square sequence

Mathematics Subject Classification ID

03E45: Inner models, including constructibility, ordinal definability, and core models

03E55: Large cardinals

03E05: Other combinatorial set theory

Related Items

□ on the singular cardinals, 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, 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