Determinacy of Wadge classes and subsystems of second order arithmetic
From MaRDI portal
Publication:3619869
DOI10.1002/malq.200710081zbMath1172.03008OpenAlexW2047077113MaRDI QIDQ3619869
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
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