Abstract

In this paper, assuming large cardinals, we prove the consistency of the following: Let n ∈ ω and k1, k2 ≤ n. Let f: ω → {k1, k2} be such that for all $n_1 n, cf(\mathscr{B} \cap \omega_m) = \omega_{f(m)}$.