Forcing closed unbounded sets
From MaRDI portal
Publication:3684115
DOI10.2307/2273456zbMath0568.03024OpenAlexW2113692571WikidataQ105978954 ScholiaQ105978954MaRDI QIDQ3684115
Publication date: 1983
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273456
Related Items (42)
Admissibility spectra through \(\omega _ 1\) ⋮ Destroying stationary sets ⋮ Large cardinals and definable counterexamples to the continuum hypothesis ⋮ Rigid ideals ⋮ Changing cofinalities and the nonstationary ideal ⋮ Adding many Baumgartner clubs ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ Partition properties for simply definable colourings ⋮ Simplest possible locally definable well-orders ⋮ Homogeneous changes in cofinalities with applications to HOD ⋮ PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES ⋮ The consistency strength of hyperstationarity ⋮ Forcing axioms via ground model interpretations ⋮ Forcing a basis into \(\aleph_1\)-free groups ⋮ 2007 Annual Meeting of the Association for Symbolic Logic ⋮ Resurrection axioms and uplifting cardinals ⋮ Splitting \({\mathcal P}_\kappa \lambda\) into maximally many stationary sets ⋮ A general Mitchell style iteration ⋮ On the existence of skinny stationary subsets ⋮ Strongly proper forcing and some problems of Foreman ⋮ On the size of closed unbounded sets ⋮ On \(L_{\infty{}\kappa{}}\)-free Boolean algebras ⋮ Hyperclass Forcing in Morse-Kelley Class Theory ⋮ Fat sets and saturated ideals ⋮ Diagonal supercompact Radin forcing ⋮ Δ1-Definability of the non-stationary ideal at successor cardinals ⋮ Power function on stationary classes ⋮ Forcing closed unbounded subsets of \(\omega_2\) ⋮ 𝐼[𝜔₂ can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)] ⋮ Global co-stationarity of the ground model from a new countable length sequence ⋮ Chang's conjecture and semiproperness of nonreasonable posets ⋮ Some applications of mixed support iterations ⋮ Short extenders forcings -- doing without preparations ⋮ INTERNAL APPROACHABILITY AND REFLECTION ⋮ Strongly Baire trees and a cofinal branch principle ⋮ An \(\aleph_1\)-dense ideal on \(\aleph_2\) ⋮ SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES ⋮ More notions of forcing add a Souslin tree ⋮ Thin stationary sets and disjoint club sequences ⋮ The nonstationary ideal on \(\aleph _ 2\) ⋮ On the weak distributivity game ⋮ Adding closed unbounded subsets of \(\omega_2\) with finite forcing
Cites Work
- Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978.
- Combinatorial set theory
- On forcing without the continuum hypothesis
- Aronszajn trees and the independence of the transfer property
- The fine structure of the constructible hierarchy
- Some combinatorial problems concerning uncountable cardinals
- Löwenheim-Skolem and interpolation theorems in infinitary languages
This page was built for publication: Forcing closed unbounded sets