Forcing with matrices of countable elementary submodels

DOI10.1090/PROC/13133zbMATH Open1423.03190arXiv1503.08352OpenAlexW2964031620MaRDI QIDQ2964050FDOQ2964050

Authors: Boriša Kuzeljević, Stevo Todorčević 

Publication date: 22 February 2017

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

Abstract: We analyze the forcing notion $mathcalP$ of finite matrices whose rows consists of isomorphic countable elementary submodels of a given structure of the form $H_{heta}$. We show that forcing with this poset adds a Kurepa tree $T$. Moreover, if $mathcal{P}_c$ is a suborder of $mathcalP$ containing only continuous matrices, then the Kurepa tree $T$ is almost Souslin, i.e. the level set of any antichain in $T$ is not stationary in $omeg{a}_1$.

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

Recommendations

• Can a small forcing create Kurepa trees
• Almost Souslin Kurepa trees
• More on almost Souslin Kurepa trees
• The differences between Kurepa trees and Jech-Kunen trees
• Kurepa trees and Namba forcing

zbMATH Keywords

proper forcingside conditioncountable elementary submodel

Mathematics Subject Classification ID

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

Cites Work

• 𝐼[𝜔₂] can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)
• Proper and improper forcing.
• Title not available (Why is that?)
• Forcing with sequences of models of two types
• More forcing notions imply diamond
• Concerning the consistency of the Souslin hypothesis with the continuum hypothesis
• Forcing consequences of $PFA$ together with the continuum large
• Almost Souslin Kurepa trees
• A forcing notion collapsing \(\aleph _3 \) and preserving all other cardinals

Cited In (4)

• Adding highly generic subsets of \(\omega_2\)
• Title not available (Why is that?)
• Forcing with copies of countable ordinals
• Kurepa trees and Namba forcing

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2964050)