EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
Luca Carai, Silvio Ghilardi · Journal of Symbolic Logic · 2019
Abstract The variety of Brouwerian semilattices is amalgamable and locally finite; hence, by well-known results [19], it has a model completion (whose models are the existentially closed structures). In this article, we supply a finite and rather simple axiomatization of the model completion.