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.
|Early online date||20 Dec 2019|
|Publication status||Published - 2020|
- Boolean and De Morgan algebras
- Existential closedness
- Model completion