Stationary reflection using ancestrally forced conditions

Inbar Oren

Stationary reflection using ancestrally forced conditions

Logic 2026-07-30 v1

Authors: Inbar Oren

Abstract

We introduce a new method for obtaining models of stationary reflection at the successor of a singular cardinal of any cofinality. In particular, starting from a cardinal $\kappa$ which is $\kappa^+$ -supercompact, we get a model of countable simultaneous reflection at $\aleph_{\omega_1+1}$ .

Cite

@article{arxiv.2607.28350,
  title  = {Stationary reflection using ancestrally forced conditions},
  author = {Inbar Oren},
  journal= {arXiv preprint arXiv:2607.28350},
  year   = {2026}
}