English

A note on the eightfold way

Logic 2019-07-23 v2

Abstract

Assuming the existence of a Mahlo cardinal, we construct a model in which there exists an ω2\omega_2-Aronszajn tree, the ω1\omega_1-approachability property fails, and every stationary subset of ω2cof(ω)\omega_2 \cap \mathrm{cof}(\omega) reflects.

Cite

@article{arxiv.1901.02940,
  title  = {A note on the eightfold way},
  author = {Thomas Gilton and John Krueger},
  journal= {arXiv preprint arXiv:1901.02940},
  year   = {2019}
}
R2 v1 2026-06-23T07:07:32.769Z