English

Increasing the second uniform indiscernible by strongly ssp forcing

Logic 2024-02-13 v2

Abstract

We introduce a new and natural stationary set preserving forcing Pcc(λ,μ)\mathbb P^{c-c}({\lambda},{\mu}) that (under NSω1\mathsf{NS}_{\omega_1} precipitous + existence of H_{\theta}^# for a sufficiently large regular θ{\theta}) increases the second uniform indiscernible u2\mathbf{u}_2 beyond some given ordinal λ{\lambda}. The forcing Pcc\mathbb P^{c-c} shares this property with forcings defined in [2] and [9]. As a main tool we use certain natural open two player games which are of independent interest, viz. the capturing games GMcap(X)\mathbf{G}_M^{cap}(X) and the catching-capturing games GMcc(X)\mathbf{G}_M^{c-c}(X). In particular, these games are used to isolate a special family of countable elementary submodels MHθM \prec H_{\theta} that occur as side conditions in Pcc\mathbb P^{c-c} and thus allow to control the forcing in a strong way.

Keywords

Cite

@article{arxiv.2212.13797,
  title  = {Increasing the second uniform indiscernible by strongly ssp forcing},
  author = {Ben De Bondt and Boban Velickovic},
  journal= {arXiv preprint arXiv:2212.13797},
  year   = {2024}
}

Comments

Minor changes and corrections

R2 v1 2026-06-28T07:54:46.133Z