Ivanova contact join-semilattices are not finitely axiomatizable
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).
Authors
- Paolo Lipparini (ORCID: https://orcid.org/0000-0003-3747-6611)
Institutions
- University of Rome Tor Vergata (IT)
Publication Details
- Journal
- Logic Journal of IGPL
- Published
- 2025-03-23
- DOI
- https://doi.org/10.1093/jigpal/jzaf008
- Primary Topic
- Advanced Algebra and Logic
- Type
- article
- Field-Weighted Citation Impact
- 0.00