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

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

Cited In (3)

• Dense subtrees in complete Boolean algebras
• Pseudo-trees and Boolean algebras
• 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)