Existentially Closed Brouwerian Semilattices
Logic
2020-02-19 v2
Abstract
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.
Keywords
Cite
@article{arxiv.1702.08352,
title = {Existentially Closed Brouwerian Semilattices},
author = {Luca Carai and Silvio Ghilardi},
journal= {arXiv preprint arXiv:1702.08352},
year = {2020}
}
Comments
35 pages with 3 figures, revised sections 3 and 4, minor corrections in sections 1, 2 and 5, results unchanged