Boolean algebras autostable relative to \(n\)-decidable presentations

DOI10.1007/s10469-023-09698-yzbMath1515.03161MaRDI QIDQ6160499

M. N. Gaskova

Publication date: 10 May 2023

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

Boolean algebracomputable structureautostabilitycomputable categoricityprime model

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
• Autostable atomic-ideal enrichments of computable Boolean algebras
• Computably categorical Boolean algebras enriched by ideals and atoms
• Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
• Autostability of models
• Recursive isomorphism types of recursive Boolean algebras
• Recursive prime models for Boolean algebras
• Unnamed Item
• Unnamed Item

This page was built for publication: Boolean algebras autostable relative to \(n\)-decidable presentations