Existentially closed De Morgan algebras
Logic
2019-11-11 v3
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.
Cite
@article{arxiv.1810.02335,
title = {Existentially closed De Morgan algebras},
author = {Vahagn Aslanyan},
journal= {arXiv preprint arXiv:1810.02335},
year = {2019}
}
Comments
Minor corrections