Determinacy in second order arithmetic

MaRDI QIDQ3509078zbMATH OpenFDO

Authors Christoph Heinatsch, Michael Möllerfeld

Publication date 1 July 2008

zbMATH Keywords

\(\mu\)-calculusdeterminacyinfinite gamesreverse mathematicssecond-order arithmeticsurvey

Mathematics Subject Classification ID

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

Recommendations

• The determinacy strength of \(\Pi_2^1\)-comprehension
• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• Complete Determinacy and Subsystems of Second Order Arithmetic
• A Survey of Determinacy of Infinite Games in Second Order Arithmetic
• The limits of determinacy in second-order arithmetic

Cited in

(6)

• Complete Determinacy and Subsystems of Second Order Arithmetic
• scientific article; zbMATH DE number 5722370 (Why is no real title available?)
• Second Order Definability Via enumerations
• scientific article; zbMATH DE number 6983478 (Why is no real title available?)
• The maximal linear extension theorem in second order arithmetic
• The determinacy strength of \(\Pi_2^1\)-comprehension

This page was built for publication: Determinacy in second order arithmetic

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