$Σ^0_3$ determinacy and ${\mathbfΠ}^1_2$ monotone induction
Year: 2015
Type: preprint
Abstract: Building on recent work of Philip Welch, we prove that (lightface) $Σ^0_3$ determinacy is equivalent to the existence of a wellfounded model satisfying the axiom scheme of (boldface) $\mathbfΠ^1_2$ monotone induction.
Source: arXiv (Cornell University)
Author: Hachtman, Sherwood
Institution: University of Illinois Chicago
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4301850485