Determinacy of Wadge classes and subsystems of second order arithmetic

DOI10.1002/malq.200710081zbMath1172.03008OpenAlexW2047077113MaRDI QIDQ3619869

Takako Nemoto

Publication date: 9 April 2009

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710081

zbMATH Keywords

reverse mathematicsdeterminacyWadge reducibility

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Determinacy principles (03E60)

Related Items

Open Questions in Reverse Mathematics, Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts, 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, Weihrauch Degrees of Finding Equilibria in Sequential Games, A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC, Lipschitz and Wadge binary games in second order arithmetic, Complete Determinacy and Subsystems of Second Order Arithmetic, Necessary use of induction in a reversal, Full and hat inductive definitions are equivalent in NBG, TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES, Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives, A Lipschitz determinacy principle equivalent to weak König lemma, FINITIST AXIOMATIC TRUTH

Cites Work

• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• Infinite games in the Cantor space and subsystems of second order arithmetic
• Unnamed Item
• Unnamed Item