Autostable I-Algebras

DOI10.1023/B:ALLO.0000044278.96526.5dzbMath1096.03042OpenAlexW1992562348MaRDI QIDQ5476773

P. E. Alaev

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

zbMATH Keywords

computable isomorphismautostable modeldistinguished idealcomputable Boolean algebras

Mathematics Subject Classification ID

Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Computable structure theory, computable model theory (03C57)

Related Items (8)

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

This page was built for publication: Autostable I-Algebras