Low5 Boolean Subalgebras and Computable Copies

DOI10.2178/JSL/1309952534zbMATH Open1305.03035OpenAlexW2139486327MaRDI QIDQ3173541FDOQ3173541

Russell Miller

Publication date: 10 October 2011

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

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

zbMATH Keywords

Boolean algebrasubalgebrainterval algebraisomorphic copyTuring degree\(\text{low}_5\) Boolean subalgebraBoolean substructurecomputable copy, doubly densespectrum of a structure

Mathematics Subject Classification ID

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

Cited In (2)

• Low n Boolean Subalgebras
• Computable Boolean algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3173541)