TY  - RPRT
TI  - $Σ^0_3$ determinacy and ${\mathbfΠ}^1_2$ monotone induction
AU  - Sherwood Hachtman
PY  - 2015
UR  - https://arxiv.org/abs/1509.02446
ID  - 1509.02446
ER  -