Abstract
We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or quasiequational axiomatisations for the representation class. We do the same for the question of representability by injective multiplace partial functions. For all our representation theorems, it is an immediate corollary of our proof that the finite representation property holds for the representation class. We show that for a large set of signatures, the representation classes have equational theories that are coNP-complete.
Similar content being viewed by others
References
Dicker R.M.: The substitutive law. Proc. Lond. Math. Soc. 13, 493–510 (1963)
Dudek W.A., Trokhimenko V.S.: Functional Menger \(\mathcal{P}\)-algebras. Comm. Algebra 30, 5921–5931 (2002)
Hirsch, R., Hodkinson, I.: Relation Algebras by Games. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (2002)
Hirsch R., Jackson M., Mikulás S.: The algebra of functions with antidomain and range. J. Pure Appl. Algebra 220, 2214–2239 (2016)
Jackson M., Stokes T.: Semilattice pseudo-complements on semigroups. Comm. Algebra 32, 2895–2918 (2004)
Jackson M., Stokes T.: Modal restriction semigroups: towards an algebra of functions. Internat. J. Algebra and Comput. 21, 1053–1095 (2011)
Menger, K.: Algebra of Analysis. No. 3 in Notre Dame Mathematical Lectures. University of Notre Dame, Notre Dame (1944)
Schein B.M.: Relation algebras and function semigroups. Semigroup forum 1, 1–62 (1970)
Trokhimenko, V.S.: Menger’s function systems. Izv. Vyssh. Uchebn. Zaved. Mat. 71–78 (1973)
Trokhimenko V.S.: Characteristics of multiplace function \(\mathcal{P}\)-algebras. Sib. Math. J. 16, 461–470 (1975)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by I. Hodkinson.
The author would like to thank his PhD supervisor Robin Hirsch for many helpful discussions.
Rights and permissions
About this article
Cite this article
McLean, B. Algebras of multiplace functions for signatures containing antidomain. Algebra Univers. 78, 215–248 (2017). https://doi.org/10.1007/s00012-017-0452-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-017-0452-1