The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable

DOI10.1007/s00012-014-0297-9zbMath1345.03067arXiv1203.3155OpenAlexW1981916858MaRDI QIDQ471162

Joël Adler

Publication date: 14 November 2014

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

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

zbMATH Keywords

pseudocomplemented semilatticefinite axiomatizabilitymodel companionalgebraic and existential closedness

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Equational classes, universal algebra in model theory (03C05) Semilattices (06A12)

Related Items

The class of algebraically closed p-semilattices is finitely axiomatizable ⋮ Correction to: ``The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable ⋮ The countable existentially closed pseudocomplemented semilattice

Cites Work

• The class of algebraically closed p-semilattices is finitely axiomatizable
• Algebraically closed p-semilattices
• Finite axiomatizations for existentially closed posets and semilattices
• Stone lattices
• Pseudo-complements in semi-lattices
• The Model Companion of Stone Semilattices