Global square and mutual stationarity at the \(\aleph_n\)

DOI10.1016/j.apal.2011.03.003zbMath1250.03097arXiv0709.4127OpenAlexW2126113295MaRDI QIDQ639679

Peter Koepke, Philip D. Welch

Publication date: 22 September 2011

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

Full work available at URL: https://arxiv.org/abs/0709.4127

zbMATH Keywords

stationary setsingular cardinalcore modelordinal combinatorics

Mathematics Subject Classification ID

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

Related Items

Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities ⋮ Global square sequences in extender models ⋮ On singular stationarity. I: Mutual stationarity and ideal-based methods

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Organic and tight
• Smooth categories and global \(\square\)
• Canonical structure in the universe of set theory. II.
• SQUARES, SCALES AND STATIONARY REFLECTION
• Σ* Fine Structure
• The Covering Lemma
• Forcing a mutual stationarity property in cofinality 𝜔₁
• The core model
• An Elementary Approach to the Fine Structure of L
• The fine structure of the constructible hierarchy
• Inner models and large cardinals
• Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)