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 that (under precipitous + existence of H_{\theta}^# for a sufficiently large regular ) increases the second uniform indiscernible beyond some given ordinal . The forcing 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 and the catching-capturing games . In particular, these games are used to isolate a special family of countable elementary submodels that occur as side conditions in and thus allow to control the forcing in a strong way.
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