Date/Time:08 May 2019 17:00Venue: S17 #04-06 SR1Speaker: Borisa Kuzeljevic, University of Novi SadMatrices of countable elementary submodelsWe present an application of the forcing notion of finite matrices whose rows consist of isomorphic countable elementary submodels of a given structure of the form $H_{\theta}$. We will explain how forcing with this poset adds a Kurepa tree. If a minor modification of the poset is considered, then the tree added is actually an almost Souslin Kurepa tree. This is a joint work with Stevo Todorcevic.Add to calendar:
