Contact join-semilattices are not finitely axiomatizable
Abstract
We show that the class of Contact join-semilattices, as introduced by T. Ivanova, 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 Boolean algebra (equivalently, a distributive lattice) with a weak contact relation.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2023
- DOI:
- arXiv:
- arXiv:2311.12599
- Bibcode:
- 2023arXiv231112599L
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Rings and Algebras;
- 03G25;
- 06A12;
- 06F99;
- 54E05
- E-Print:
- 8 pages