Square in Core Models

DOI10.2307/2687750zbMath0992.03062OpenAlexW2159437191MaRDI QIDQ2778659

Ernest Schimmerling, Martin Zeman

Publication date: 20 March 2002

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

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0703-toc.htm

zbMATH Keywords

subcompactnessconsistency strength lower bounds for the failure of \(\square_\kappa\)Jensen core modelslarge cardinal propertyMitchell-Steel core models

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items

Sequentially linearly Lindelöf spaces ⋮ Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁ ⋮ Weak Compactness and No Partial Squares ⋮ Destroying stationary sets ⋮ Determinacy from strong compactness of \(\omega_1\) ⋮ Hierarchies of forcing axioms II ⋮ On the maximal resolvability of monotonically normal spaces ⋮ The Borel partition spectrum at successors of singular cardinals ⋮ Global square sequences in extender models ⋮ ON FOREMAN’S MAXIMALITY PRINCIPLE ⋮ CHARACTERIZATION OF □_κ IN CORE MODELS ⋮ DODD PARAMETERS AND λ-INDEXING OF EXTENDERS ⋮ SET MAPPING REFLECTION ⋮ Hierarchies of forcing axioms I ⋮ Cardinal transfer properties in extender models ⋮ Coherent sequences and threads ⋮ More on uniform ultrafilters over a singular cardinal ⋮ CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS ⋮ Borel's conjecture in topological groups ⋮ More on regular and decomposable ultrafilters in ZFC ⋮ The domestic levels of \(K^c\) are iterable ⋮ Equiconsistencies at subcompact cardinals ⋮ GENERICITY AND LARGE CARDINALS ⋮ Partial strong compactness and squares ⋮ More fine structural global square sequences ⋮ Inclusion modulo nonstationary ⋮ STATIONARY REFLECTION ⋮ Indexed squares ⋮ Large cardinals, inner models, and determinacy: an introductory overview ⋮ KWithout the Measurable ⋮ Inner models in the region of a Woodin limit of Woodin cardinals

Cites Work

• Combinatorial principles in the core model for one Woodin cardinal
• Weak covering without countable closure
• Smooth categories and global \(\square\)
• Projective determinacy
• Strong axioms of infinity and elementary embeddings
• The maximality of the core model
• A finite family weak square principle
• The fine structure of the constructible hierarchy