Existentially closed De Morgan algebras

Vahagn Aslanyan

    Research output: Contribution to journalArticlepeer-review

    14 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