Two applications of finite side conditions at \(\omega _2\)

DOI10.1007/s00153-017-0550-yzbMath1417.03264OpenAlexW2619700855MaRDI QIDQ2408082

Itay Neeman

Publication date: 9 October 2017

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

Full work available at URL: https://doi.org/10.1007/s00153-017-0550-y

zbMATH Keywords

forcingsquaretreesfinite conditionsspecializing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other combinatorial set theory (03E05)

Related Items (6)

The approachability ideal without a maximal set ⋮ SPECIALISING TREES WITH SMALL APPROXIMATIONS I ⋮ Fresh subsets of ultrapowers ⋮ A FORCING NOTION COLLAPSING $\aleph _3 $ AND PRESERVING ALL OTHER CARDINALS ⋮ Forcing the mapping reflection principle by finite approximations ⋮ Square principles with tail-end agreement

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adding closed unbounded subsets of \(\omega_2\) with finite forcing
• A generalization of Martin's axiom
• Partition relations for partially ordered sets
• Remarks on superatomic Boolean algebras
• Combinatorial problems on trees: partitions, \(\Delta\)-systems and large free subtrees
• Proper forcing
• On strong chains of uncountable functions
• Forcing \(\square_{\omega_1}\) with finite conditions
• Chang's conjecture and weak square
• Forcing with sequences of models of two types
• BPFA and Inner Models(<Special Section>Mathematical Logic and Its Applications)
• Weakly Compact Cardinals and Nonspecial Aronszajn Trees
• Thin stationary sets and disjoint club sequences
• 𝐼[𝜔₂ can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)]
• Directed Sets and Cofinal Types
• Special Square Sequences
• Souslin trees which are hard to specialise
• Forcing consequences of $PFA$ together with the continuum large
• Proper forcing remastered
• Coherent adequate sets and forcing square
• Coherent adequate forcing and preserving CH

This page was built for publication: Two applications of finite side conditions at \(\omega _2\)