We show that the class of contact join-semilattices introduced by Ivanova (Contact join-semilattices. Stud Log 2022;110:1219-41) is not finitely axiomatizable. On the other hand, a simple finite axiomatization exists for the class of those join-semilattices with a weak contact relation, which can be embedded into the reduct of a weak contact Boolean algebra (equivalently, distributive lattice).
Lipparini, P. (2025). Ivanova contact join-semilattices are not finitely axiomatizable. LOGIC JOURNAL OF THE IGPL, 33(3) [10.1093/jigpal/jzaf008].
Ivanova contact join-semilattices are not finitely axiomatizable
Paolo Lipparini
2025-01-01
Abstract
We show that the class of contact join-semilattices introduced by Ivanova (Contact join-semilattices. Stud Log 2022;110:1219-41) is not finitely axiomatizable. On the other hand, a simple finite axiomatization exists for the class of those join-semilattices with a weak contact relation, which can be embedded into the reduct of a weak contact Boolean algebra (equivalently, distributive lattice).File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
viewA2.pdf
accesso aperto
Descrizione: arxiv version
Tipologia:
Documento in Pre-print
Licenza:
Non specificato
Dimensione
190.19 kB
Formato
Adobe PDF
|
190.19 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
