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
Recursion-Theoretic Hierarchies - MaRDI portal

Recursion-Theoretic Hierarchies

From MaRDI portal

Publication:5273440

Jump to:navigation, search

DOI10.1017/9781316717110zbMath1365.03009OpenAlexW4230702118MaRDI QIDQ5273440

Peter G. Hinman

Publication date: 6 July 2017

Full work available at URL: https://semanticscholar.org/paper/045213c838bc794d3b249fc08c42d2a4659adc36

Mathematics Subject Classification ID

Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65) Hierarchies of computability and definability (03D55)

Related Items (1)

Infinitary action logic with exponentiation

This page was built for publication: Recursion-Theoretic Hierarchies

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