Some combinatorial principles defined in terms of elementary submodels
Some combinatorial principles defined in terms of elementary submodels
We give an equivalent, but simpler formulation of the axiom SEP, which was introduced in [9] in order to capture some of the combinatorial behaviour of models of set theory obtained by adding Cohen reals to a model of CH. Our formulation shows that many o