Title of article
The determinacy strength of -comprehension
Author/Authors
Heinatsch، نويسنده , , Christoph and Mِllerfeld، نويسنده , , Michael، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2010
Pages
9
From page
1462
To page
1470
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 Π 2 1 -comprehension.
Keywords
second-order arithmetic , Reverse Mathematics , Determinacy
Journal title
Annals of Pure and Applied Logic
Serial Year
2010
Journal title
Annals of Pure and Applied Logic
Record number
1444492
Link To Document