The finite representation property for composition, intersection, domain and range
From MaRDI portal
Publication:2828345
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
Equational logic, Mal'tsev conditions (08B05) Relational systems, laws of composition (08A02) Partial algebras (08A55)
Related Items
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