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