English

Selective Independence and $h$-Perfect Tree Forcing Notions

Logic 2022-02-25 v1

Abstract

Generalizing the proof for Sacks forcing, we show that the hh-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 i=u<non(N)=cof(N)\mathfrak{i} = \mathfrak{u} < \mathrm{non} (\mathcal N) = \mathrm{cof} (\mathcal N) and i<u=non(N)=cof(N)\mathfrak{i} < \mathfrak{u} = \mathrm{non} (\mathcal N) = \mathrm{cof}( \mathcal N) as well as some related results.

Keywords

Cite

@article{arxiv.2202.12046,
  title  = {Selective Independence and $h$-Perfect Tree Forcing Notions},
  author = {Corey Bacal Switzer},
  journal= {arXiv preprint arXiv:2202.12046},
  year   = {2022}
}

Comments

11 pages, intended for publication in the RIMS Set Theory 2021 Workshop Kokyuroku

R2 v1 2026-06-24T09:52:24.256Z