Σ⁰₃ determinacy and \mathbfΠ¹₂ monotone induction

2015/09/08 by Hachtman, Sherwood
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1509.02446

Abstract

Building on recent work of Philip Welch, we prove that (lightface) Σ⁰₃ determinacy is equivalent to the existence of a wellfounded model satisfying the axiom scheme of (boldface) \mathbfΠ¹₂ monotone induction.

Related

• A model with fragments of projective determinacy and failures of DC
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• Definability over \mathrm BΣ⁰₂-models
• On principles between Σ₁- and Σ₂-induction, and monotone enumerations
• Combinatorial principles equivalent to weak induction