The determinacy strength of Pi(1)(2)-comprehension

作者：Heinatsch Christoph^*; Moellerfeld Michael

来源：Annals of Pure and Applied Logic, 2010, 161(12): 1462-1470.

DOI：10.1016/j.apal.2010.04.012

• Reverse mathematics
• Determinacy
• Second-order arithmetic

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 Pi(1)(2)-comprehension.

• 出版日期2010-9