Boolean algebras with distinguished endomorphisms and generating trees
From MaRDI portal
Publication:5741387
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
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)
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)