Forcing with sequences of models of two types
From MaRDI portal
Publication:2452681
DOI10.1215/00294527-2420666zbMath1352.03054OpenAlexW2088750390MaRDI QIDQ2452681
Publication date: 4 June 2014
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1398345784
Related Items (28)
Compactness versus hugeness at successor cardinals ⋮ Some remarks on uncountable rainbow Ramsey theory ⋮ PRESERVATION OF SUSLIN TREES AND SIDE CONDITIONS ⋮ MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES ⋮ On constructions with 2-cardinals ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ Two applications of finite side conditions at \(\omega _2\) ⋮ Weak saturation properties and side conditions ⋮ On strong chains of sets and functions ⋮ SPECIALISING TREES WITH SMALL APPROXIMATIONS I ⋮ PFA and precipitousness of the nonstationary ideal ⋮ Forcing with adequate sets of models as side conditions ⋮ Forcing with matrices of countable elementary submodels ⋮ Strongly adequate sets and adding a club with finite conditions ⋮ P-ideal dichotomy and a strong form of the Suslin Hypothesis ⋮ Characterizing large cardinals through Neeman's pure side condition forcing ⋮ Why Y-c.c. ⋮ SPFA by finite conditions ⋮ Guessing models and the approachability ideal ⋮ A FORCING NOTION COLLAPSING $\aleph _3 $ AND PRESERVING ALL OTHER CARDINALS ⋮ FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION ⋮ Mitchell's theorem revisited ⋮ Adding a club with finite conditions. II ⋮ An inner model proof of the strong partition property for \(\delta_1^2\) ⋮ QUOTIENTS OF STRONGLY PROPER FORCINGS AND GUESSING MODELS ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ Prevalence of Generic Laver Diamond ⋮ Forcing consequences of $PFA$ together with the continuum large
Cites Work
- Unnamed Item
- Adding closed unbounded subsets of \(\omega_2\) with finite forcing
- The bounded proper forcing axiom and well orderings of the reals
- Forcing axioms and stationary sets
- BPFA and Inner Models(<Special Section>Mathematical Logic and Its Applications)
- The tree property at ℵω+1
- Thin stationary sets and disjoint club sequences
- ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS
- 𝐼[𝜔₂ can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)]
- Partition Problems in Topology
- Proper forcing remastered
This page was built for publication: Forcing with sequences of models of two types
