2 papers
math.LO2012
The countable existentially closed pseudocomplemented semilattice
Joël Adler
As the class of pseudocomplemented semilattices is a universal Horn class generated by a single finite structure it has a -categorical model companion. We will construct…
math.LO2012
The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
Joël Adler
In this paper it is shown that the class of existentially closed pseudocomplemented semilattices is finitely axiomatizable by appropriately extending the fini…