Forcing with matrices of countable elementary submodels

DOI10.1090/PROC/13133MaRDI QIDQ2964050zbMATHOpenAlexFDO

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)

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

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)

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$.

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

Cites work

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

Cited in

(5)

• Can a small forcing create Kurepa trees
• Kurepa trees and Namba forcing
• Forcing with copies of countable ordinals
• scientific article; zbMATH DE number 7731167 (Why is no real title available?)
• Adding highly generic subsets of \(\omega_2\)

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)