English

The Harrington-Shelah Model with Large Continuum

Logic 2019-07-23 v2

Abstract

We prove from the existence of a Mahlo cardinal the consistency of the statement that 2ω=ω32^\omega = \omega_3 holds and every stationary subset of ω2cof(ω)\omega_2 \cap \mathrm{cof}(\omega) reflects to an ordinal less than ω2\omega_2 with cofinality ω1\omega_1.

Cite

@article{arxiv.1801.00529,
  title  = {The Harrington-Shelah Model with Large Continuum},
  author = {Thomas Gilton and John Krueger},
  journal= {arXiv preprint arXiv:1801.00529},
  year   = {2019}
}
R2 v1 2026-06-22T23:34:01.065Z