Global square sequences in extender models

DOI10.1016/j.apal.2009.12.003zbMath1263.03031OpenAlexW2026465019MaRDI 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 modelfine structuresubcompact cardinalsglobal square 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 (6)

A microscopic approach to Souslin-tree constructions. I. ⋮ A characterization of \(\square(\kappa^{+})\) in extender models ⋮ 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

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

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