A Survey of Determinacy of Infinite Games in Second Order Arithmetic

DOI10.4288/jafpos.25.0_35zbMath1506.03125OpenAlexW2752995178WikidataQ120778309 ScholiaQ120778309MaRDI QIDQ5881256

Keisuke Yoshii

Publication date: 9 March 2023

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos.25.0_35

zbMATH Keywords

inductive definitionsweak determinacy

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Inductive definability (03D70) Determinacy principles (03E60)

Related Items (2)

Determinacy and monotone inductive definitions ⋮ A Lipschitz determinacy principle equivalent to weak König lemma

This page was built for publication: A Survey of Determinacy of Infinite Games in Second Order Arithmetic