The finite representation property for composition, intersection, domain and range

DOI10.1142/S0218196716500508zbMath1382.08001arXiv1503.02627OpenAlexW3104124779MaRDI QIDQ2828345

Szabolcs Mikulás, Brett McLean

Publication date: 25 October 2016

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

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

zbMATH Keywords

partial functionsrangeintersectiondomainfinite representation property

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Relational systems, laws of composition (08A02) Partial algebras (08A55)

Related Items (2)

Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ Reducts of relation algebras: the aspects of axiomatisability and finite representability

Cites Work

• The algebra of functions. III
• MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
• Unnamed Item

This page was built for publication: The finite representation property for composition, intersection, domain and range