The determinacy strength of \(\Pi_2^1\)-comprehension

DOI10.1016/J.APAL.2010.04.012zbMath1226.03024OpenAlexW121819503MaRDI QIDQ636381

Michael Möllerfeld, Christoph Heinatsch

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.04.012

zbMATH Keywords

reverse mathematicsdeterminacysecond-order arithmetic

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 (1)

A fixed point theory over stratified truth

Cites Work

• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• Descriptive set theory
• Δ₃^O-determinacy, comprehension and induction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The determinacy strength of \(\Pi_2^1\)-comprehension