Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities

DOI10.1007/s11856-018-1771-4zbMath1425.03021arXiv1607.04790OpenAlexW2962873020MaRDI QIDQ1618105

Dominik Adolf, Philip D. Welch, Sean D. Cox

Publication date: 13 November 2018

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

consistency strengthcovering lemmamutual stationarity

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05) Ordered sets and their cofinalities; pcf theory (03E04)

Related Items

Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering, On singular stationarity. I: Mutual stationarity and ideal-based methods

Cites Work

• Unnamed Item
• Global square and mutual stationarity at the \(\aleph_n\)
• Covering theorems for the core model, and an application to stationary set reflection
• Cofinalities of elementary substructures of structures on \(\aleph_ \omega\)
• Canonical structure in the universe of set theory. II.
• Representing Sets of Ordinals as Countable Unions of Sets in the Core Model
• Forcing a mutual stationarity property in cofinality 𝜔₁
• Stationary subsets of [ℵ_ω^<ω_n]
• Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)