Infinite Games, Inductive Definitions and Transfinite Recursion

DOI10.1142/9789811259296_0003OpenAlexW4283014297MaRDI QIDQ6135562FDOQ6135562

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

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

zbMATH Keywords

reverse mathematicsGale-Stewart gamesinductive definitionstransfinite recursion

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Cited In (6)

• Title not available (Why is that?)
• Nondeterminacy and recursion via stacks and games
• Definable sets of real numbers, infinite games and core model theory
• Title not available (Why is that?)
• 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)