Algebras of multiplace functions for signatures containing antidomain
DOI10.1007/s00012-017-0452-1zbMath1423.08001arXiv1507.06167OpenAlexW3098016023MaRDI QIDQ2411690
Publication date: 24 October 2017
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1507.06167
representationequational theorypartial functionantidomainfirst-order axiomatisationmultiplace function
Semigroups of transformations, relations, partitions, etc. (20M20) Structure theory of algebraic structures (08A05) Operations and polynomials in algebraic structures, primal algebras (08A40) Partial algebras (08A55) (n)-ary systems ((nge 3)) (20N15)
Related Items (1)
Cites Work
- Relation algebras by games
- The algebra of functions with antidomain and range
- Characteristics of multiplace function \(\mathcal P\)-algebras
- Relation algebras and function semigroups
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
- Semilattice Pseudo-complements on Semigroups
- FUNCTIONAL MENGER -ALGEBRAS
- The Substitutive Law
This page was built for publication: Algebras of multiplace functions for signatures containing antidomain