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

DOI10.1002/MALQ.200610041zbMATH Open1122.03058OpenAlexW2069699761MaRDI QIDQ5293192FDOQ5293192

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• Weak determinacy and iterations of inductive definitions

Cited In (13)

• Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts
• Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives
• 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
• Reverse Mathematics: The Playground of Logic
• Open Questions in Reverse Mathematics
• Infinite games specified by 2-tape automata
• Δ₃^O-determinacy, comprehension and induction
• Filters on computable posets
• Lipschitz and Wadge binary games in second order arithmetic
• Weihrauch Degrees of Finding Equilibria in Sequential Games
• 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)