Autostable atomic-ideal enrichments of computable Boolean algebras

DOI10.1134/S1064562410040071zbMATH Open1198.03037OpenAlexW1989449018MaRDI QIDQ600736FDOQ600736

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

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

zbMATH Keywords

autostable Boolean algebrascomputably categorical Boolean algebras

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Cites Work

• Title not available (Why is that?)
• Autostability of models
• Recursive isomorphism types of recursive Boolean algebras
• Autostable I-Algebras
• Autostability of Boolean algebras with distinguished ideal

Cited In (6)

• Enrichments of Boolean algebras by Presburger predicates
• Title not available (Why is that?)
• Autostable Boolean algebras with distinguished ideals
• Computably categorical Boolean algebras enriched by ideals and atoms
• Boolean algebras autostable relative to \(n\)-decidable presentations
• Autostable I-Algebras

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)