Infinite Games, Inductive Definitions and Transfinite Recursion

DOI10.1142/9789811259296_0003OpenAlexW4283014297MaRDI QIDQ6135562

Keisuke Yoshii, Kazuyuki Tanaka

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)

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