Existentially closed De Morgan algebras

DOI10.1007/S00012-019-0633-1arXiv1810.02335WikidataQ114693088 ScholiaQ114693088MaRDI QIDQ6307718FDOQ6307718

V. A. Aslanyan

Publication date: 4 October 2018

Abstract: We show that the theory of De Morgan algebras has a model completion and axiomatise it. Then we prove that it is $alep{h}_0$-categorical and describe definable and algebraic closures in that theory. We also obtain similar results for Boole-De Morgan algebras.

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Quantifier elimination, model completeness, and related topics (03C10) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

This page was built for publication: Existentially closed De Morgan algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6307718)