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

DOI10.1002/MALQ.200610041MaRDI QIDQ5293192zbMATH OpenOpenAlexFDO

Authors Takako Nemoto, Medyahya Ould Medsalem, Kazuyuki Tanaka

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

determinacyreverse mathematicsbinary games

Mathematics Subject Classification ID

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

Recommendations

• Δ₃^O-determinacy, comprehension and induction
• Determinacy of Wadge classes and subsystems of second order arithmetic
• Complete Determinacy and Subsystems of Second Order Arithmetic
• scientific article; zbMATH DE number 2019844
• Open questions in reverse mathematics
• scientific article; zbMATH DE number 2236635
• Invariants, Boolean algebras and ACA₀⁺
• Infinite games and transfinite recursion of multiple inductive definitions
• scientific article; zbMATH DE number 1531925
• Infinite Games, Inductive Definitions and Transfinite Recursion

Cites work

• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• Weak determinacy and iterations of inductive definitions
• Weak systems of determinacy and arithmetical quasi-inductive definitions

Cited in

(15)

• Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts
• Infinite games and transfinite recursion of multiple inductive definitions
• Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives
• Reverse mathematics: the playground of logic
• Open questions in reverse mathematics
• Complete Determinacy and Subsystems of Second Order Arithmetic
• The problem of determinacy of infinite games from an intuitionistic point of view
• Determinacy of Wadge classes and subsystems of second order arithmetic
• Weihrauch degrees of finding equilibria in sequential games
• Infinite games specified by 2-tape automata
• The limits of determinacy in second order arithmetic: consistency and complexity strength
• Δ₃^O-determinacy, comprehension and induction
• Filters on computable posets
• Lipschitz and Wadge binary games in second order arithmetic
• A Lipschitz determinacy principle equivalent to weak König lemma

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5293192)