Title of article :
The determinacy strength of -comprehension
Author/Authors :
Heinatsch، نويسنده , , Christoph and Mِllerfeld، نويسنده , , Michael، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
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
Journal title :
Annals of Pure and Applied Logic
