Complete representation by partial functions for composition, intersection and anti-domain

DOI10.1093/LOGCOM/EXU081MaRDI QIDQ3133160zbMATH OpenOpenAlexFDO

Authors Brett McLean

Publication date 13 February 2018

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1407.1243

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Cylindric and polyadic algebras; relation algebras (03G15)

Abstract: For representation by partial functions in the signature with intersection, composition and antidomain, we show that a representation is meet complete if and only if it is join complete. We show that a representation is complete if and only if it is atomic, but that not all atomic representable algebras are completely representable. We show that the class of completely representable algebras is not axiomatisable by any existential-universal-existential first-order theory. By giving an explicit representation, we show that the completely representable algebras form a basic elementary class, axiomatisable by a universal-existential-universal sentence.

Recommendations

• The finite representation property for composition, intersection, domain and range
• The algebra of functions with antidomain and range
• Algebras of multiplace functions for signatures containing antidomain
• Complete representations in algebraic logic
• Completely Representable Relation Algebras

Cited in

(6)

• The finite representation property for composition, intersection, domain and range
• Difference-restriction algebras of partial functions with operators: discrete duality and completion
• Difference-restriction algebras of partial functions: axiomatisations and representations
• The algebra of functions with antidomain and range
• Complete representation by partial functions for signatures containing antidomain restriction
• Algebras of multiplace functions for signatures containing antidomain

This page was built for publication: Complete representation by partial functions for composition, intersection and anti-domain

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