Forcing with adequate sets of models as side conditions

DOI10.1002/malq.201400022zbMath1469.03144arXiv1406.3307OpenAlexW2963084451MaRDI QIDQ5108096

John Krueger

Publication date: 29 April 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (5)

Compactness versus hugeness at successor cardinals ⋮ The approachability ideal without a maximal set ⋮ MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES ⋮ Strongly adequate sets and adding a club with finite conditions ⋮ Adding a club with finite conditions. II

Cites Work

• Unnamed Item
• Unnamed Item
• More results in polychromatic Ramsey theory
• Adding closed unbounded subsets of \(\omega_2\) with finite forcing
• On strong chains of uncountable functions
• Forcing \(\square_{\omega_1}\) with finite conditions
• Adding a club with finite conditions. II
• Strongly adequate sets and adding a club with finite conditions
• Forcing with sequences of models of two types
• Thin stationary sets and disjoint club sequences
• 𝐼[𝜔₂ can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)]
• Proper forcing remastered
• Coherent adequate sets and forcing square
• Coherent adequate forcing and preserving CH

This page was built for publication: Forcing with adequate sets of models as side conditions