Existentially closed De Morgan algebras

Abstract

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

Minor corrections