A Survey of Determinacy of Infinite Games in Second Order Arithmetic

DOI10.4288/JAFPOS.25.0_35MaRDI QIDQ5881256zbMATH OpenOpenAlexWikidataFDO

Authors 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) Determinacy principles (03E60) Inductive definability (03D70)

Recommendations

• Random matrices and controllability of dynamical systems
• On a Conjecture of Godsil Concerning Controllable Random Graphs
• Eigenvectors and controllability of non-Hermitian random matrices and directed graphs
• The robust minimal controllability problem
• scientific article; zbMATH DE number 2173942

Cited in

(10)

• A Lipschitz determinacy principle equivalent to weak König lemma
• Finite high-order games and an inductive approach towards Gowers's dichotomy
• Eigenvectors and controllability of non-Hermitian random matrices and directed graphs
• The notion of almost zeros and randomness
• Random matrices and controllability of dynamical systems
• Determinacy in second order arithmetic
• Reachability of random linear systems over finite fields
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• Determinacy and monotone inductive definitions
• Half-Positional Determinacy of Infinite Games

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

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