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
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]
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
L. Carai
;S. GhilardiUltimo
2019
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 completionFile in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
articolobrouw final.pdf
accesso aperto
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
486.94 kB
Formato
Adobe PDF
|
486.94 kB | Adobe PDF | Visualizza/Apri |
existentially_closed_brouwerian_semilattices.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
411.53 kB
Formato
Adobe PDF
|
411.53 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.