Existentially closed De Morgan algebras

Vahagn Aslanyan

Research output: Contribution to journalArticlepeer-review

9 Downloads (Pure)


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 languageEnglish
Article number4
JournalAlgebra Universalis
Issue number1
Early online date20 Dec 2019
Publication statusPublished - 2020


  • Boolean and De Morgan algebras
  • Existential closedness
  • Model completion

Cite this