IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS

DOI10.1142/S0218196706003426zbMath1117.08003OpenAlexW2012129111MaRDI QIDQ3430314

Marcel Jackson, Timothy Stokes

Publication date: 21 March 2007

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

Full work available at URL: https://doi.org/10.1142/s0218196706003426

zbMATH Keywords

partial mapword problemdeductive varietyright closure semigroupsemilattice ordered inverse semigrouptwisted agreeable semigroup

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Inverse semigroups (20M18) Relational systems, laws of composition (08A02) Word problems (aspects of algebraic structures) (08A50)

Related Items (11)

Semiring identities of finite inverse semigroups ⋮ The algebra of functions with antidomain and range ⋮ Skew lattices and binary operations on functions ⋮ Flat algebras and the translation of universal Horn logic to equational logic ⋮ Relatively inherently nonfinitely q-based semigroups ⋮ Low Growth Equational Complexity ⋮ Partial Maps with Domain and Range: Extending Schein's Representation ⋮ Restriction Semigroups and Inductive Constellations ⋮ MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS ⋮ Nonfinitely based ai-semirings with finitely based semigroup reducts ⋮ SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS

Cites Work

• Unnamed Item
• Connections between left adequate semigroups and gamma-semigroups
• Agreeable semigroups.
• Function systems
• Relation algebras and function semigroups
• Quasiequational Theories of Flat Algebras
• Free right type A semigroups
• Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
• PROPER WEAKLY LEFT AMPLE SEMIGROUPS
• FUNCTIONAL MENGER -ALGEBRAS
• ALGORITHMIC PROBLEMS IN VARIETIES
• An invitation to \(C\)-semigroups

This page was built for publication: IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS