The strength of Turing determinacy within second order arithmetic

DOI10.4064/FM27-12-2015zbMath1396.03112OpenAlexW2364246192MaRDI QIDQ2787126

Richard A. Shore, Antonio Montalbán

Publication date: 24 February 2016

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/fm27-12-2015

zbMATH Keywords

reverse mathematicsTuring determinacy

Mathematics Subject Classification ID

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

Related Items (1)

Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem

This page was built for publication: The strength of Turing determinacy within second order arithmetic