Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)

DOI10.1007/BF02401842zbMath1017.03022MaRDI QIDQ5953843

Matthew Foreman, Menachem Magidor

Publication date: 16 July 2002

Published in: Acta Mathematica (Search for Journal in Brave)

Full work available at URL: http://www.actamathematica.org/fulltext.htm

zbMATH Keywords

mutually stationary sets; non-stationary ideal on \(P_\kappa(\lambda)\); saturated ideal

Mathematics Subject Classification ID

03E45: Inner models, including constructibility, ordinal definability, and core models

03E55: Large cardinals

03E05: Other combinatorial set theory

03E04: Ordered sets and their cofinalities; pcf theory

Related Items

A new Löwenheim-Skolem theorem, Non-saturation of the nonstationary ideal on \(P _{\kappa }(\lambda )\) in case \(\kappa \leq \mathrm{cf}(\lambda ) < \lambda \), Global square and mutual stationarity at the \(\aleph_n\), Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties, Some problems in singular cardinals combinatorics, Some open problems in mutual stationary involving inner model: a commentary, Game ideals, Organic and tight, On a problem of Foreman and Magidor, Canonical structure in the universe of set theory. I, The extent of strength in the club filters, Splitting \({\mathcal P}_\kappa \lambda\) into maximally many stationary sets, Canonical structure in the universe of set theory. II., The Magidor function and diamond, Non-saturation of the non-stationary ideal on P _κ (λ) with λ of countable cofinality, Forcing a mutual stationarity property in cofinality 𝜔₁

Cites Work

• Unnamed Item
• Shelah's pcf theory and its applications
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Regularity of ultrafilters and the core model
• Proper forcing
• On the size of closed unbounded sets
• Cofinalities of elementary substructures of structures on \(\aleph_ \omega\)
• Large cardinals and definable counterexamples to the continuum hypothesis
• The extent of strength in the club filters
• Representing Sets of Ordinals as Countable Unions of Sets in the Core Model
• Two Consequences of Determinacy Consistent with Choice
• Stationary subsets of [ℵ_ω^<ω_n]
• Less saturated ideals
• A very weak square principle
• Collapsing successors of singulars
• Potent Axioms