Sciweavers

JSYML
2011

Weak systems of determinacy and arithmetical quasi-inductive definitions

13 years 3 months ago
Weak systems of determinacy and arithmetical quasi-inductive definitions
We locate winning strategies for various Σ0 3-games in the L-hierarchy in order to prove the following:
Philip D. Welch
Added 16 Sep 2011
Updated 16 Sep 2011
Type Journal
Year 2011
Where JSYML
Authors Philip D. Welch
Comments (0)