Existentially closed De Morgan algebras

Vahagn Aslanyan

doi:10.1007/s00012-019-0633-1

Existentially closed De Morgan algebras

Vahagn Aslanyan

Research output: Contribution to journal › Article › peer-review

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 ℵ₀-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	https://doi.org/10.1007/s00012-019-0633-1
Publication status	Published - 2020

Keywords

Boolean and De Morgan algebras
Existential closedness
Model completion

Access to Document

10.1007/s00012-019-0633-1

De MorganAccepted author manuscript, 395 KB

Cite this

@article{e0d7759534f544a693988f95052816e5,

title = "Existentially closed De Morgan algebras",

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.",

keywords = "Boolean and De Morgan algebras, Existential closedness, Model completion",

author = "Vahagn Aslanyan",

year = "2020",

doi = "10.1007/s00012-019-0633-1",

language = "English",

volume = "81",

journal = "Algebra Universalis",

issn = "0002-5240",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Existentially closed De Morgan algebras

AU - Aslanyan, Vahagn

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

KW - Boolean and De Morgan algebras

KW - Existential closedness

KW - Model completion

UR - http://www.scopus.com/inward/record.url?scp=85076887747&partnerID=8YFLogxK

U2 - 10.1007/s00012-019-0633-1

DO - 10.1007/s00012-019-0633-1

M3 - Article

VL - 81

JO - Algebra Universalis

JF - Algebra Universalis

SN - 0002-5240

IS - 1

M1 - 4

ER -

Existentially closed De Morgan algebras

Abstract

Keywords

Access to Document

Other files and links

Cite this