Complete Determinacy and Subsystems of Second Order Arithmetic

DOI10.1007/978-3-540-69407-6_49MaRDI QIDQ3507462zbMATH OpenOpenAlexFDO

Authors Takako Nemoto

Publication date 19 June 2008

Published in Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69407-6_49

zbMATH Keywords

complete determinacydeterminacyinfinite gamereverse mathematicssecond-order arithmeticWadge class

Mathematics Subject Classification ID

Determinacy principles (03E60) Second- and higher-order arithmetic and fragments (03F35) Games involving topology, set theory, or logic (91A44)

Recommendations

• Infinite games in the Cantor space and subsystems of second order arithmetic
• The determinacy strength of \(\Pi_2^1\)-comprehension
• Determinacy in second order arithmetic
• Determinacy of Wadge classes and subsystems of second order arithmetic
• Infinite games and transfinite recursion of multiple inductive definitions

Cites work

• Determinacy of Wadge classes and subsystems of second order arithmetic
• scientific article; zbMATH DE number 3849219 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
• Infinite games in the Cantor space and subsystems of second order arithmetic
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• Weak determinacy and iterations of inductive definitions
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• Δ₃^O-determinacy, comprehension and induction

Cited in

(7)

• Borel quasi-orderings in subsystems of second-order arithmetic
• Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts
• Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives
• Fundamental notions of analysis in subsystems of second-order arithmetic
• Determinacy in second order arithmetic
• Infinite games in the Cantor space and subsystems of second order arithmetic
• The determinacy strength of \(\Pi_2^1\)-comprehension

This page was built for publication: Complete Determinacy and Subsystems of Second Order Arithmetic

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