Priestley Representation of Distributive Precontact Lattices
It is well known that, in Boolean algebras, the notions of precontact relation, quasi-modal operator, and subordination relation are interdefinable. In contrast, within the setting of distributive lattices, this equivalence holds only between quasi-modal operators and subordination relations, but not with precontact relations. In this paper, we study the class of bounded distributive lattices equipped with a precontact relation, referred to as precontact lattices. We also examine how conditions imposed on the precontact relation correspond to first-order properties in the Priestley dual. In…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.25131
curl -X POST /api/v1/records/arxiv/2606.25131/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.25131/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'