Forcing with matrices of countable elementary submodels
Logic
2015-08-18 v2
Abstract
We analyze the forcing notion of finite matrices whose rows consists of isomorphic countable elementary submodels of a given structure of the form . We show that forcing with this poset adds a Kurepa tree . Moreover, if is a suborder of containing only continuous matrices, then the Kurepa tree is almost Souslin, i.e. the level set of any antichain in is not stationary in .
Cite
@article{arxiv.1503.08352,
title = {Forcing with matrices of countable elementary submodels},
author = {Borisa Kuzeljevic and Stevo Todorcevic},
journal= {arXiv preprint arXiv:1503.08352},
year = {2015}
}