Sciweavers

70
Voted
JSYML
2011

Weak systems of determinacy and arithmetical quasi-inductive definitions

14 years 11 days 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)