Global square sequences in extender models

DOI10.1016/j.apal.2009.12.003zbMath1263.03031MaRDI QIDQ636337

Martin Zeman

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.12.003

zbMATH Keywords

extender model; fine structure; subcompact cardinals; global 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

Simultaneous stationary reflection and square sequences, More on uniform ultrafilters over a singular cardinal, Square principles in \(\mathbb{P}_{\max}\) extensions, More fine structural global square sequences, A characterization of \(\square(\kappa^{+})\) in extender models, A microscopic approach to Souslin-tree constructions. I.

Cites Work

• Unnamed Item
• Unnamed Item
• Global square and mutual stationarity at the \(\aleph_n\)
• Covering theorems for the core model, and an application to stationary set reflection
• More fine structural global square sequences
• A characterization of \(\square(\kappa^{+})\) in extender models
• Smooth categories and global \(\square\)
• Square in Core Models
• Hierarchies of forcing axioms II
• Generic Embeddings and the Failure of Box
• Hierarchies of forcing axioms I
• The fine structure of the constructible hierarchy
• CHARACTERIZATION OF □_κ IN CORE MODELS
• DODD PARAMETERS AND λ-INDEXING OF EXTENDERS
• Inner models and large cardinals