CHARACTERIZATION OF □κ IN CORE MODELS

DOI10.1142/S0219061304000310zbMath1095.03050MaRDI QIDQ5692257

Ernest Schimmerling, Martin Zeman

Publication date: 27 September 2005

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

extender modelfine structureSquare sequence

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05)

Related Items

Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁ ⋮ A microscopic approach to Souslin-tree constructions. I. ⋮ Subcompact cardinals, squares, and stationary reflection ⋮ SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS ⋮ A characterization of \(\square(\kappa^{+})\) in extender models ⋮ Hierarchies of forcing axioms II ⋮ NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON ⋮ Simultaneous stationary reflection and square sequences ⋮ On minimal non-\(\sigma\)-scattered linear orders ⋮ Global square sequences in extender models ⋮ Covering with universally Baire operators ⋮ Cardinal transfer properties in extender models ⋮ Coherent sequences and threads ⋮ CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS ⋮ Square principles in \(\mathbb{P}_{\max}\) extensions ⋮ Covering theorems for the core model, and an application to stationary set reflection ⋮ Equiconsistencies at subcompact cardinals ⋮ Stacking mice ⋮ Combinatorial Dichotomies in Set Theory ⋮ The semi-weak square principle ⋮ More fine structural global square sequences ⋮ Inclusion modulo nonstationary ⋮ □ on the singular cardinals ⋮ Large cardinals, inner models, and determinacy: an introductory overview ⋮ KWithout the Measurable ⋮ Nontame mouse from the failure of square at a singular strong limit cardinal ⋮ Determinacy in L(ℝ, μ)

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