加载中…
Generalizing the proof for Sacks forcing, we show that the -perfect tree forcing notions introduced by Goldstern, Judah and Shelah preserve selective independent families even when iterated. As a result we obtain new proofs of the consistency of $\mathfrak{i} = \mathfrak{u} < (\mathcal N) = (\mathcal N)\mathfrak{i} < \mathfrak{u} = (\mathcal N) = ( \mathcal N)$ as well as some related results.

生成讲解博客的中文版本

生成AI智能校验的中文版本