Strongly adequate sets and adding a club with finite conditions
From MaRDI portal
Publication:2436611
DOI10.1007/s00153-013-0358-3zbMath1325.03061MaRDI QIDQ2436611
Publication date: 25 February 2014
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-013-0358-3
03E35: Consistency and independence results
03E40: Other aspects of forcing and Boolean-valued models
Related Items
MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES, Forcing with adequate sets of models as side conditions, Mitchell's theorem revisited, Adding a club with finite conditions. II
Cites Work
- Unnamed Item
- Forcing with sequences of models of two types
- πΌ[πβ can be the nonstationary ideal on πΆππ(πβ)]
- Forcing with adequate sets of models as side conditions