Forcing with matrices of countable elementary submodels

Borisa Kuzeljevic, Stevo Todorcevic

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…