Autostable I-Algebras

DOI10.1023/B:ALLO.0000044278.96526.5DMaRDI QIDQ5476773zbMATH OpenOpenAlexFDO

Authors 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

autostable modelcomputable Boolean algebrascomputable isomorphismdistinguished ideal

Mathematics Subject Classification ID

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

Recommendations

• Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
• Degrees of autostability for prime Boolean algebras
• Autostable atomic-ideal enrichments of computable Boolean algebras
• Countably categorical and autostable Boolean algebras with distinguished ideals
• Autostable Boolean algebras with distinguished ideals

Cited in

(10)

• Degrees of autostability for prime Boolean algebras
• Autostable Boolean algebras with distinguished ideals
• Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism
• 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
• Autostable atomic-ideal enrichments of computable Boolean algebras
• Computable ideals in \(I\)-algebras
• Computably categorical Boolean algebras enriched by ideals and atoms
• The branching theorem and computable categoricity in the Ershov hierarchy

This page was built for publication: Autostable I-Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5476773)