Comparison semigroups and algebras of transformations.

DOI10.1007/S00233-010-9226-1zbMath1207.20060OpenAlexW2010477315MaRDI QIDQ711608

Timothy Stokes

Publication date: 27 October 2010

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00233-010-9226-1

zbMATH Keywords

transformation semigroupspartial transformationscomparison algebrascomparison operationsfunctional comparison semigroups

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Free semigroups, generators and relations, word problems (20M05) Partial algebras (08A55)

Related Items (5)

Monoids of non-halting programs with tests ⋮ Varieties of regular semigroups with uniquely defined inversion ⋮ Axioms for function semigroups with agreement quasi-order. ⋮ Monoids with tests and the algebra of possibly non-halting programs ⋮ Axiomatization of if-then-else over possibly non-halting programs and tests

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Actions of Boolean rings on sets
• Triples and compact sheaf representation
• Guarded and banded semigroups.
• Function systems
• Difference semigroups
• Lectures on semigroups of transformations
• SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
• An invitation to \(C\)-semigroups

This page was built for publication: Comparison semigroups and algebras of transformations.