Existentially closed De Morgan algebras

Research output: Contribution to journalArticle

3 Downloads (Pure)

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

Keywords

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

Cite this