Autostable I-Algebras
From MaRDI portal
Publication:5476773
DOI10.1023/B:ALLO.0000044278.96526.5dzbMath1096.03042OpenAlexW1992562348MaRDI QIDQ5476773
Publication date: 18 July 2006
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:allo.0000044278.96526.5d
Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Computable structure theory, computable model theory (03C57)
Related Items
Autostable atomic-ideal enrichments of computable Boolean algebras, Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism, The branching theorem and computable categoricity in the Ershov hierarchy, Computable ideals in \(I\)-algebras, Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals, 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms, Ash's theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension, Computably categorical Boolean algebras enriched by ideals and atoms