HomePublications

Existentially closed De Morgan algebras

Research output: Contribution to journalArticle

Open Access permissions

Open

Documents

  • De Morgan

    Accepted author manuscript, 395 KB, PDF document

DOI

Authors

Organisational units

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.

Details

Original languageEnglish
Article number4
JournalAlgebra Universalis
Volume81
Issue number1
Early online date20 Dec 2019
DOIs
Publication statusPublished - 2020
Peer-reviewedYes

Keywords

    Research areas

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

View graph of relations

ID: 173713701

Related by author
  1. Ax-Schanuel and strong minimality for the j-function

    Research output: Contribution to journalArticle

  2. Differential Existential Closedness for the j-function

    Research output: Contribution to journalArticle