Autostable atomic-ideal enrichments of computable Boolean algebras

DOI10.1134/S1064562410040071MaRDI QIDQ600736zbMATH OpenOpenAlexFDO

Authors P. E. Alaev

Publication date 1 November 2010

Published in Doklady Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1064562410040071

zbMATH Keywords

autostable Boolean algebrascomputably categorical Boolean algebras

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Recommendations

• Computably categorical Boolean algebras enriched by ideals and atoms
• Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
• Autostable I-Algebras
• Countably categorical and autostable Boolean algebras with distinguished ideals
• Autostable Boolean algebras with distinguished ideals

Cites work

• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• Autostability of Boolean algebras with distinguished ideal
• Autostability of models
• Autostable I-Algebras
• Recursive isomorphism types of recursive Boolean algebras

Cited in

(6)

• Autostable I-Algebras
• Enrichments of Boolean algebras by Presburger predicates
• scientific article; zbMATH DE number 4193662 (Why is no real title available?)
• Autostable Boolean algebras with distinguished ideals
• Computably categorical Boolean algebras enriched by ideals and atoms
• Boolean algebras autostable relative to \(n\)-decidable presentations

This page was built for publication: Autostable atomic-ideal enrichments of computable Boolean algebras

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