𝐼[𝜔₂] can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)

DOI10.1090/S0002-9947-08-04664-3MaRDI QIDQ3605835zbMATH OpenOpenAlexFDO

Authors William J. Mitchell

Publication date 25 February 2009

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

forcingstationary setMahlo cardinalnonstationary ideal

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Abstract: We answer a question of Shelah by showing that it is consistent that every set of ordinals of cofinality omega_1 in I[omega_2] is nonstationary if and only if it is consistent that that there is a kappa^+ Mahlo cardinal kappa.

Recommendations

• Cofinality of the nonstationary ideal
• A weak variation of shelah's I[ω₂]
• Changing cofinalities and the nonstationary ideal
• Some results on the nonstationary ideal. II
• Cofinality of normal ideals on \(P_\kappa(\lambda)\). II

Cites work

• scientific article; zbMATH DE number 3885892 (Why is no real title available?)
• scientific article; zbMATH DE number 5130974 (Why is no real title available?)
• scientific article; zbMATH DE number 1107521 (Why is no real title available?)
• A weak variation of shelah's I[ω₂]
• Adding closed unbounded subsets of \(\omega_2\) with finite forcing
• Aronszajn trees and the independence of the transfer property
• Aronszajn trees on \(\aleph_2\) and \(\aleph_3\).
• Directed Sets and Cofinal Types
• Extensions with the approximation and cover properties have no new large cardinals
• Forcing closed unbounded sets
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• On strong chains of uncountable functions
• On the Hamkins approximation property
• Reflecting stationary sets and successors of singular cardinals

Cited in

(26)

• The approachability ideal without a maximal set
• Short extenders forcings -- doing without preparations
• Forcing with sequences of models of two types
• In memoriam: James Earl Baumgartner (1943--2011)
• Forcing with matrices of countable elementary submodels
• Club stationary reflection and the special Aronszajn tree property
• Guessing models and the approachability ideal
• Ideals on \({P_{\kappa}(\lambda)}\) associated with games of uncountable length
• Forcing with adequate sets of models as side conditions
• Adding closed unbounded subsets of \(\omega_2\) with finite forcing
• Two applications of finite side conditions at \(\omega _2\)
• AN EQUICONSISTENCY RESULT ON PARTIAL SQUARES
• A weak variation of shelah's I[ω₂]
• Strongly adequate sets and adding a club with finite conditions
• FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION
• An ideal characterization of Mahlo cardinals
• Separating weak partial square principles
• Coherent adequate forcing and preserving CH
• Club isomorphisms on higher Aronszajn trees
• Mitchell's theorem revisited
• Adding a club with finite conditions. II
• MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES
• Rado's conjecture and its Baire version
• Adding highly generic subsets of \(\omega_2\)
• Weak saturation properties and side conditions
• Cofinality of the nonstationary ideal

This page was built for publication: 𝐼[𝜔₂] can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605835)