Low₅ Boolean subalgebras and computable copies

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

Authors 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)

Recommendations

• Low n Boolean Subalgebras
• Computable Boolean algebras
• On the triple jump of the set of atoms of a Boolean algebra
• The degree spectra of definable relations on Boolean algebras
• Boolean algebra approximations

Cited in

(5)

• Computable Boolean algebras
• Boolean algebra approximations
• Low n Boolean Subalgebras
• The degree spectra of definable relations on Boolean algebras
• On the triple jump of the set of atoms of a Boolean algebra

This page was built for publication: \(\text{Low}_5\) 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)