Isomorphism of atomless Boolean algebras with distinguished ideals

DOI10.1007/S10469-025-09781-6MaRDI QIDQ6975211zbMATH OpenFDO

Authors S. S. Goncharov, J. Xiang

Publication date 5 June 2025

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

Full work available at URL https://doi.org/10.1007/S10469-025-09781-6

zbMATH Keywords

Boolean algebra with finitely many distinguished ideals (\(I\)-algebra)density of idealisomorphism problemquotient algebra with respect to ideal

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Group theory and generalizations (20-XX)

Cites work

• Atom-free ideals of constructive Boolean algebras
• Autostability of Boolean algebras with distinguished ideal
• Boolean algebras autostable relative to \(n\)-decidable presentations
• Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable
• Complexity of some natural problems on the class of computable I-algebras
• Computably categorical Boolean algebras enriched by ideals and atoms
• Countably categorical and autostable Boolean algebras with distinguished ideals
• Countably-categorical Boolean algebras with distinguished ideals
• Direct summands of Boolean algebras with distinguished ideals
• Finitely axiomatizable Boolean algebras with distinguished ideals
• scientific article; zbMATH DE number 3922644 (Why is no real title available?)
• scientific article; zbMATH DE number 3935014 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 3458610 (Why is no real title available?)
• scientific article; zbMATH DE number 1746562 (Why is no real title available?)
• scientific article; zbMATH DE number 934728 (Why is no real title available?)
• scientific article; zbMATH DE number 1390542 (Why is no real title available?)
• scientific article; zbMATH DE number 3316934 (Why is no real title available?)
• scientific article; zbMATH DE number 3062900 (Why is no real title available?)
• On the 1-decidability of Boolean algebras with one distinguished ideal
• Prime and countably saturated models of the theory of Boolean algebras with distinguished ideals
• Relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms
• Theories of Boolean algebras with distinguished ideals which have no prime model
• Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires
• Théories d'algèbres de Boole munies d'idéaux distingués. II
• Undecidability of theories of Boolean algebras with selected ideals

Cited in

(1)

• Elementary equivalence of countable atomless Boolean algebras with distinguished ideal

This page was built for publication: Isomorphism of atomless Boolean algebras with distinguished ideals

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