Difference-restriction algebras of partial functions: axiomatisations and representations

DOI10.1007/S00012-022-00775-4arXiv2011.15108MaRDI QIDQ6354924

Publication date: 30 November 2020

Abstract: We investigate the representation and complete representation classes for algebras of partial functions with the signature of relative complement and domain restriction. We provide and prove the correctness of a finite equational axiomatisation for the class of algebras representable by partial functions. As a corollary, the same equations axiomatise the algebras representable as injective partial functions. For complete representations, we show that a representation is meet complete if and only if it is join complete. Then we show that the class of completely representable algebras is precisely the class of atomic and representable algebras. As a corollary, the same properties axiomatise the class of algebras completely representable by injective partial functions. The universal-existential-universal axiomatisation this yields for these complete representation classes is the simplest possible, in the sense that no existential-universal-existential axiomatisation exists.

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Semilattices (06A12) Generalizations of Boolean algebras (06E75)

This page was built for publication: Difference-restriction algebras of partial functions: axiomatisations and representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6354924)