scientific article
From MaRDI portal
Publication:2898974
zbMath1249.03064MaRDI QIDQ2898974
Publication date: 13 July 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Computable structure theory, computable model theory (03C57)
Related Items (5)
Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism ⋮ The branching theorem and computable categoricity in the Ershov hierarchy ⋮ Computable numberings of the class of Boolean algebras with distinguished endomorphisms ⋮ Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism ⋮ 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms
This page was built for publication:
