Data di Pubblicazione:
2019
Citazione:
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES / L. Carai, GHILARDI SILVIO. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - 84:4(2019 Dec), pp. PII S0022481219000719.1544-PII S0022481219000719.1575. [10.1017/jsl.2019.71]
Abstract:
The variety of Brouwerian semilattices is amalgamable and locally finite, hence by well-known results, it has a model completion (whose models are the existen- tially closed structures). In this paper, we supply a finite and rather simple axiomatization of the model completion
Tipologia IRIS:
01 - Articolo su periodico
Elenco autori:
L. Carai, S. Ghilardi
Link alla scheda completa: