pith. sign in

arxiv: 1503.08352 · v2 · pith:XCVE6HERnew · submitted 2015-03-28 · 🧮 math.LO

Forcing with matrices of countable elementary submodels

classification 🧮 math.LO
keywords forcingmathcalmatricescountableelementarykurepasubmodelstree
0
0 comments X
read the original abstract

We analyze the forcing notion $\mathcal P$ of finite matrices whose rows consists of isomorphic countable elementary submodels of a given structure of the form $H_{\theta}$. We show that forcing with this poset adds a Kurepa tree $T$. Moreover, if $\mathcal P_c$ is a suborder of $\mathcal P$ 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 $\omega_1$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.