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
A universal embedding property of the RETs - MaRDI portal

A universal embedding property of the RETs

From MaRDI portal

Publication:5596233

Jump to:navigation, search

DOI10.2307/2271155zbMath0198.02504OpenAlexW4254757960MaRDI QIDQ5596233

Alfred B. Manaster

Publication date: 1970

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271155

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (1)

The undecidability of the lattice of r. e. closed subsets of an effective topological space

This page was built for publication: A universal embedding property of the RETs

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