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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback