Finitely axiomatizable Boolean algebras with distinguished ideals

DOI10.1007/BF01980241zbMath0661.03022OpenAlexW2060322102MaRDI QIDQ1112807

D. E. Pal'chunov

Publication date: 1987

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

Full work available at URL: https://doi.org/10.1007/bf01980241

zbMATH Keywords

decidabilityfinite axiomatizabilitycountable categoricityBoolean algebras with distinguished ideals

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) Categoricity and completeness of theories (03C35)

Related Items (3)

Théories d'algèbres de Boole munies d'idéaux distingués. II ⋮ The theories of superatomic Boolean algebras with distinguished subalgebra which lack countably saturated models ⋮ Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals

Cites Work

• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: Finitely axiomatizable Boolean algebras with distinguished ideals