Infinite Games and Transfinite Recursion of Multiple Inductive Definitions

DOI10.1007/978-3-642-30870-3_38zbMath1358.03025OpenAlexW1809562114MaRDI QIDQ2904432

Keisuke Yoshii, Kazuyuki Tanaka

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_38

Mathematics Subject Classification ID

2-person games (91A05) Games involving topology, set theory, or logic (91A44) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Determinacy principles (03E60)

Related Items (1)

Determinacy and monotone inductive definitions

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