Global square sequences in extender models

DOI10.1016/J.APAL.2009.12.003zbMATH Open1263.03031OpenAlexW2026465019MaRDI QIDQ636337FDOQ636337

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

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

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)

Cites Work

• The fine structure of the constructible hierarchy
• Title not available (Why is that?)
• Inner models and large cardinals
• Title not available (Why is that?)
• CHARACTERIZATION OF □_κ IN CORE MODELS
• 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
• DODD PARAMETERS AND λ-INDEXING OF EXTENDERS
• Global square and mutual stationarity at the \(\aleph_n\)
• Covering theorems for the core model, and an application to stationary set reflection

Cited In (11)

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

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)