Countably-categorical Boolean algebras with distinguished ideals

DOI10.1007/BF00370375zbMath0647.03025MaRDI QIDQ1104315

D. E. Pal'chunov

Publication date: 1987

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

decidabilityfinite axiomatizabilitycountable categoricitystrong constructivizabilityBoolean algebras with distinguished ideals

Mathematics Subject Classification ID

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

Related Items (11)

Unnamed Item ⋮ The Lindenbaum-Tarski algebra for Boolean algebras with distinguished ideals ⋮ Stone space partitions indexed by a poset ⋮ Automorphisms of Boolean algebras definable by fixed elements ⋮ 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 ⋮ Automorphisms of Boolean algebras determined by fixed points ⋮ Computably categorical Boolean algebras enriched by ideals and atoms ⋮ Autostability of Boolean algebras with distinguished ideal ⋮ Lindenbaum-Tarski algebra for the class of Boolean algebras with one distinguished ideal ⋮ Direct summands of Boolean algebras with distinguished ideals

Cites Work

• Unnamed Item
• Unnamed Item
• Graded and filtered rings and modules
• Small programming exercises 12
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: Countably-categorical Boolean algebras with distinguished ideals