Abstract

We prove that WRP and saturation of the ideal NSω1together imply$\left\{ {a \in [\lambda ]^{\omega _1 } :{\text{cof}}\left( {{\text{sup}}\left( a \right)} \right) = \omega _1 } \right\}$, for every cardinalλwith cof(λ)≥ω2.