English

Open class determinacy is preserved by forcing

Logic 2018-07-02 v1

Abstract

The principle of open class determinacy is preserved by pre-tame class forcing, and after such forcing, every new class well-order is isomorphic to a ground-model class well-order. Similarly, the principle of elementary transfinite recursion ETRΓ\text{ETR}_\Gamma for a fixed class well-order Γ\Gamma is preserved by pre-tame class forcing. The full principle ETR itself is preserved by countably strategically closed pre-tame class forcing, and after such forcing, every new class well-order is isomorphic to a ground-model class well-order. Meanwhile, it remains open whether ETR is preserved by all forcing, including the forcing merely to add a Cohen real.

Keywords

Cite

@article{arxiv.1806.11180,
  title  = {Open class determinacy is preserved by forcing},
  author = {Joel David Hamkins and W. Hugh Woodin},
  journal= {arXiv preprint arXiv:1806.11180},
  year   = {2018}
}

Comments

14 pages. Questions and commentary can be posted at http://jdh.hamkins.org/open-class-determinacy-preserved-by-forcing

R2 v1 2026-06-23T02:45:25.537Z