| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662660 | Annals of Pure and Applied Logic | 2010 | 9 Pages |
Abstract
Determinacy axioms state the existence of winning strategies for infinite games played by two players on natural numbers. We show that a base theory enriched by a certain scheme of determinacy axioms is proof-theoretically equivalent to -comprehension.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
