Existentially closed de Morgan algebras

DOI10.1007/s00012-019-0633-1OpenAlexW2996081315WikidataQ114693088 ScholiaQ114693088MaRDI QIDQ2283061

Vahagn A. Aslanyan

Publication date: 27 December 2019

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1810.02335

zbMATH Keywords

model completionexistential closednessBoolean and de Morgan algebras

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• The subvariety of commutative residuated lattices represented by twist-products
• Lattice Theory: Foundation
• Algebraically and Existentially Closed Distributive Lattices
• Coproducts of De Morgan algebras
• Model Theory
• Boole–De Morgan Algebras and Quasi-De Morgan Functions
• Lattices With Involution

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