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

Abstract

In this paper it is shown that the class ${\mathcal{P}\mathcal{CSL}}^{ec}$ of existentially closed pseudocomplemented semilattices is finitely axiomatizable by appropriately extending the finite axiomatization of the class ${\mathcal{P}\mathcal{CSL}}^{ac}$ of algebraically closed pseudocomplemented semilattices presented in Rupp, Addler, and Schmid. Because ${\mathcal{P}\mathcal{CSL}}^{ec}$ coincides with the model companion of the class $\mathcal{P}\mathcal{CSL}$ of pseudocomplemented semilattices this addendum to Rupp, Addler, and Schmid solves the problem posed by Albert and Burris in the final paragraph of their paper: "Does the class of pseudocomplemented semilattices have a finitely axiomatizable model companion?"