Existentially closed De Morgan algebras

2018/10/04 by Aslanyan, Vahagn
#06D30 06E25 03C10 03C35 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1810.02335

Abstract

We show that the theory of De Morgan algebras has a model completion and axiomatise it. Then we prove that it is ℵ₀-categorical and describe definable and algebraic closures in that theory. We also obtain similar results for Boole-De Morgan algebras.

Related

• Perfect extensions of de Morgan algebras
• Model-completion of varieties of co-Heyting algebras
• Existentially closed models of fields with a distinguished submodule
• Existentially closed structures and some embedding theorems
• Cylindric algebras of De Morgan-valued logic