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

DOI10.1090/S0002-9947-08-04664-3zbMATH Open1179.03048arXivmath/0407225OpenAlexW2907682301MaRDI QIDQ3605835FDOQ3605835

Authors: William J. Mitchell 

Publication date: 25 February 2009

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

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.

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

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

zbMATH Keywords

forcingstationary setMahlo cardinalnonstationary ideal

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Cites Work

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

Cited In (26)

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

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)