This monthly journal, begun in 1950, is devoted entirely to research in pure and applied mathematics, principally to the publication of original papers of moderate length. A section called Shorter ...

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 ...