Boolean algebras with distinguished endomorphisms and generating trees

DOI10.1007/S10958-016-2851-9zbMATH Open1349.03034OpenAlexW2343608417MaRDI QIDQ5741387FDOQ5741387

Authors: Nikolay Bazhenov 

Publication date: 22 July 2016

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

Full work available at URL: https://doi.org/10.1007/s10958-016-2851-9

Recommendations

• Computable numberings of the class of Boolean algebras with distinguished endomorphisms
• Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism
• The degree spectra of definable relations on Boolean algebras
• Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
• Boolean algebras of elementary characteristic \((1, 0, 1)\) with computable set of atoms and computable ideal of atomic elements

zbMATH Keywords

Boolean algebracomputable dimensiondegree spectrumBoolean algebra with distinguished endomorphisms

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Structure theory of Boolean algebras (06E05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Almost computably enumerable families of sets
• Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism
• Computable isomorphisms of Boolean algebras with operators
• Computable numberings of the class of Boolean algebras with distinguished endomorphisms
• Computable single-valued numerations
• Computable structures and the hyperarithmetical hierarchy
• Constructivizability of superatomic Boolean algebras
• Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
• Degrees coded in jumps of orderings
• Enumerations in computable structure theory
• Enumerations, countable structures and Turing degrees
• Problem of the number of non-self-equivalent constructivizations
• Relative to any nonrecursive set
• Spectra of degrees of some structures
• The degree spectra of definable relations on Boolean algebras

Cited In (4)

• Dense subtrees in complete Boolean algebras
• Pseudo-trees and Boolean algebras
• Computable numberings of the class of Boolean algebras with distinguished endomorphisms
• Title not available (Why is that?)

This page was built for publication: Boolean algebras with distinguished endomorphisms and generating trees

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