English

Indestructible Guessing Models and the Continuum

Logic 2019-07-09 v3

Abstract

We introduce a stronger version of an ω1\omega_1-guessing model, which we call an indestructibly ω1\omega_1-guessing model. The principle IGMP states that there are stationarily many indestructibly ω1\omega_1-guessing models. This principle, which follows from PFA, captures many of the consequences of PFA, including the Suslin hypothesis and the singular cardinal hypothesis. We prove that IGMP is consistent with the continuum being arbitrarily large.

Keywords

Cite

@article{arxiv.1510.05297,
  title  = {Indestructible Guessing Models and the Continuum},
  author = {Sean Cox and John Krueger},
  journal= {arXiv preprint arXiv:1510.05297},
  year   = {2019}
}
R2 v1 2026-06-22T11:23:12.119Z