{Sigma}⁰₃ determinacy and {Pi}¹₂ monotone induction
classification
🧮 math.LO
keywords
determinacyinductionmathbfmonotonesigmaaxiomboldfacebuilding
read the original abstract
Building on recent work of Philip Welch, we prove that (lightface) $\Sigma^0_3$ determinacy is equivalent to the existence of a wellfounded model satisfying the axiom scheme of (boldface) $\mathbf{\Pi}^1_2$ monotone induction.
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.