Infinite Games, Inductive Definitions and Transfinite Recursion

DOI10.1142/9789811259296_0003MaRDI QIDQ6135562zbMATH OpenOpenAlexFDO

Authors Kazuyuki Tanaka, Keisuke Yoshii

Publication date 25 August 2023

Published in Computability Theory and Foundations of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789811259296_0003

zbMATH Keywords

reverse mathematicsGale-Stewart gamesinductive definitionstransfinite recursion

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Recommendations

• Infinite games and transfinite recursion of multiple inductive definitions
• scientific article; zbMATH DE number 5954365
• The problem of determinacy of infinite games from an intuitionistic point of view
• Game-theoretic inductive definability
• scientific article; zbMATH DE number 1903345
• Nondeterminacy and recursion via stacks and games
• Infinite games on finite sets
• scientific article; zbMATH DE number 1163933
• Games and Definability For FPC

Cited in

(6)

• Nondeterminacy and recursion via stacks and games
• scientific article; zbMATH DE number 4039871 (Why is no real title available?)
• Definable sets of real numbers, infinite games and core model theory
• scientific article; zbMATH DE number 5954365 (Why is no real title available?)
• Infinite games in the Cantor space and subsystems of second order arithmetic
• Comparing inductive and circular definitions: Parameters, complexity and games

This page was built for publication: Infinite Games, Inductive Definitions and Transfinite Recursion

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