pith. sign in

arxiv: 1806.11180 · v1 · pith:7NBCEWUVnew · submitted 2018-06-28 · 🧮 math.LO

Open class determinacy is preserved by forcing

classification 🧮 math.LO
keywords classforcingpreservedwell-orderopenpre-tameprincipledeterminacy
0
0 comments X
read the original 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 $\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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.