Correction to: The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable

Abstract

In the paper “The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable” a list of nine axioms, which are claimed to axiomatize the class of existentially closed pseudocomplemented semilattices, is given. After its publication an error in a key lemma was found by the reviewer of a subsequent paper. The error was rectified by strengthening one of these nine axioms and then proving that the resulting nine axioms do axiomatize this class, thereby proving the statement of the title. Here we explain the error, outline the correction and refer the reader to arXiv.org for a full revision of the published paper.