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
Rice Theorems For D.R.E. Sets - MaRDI portal

Rice Theorems For D.R.E. Sets

From MaRDI portal

Publication:4067081

Jump to:navigation, search

DOI10.4153/CJM-1975-043-4zbMath0309.02040MaRDI QIDQ4067081

Publication date: 1975

Published in: Canadian Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items (6)

Program Size Complexity of Correction Grammars in the Ershov Hierarchy ⋮ Index sets in the arithmetical hierarchy ⋮ Completeness in the arithmetical hierarchy and fixed points ⋮ Precomplete numberings ⋮ Classifications of generalized index sets of open classes ⋮ Rice and Rice-Shapiro Theorems for transfinite correction grammars

This page was built for publication: Rice Theorems For D.R.E. Sets

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