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
On proofs of properties of semirecursive sets - MaRDI portal

On proofs of properties of semirecursive sets

From MaRDI portal

Publication:6145398

Jump to:navigation, search

DOI10.1007/s10958-023-06759-6OpenAlexW4388230883MaRDI QIDQ6145398

I. L. Timofeeva

Publication date: 2 February 2024

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-023-06759-6

zbMATH Keywords

recursively enumerable set recursive function semirecursive set Kleene predicate partially recursive function semicharacteristic function

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Cites Work

This page was built for publication: On proofs of properties of semirecursive sets

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