Weak systems of determinacy and arithmetical quasi-inductive definitions
| dc.creator | Welch, P. D. | |
| dc.date | 2009-05-26 | |
| dc.date.accessioned | 2026-07-07T13:18:35Z | |
| dc.date.available | 2026-07-07T13:18:35Z | |
| dc.description | We locate winning strategies for various Sigma^0_3-games in the L-hierarchy in order to prove that Sigma^0_3 Determinacy is intermediate between Pi^1_3-CA_0 (even Pi^1_2-CA_0 (lightface) with Pi^1_3-lightface definable parameters allowed) and Delta^1_3-CA_0 + AQI. (Here "AQI" is the statement in second order number theory that every arithmeical quasi-inductive definition on any input stabilizes). | |
| dc.description | submitted; this is a revised version of an unsubmitted July 2003 preprint, now with a minimally improved upper bound | |
| dc.identifier | https://arxiv.org/abs/0905.4412 | |
| dc.identifier | http://arxiv.org/abs/0905.4412 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/231472 | |
| dc.subject | Logic | |
| dc.subject | 03E45 03F45 03E60 03E15 | |
| dc.title | Weak systems of determinacy and arithmetical quasi-inductive definitions | |
| dc.type | text |