Abstract
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.
Original language | English |
---|---|
Article number | 4 |
Journal | Algebra Universalis |
Volume | 81 |
Issue number | 1 |
Early online date | 20 Dec 2019 |
DOIs | |
Publication status | Published - 2020 |
Keywords
- Boolean and De Morgan algebras
- Existential closedness
- Model completion