Global square sequences in extender models

DOI10.1016/J.APAL.2009.12.003MaRDI QIDQ636337zbMATH OpenOpenAlexFDO

Authors 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

fine structureextender modelglobal square sequencesubcompact cardinals

Mathematics Subject Classification ID

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

Recommendations

• A characterization of \(\square(\kappa^{+})\) in extender models
• CHARACTERIZATION OF □_κ IN CORE MODELS
• More fine structural global square sequences
• A global version of a theorem of Ben-David and Magidor
• The non-compactness of square

Cites work

• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• A characterization of \(\square(\kappa^{+})\) in extender models
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Covering theorems for the core model, and an application to stationary set reflection
• DODD PARAMETERS AND λ-INDEXING OF EXTENDERS
• Generic Embeddings and the Failure of Box
• Global square and mutual stationarity at the \(\aleph_n\)
• Hierarchies of forcing axioms I
• Hierarchies of forcing axioms II
• Inner models and large cardinals
• More fine structural global square sequences
• Smooth categories and global \(\square\)
• Square in core models
• The fine structure of the constructible hierarchy

Cited in

(11)

• More on uniform ultrafilters over a singular cardinal
• Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor
• More fine structural global square sequences
• A characterization of \(\square(\kappa^{+})\) in extender models
• Global co-stationarity of the ground model from a new countable length sequence
• A global version of a theorem of Ben-David and Magidor
• Smooth categories and global \(\square\)
• A microscopic approach to Souslin-tree constructions. I.
• Simultaneous stationary reflection and square sequences
• Square principles in \(\mathbb{P}_{\max}\) extensions
• Global square and mutual stationarity at the \(\aleph_n\)

This page was built for publication: Global square sequences in extender models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q636337)