A Survey of Determinacy of Infinite Games in Second Order Arithmetic

DOI10.4288/JAFPOS.25.0_35zbMATH Open1506.03125OpenAlexW2752995178WikidataQ120778309 ScholiaQ120778309MaRDI QIDQ5881256FDOQ5881256

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

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

zbMATH Keywords

inductive definitionsweak determinacy

Mathematics Subject Classification ID

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

Cited In (10)

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

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)