arXiv Analytics

Sign in

arXiv:1702.08352 [math.LO]AbstractReferencesReviewsResources

Existentially Closed Brouwerian Semilattices

Luca Carai, Silvio Ghilardi

Published 2017-02-27Version 1

The variety of Brouwerian semilattices is amalgamable and locally finite, hence by well-known results due to W. H. Wheeler, it has a model completion (whose models are the existentially closed structures). In this paper, we supply for such a model completion a finite and rather simple axiomatization.

Comments: 33 pages with 4 figures
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:2102.01426 [math.LO] (Published 2021-02-02)
Model completions for universal classes of algebras: necessary and sufficient conditions
arXiv:1710.09864 [math.LO] (Published 2017-10-26)
Recursive functions and existentially closed structures
arXiv:math/0404180 [math.LO] (Published 2004-04-08)
On model completion of T_{aut}

Links

Toolbox