Abstract We analyze the forcing notion 𝒫 of finite matrices whose rows consist of isomorphic countable elementary submodels of a given structure of the form 𝐻𝜃. We show that forcing with this poset ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results