TY  - JOUR
AU  - Adler, Joël
PY  - 2014
TI  - The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
JO  - Algebra Universalis
VL  - 72
IS  - 3
SP  - 231
EP  - 250
UR  - 
KW  - pseudocomplemented semilattice
KW  - algebraic and existential closedness
KW  - finite axiomatizability
KW  - model companion
ER  -