The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis
From MaRDI portal
Publication:6341921
DOI10.1093/LOGCOM/EXAA080zbMath1509.03037arXiv2006.01614WikidataQ114009717 ScholiaQ114009717MaRDI QIDQ6341921
Publication date: 30 May 2020
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Axiom of choice and related propositions (03E25) Higher-type and set recursion theory (03D65)
This page was built for publication: The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis