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

DOI10.1093/LOGCOM/EXU081zbMATH Open1444.03178arXiv1407.1243OpenAlexW2326719916MaRDI QIDQ3133160FDOQ3133160

Authors: Brett McLean 

Publication date: 13 February 2018

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

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.

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

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

Mathematics Subject Classification ID

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

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)