Forcing with matrices of countable elementary submodels

DOI10.1090/PROC/13133zbMath1423.03190arXiv1503.08352OpenAlexW2964031620MaRDI QIDQ2964050

Stevo Todorčević, Boriša Kuzeljević

Publication date: 22 February 2017

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

proper forcingside conditioncountable elementary submodel

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• More forcing notions imply diamond
• Forcing with sequences of models of two types
• 𝐼[𝜔₂ can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)]
• Concerning the consistency of the Souslin hypothesis with the continuum hypothesis
• A FORCING NOTION COLLAPSING $\aleph _3 $ AND PRESERVING ALL OTHER CARDINALS
• Almost Souslin Kurepa trees
• Forcing consequences of $PFA$ together with the continuum large
• Proper and Improper Forcing

This page was built for publication: Forcing with matrices of countable elementary submodels