${\Sigma}^0_3$ determinacy and ${\mathbf{\Pi}}^1_2$ monotone induction
Logic
2015-09-09 v1
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) monotone induction.
Cite
@article{arxiv.1509.02446,
title = {${\Sigma}^0_3$ determinacy and ${\mathbf{\Pi}}^1_2$ monotone induction},
author = {Sherwood Hachtman},
journal= {arXiv preprint arXiv:1509.02446},
year = {2015}
}