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
Low5 Boolean Subalgebras and Computable Copies - MaRDI portal

Low₅ Boolean Subalgebras and Computable Copies

From MaRDI portal

Publication:3173541

Jump to:navigation, search

DOI10.2178/jsl/1309952534zbMath1305.03035OpenAlexW2139486327MaRDI QIDQ3173541

Russell G. Miller

Publication date: 10 October 2011

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

Full work available at URL: https://doi.org/10.2178/jsl/1309952534

zbMATH Keywords

Boolean algebra interval algebra subalgebra isomorphic copy Turing degree \(\text{low}_5\) Boolean subalgebra Boolean substructure computable copy, doubly dense spectrum of a structure

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

This page was built for publication: Low₅ Boolean Subalgebras and Computable Copies

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