Infinite games in the Cantor space and subsystems of second order arithmetic

DOI10.1002/malq.200610041zbMath1122.03058OpenAlexW2069699761MaRDI QIDQ5293192

Kazuyuki Tanaka, Medyahya Ould Medsalem, Takako Nemoto

Publication date: 26 June 2007

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200610041

zbMATH Keywords

reverse mathematicsdeterminacybinary games

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Determinacy principles (03E60)

Related Items (10)

Reverse Mathematics: The Playground of Logic ⋮ Open Questions in Reverse Mathematics ⋮ Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts ⋮ Infinite games specified by 2-tape automata ⋮ Weihrauch Degrees of Finding Equilibria in Sequential Games ⋮ Lipschitz and Wadge binary games in second order arithmetic ⋮ Complete Determinacy and Subsystems of Second Order Arithmetic ⋮ Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives ⋮ Determinacy of Wadge classes and subsystems of second order arithmetic ⋮ A Lipschitz determinacy principle equivalent to weak König lemma

Cites Work

• Weak systems of determinacy and arithmetical quasi-inductive definitions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Infinite games in the Cantor space and subsystems of second order arithmetic