Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis - MaRDI portal

The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis

From MaRDI portal

Publication:6341921

Jump to:navigation, search

DOI10.1093/LOGCOM/EXAA080zbMath1509.03037arXiv2006.01614WikidataQ114009717 ScholiaQ114009717MaRDI QIDQ6341921

Dag Normann, Sam Sanders

Publication date: 30 May 2020

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6341921&oldid=35952912"