On representing semigroups with subsemilattices.

DOI10.1016/J.JALGEBRA.2012.11.029MaRDI QIDQ360174zbMATH OpenOpenAlexFDO

Authors Marcel Jackson, T. E. Stokes

Publication date 26 August 2013

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/article/pii/S0021869312005947

zbMATH Keywords

semigroups of binary relationsaxiomatisabilityrelation algebrassemigroups of functionssemigroups of partial maps

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semigroups of transformations, relations, partitions, etc. (20M20) Logic in computer science (03B70) Semilattices (06A12) Ordered semigroups and monoids (06F05) Representation of semigroups; actions of semigroups on sets (20M30) Inverse semigroups (20M18)

Recommendations

• Representations of distributive lattice-ordered semigroups with binary relations
• Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
• Representable semilattice-ordered monoids
• Partial Maps with Domain and Range: Extending Schein's Representation
• Representations of ordered semigroups.

Cited in

(19)

• Domain and range for angelic and demonic compositions
• Domain and range operations in semigroups and rings.
• scientific article; zbMATH DE number 5568599 (Why is no real title available?)
• Axioms for signatures with domain and demonic composition
• Some properties of a class of polyhedral semigroups based upon the subword reversing method.
• Effective representations of path semigroups.
• The algebra of functions with antidomain and range
• Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
• Partial Maps with Domain and Range: Extending Schein's Representation
• Representable semilattice-ordered monoids
• scientific article; zbMATH DE number 3931283 (Why is no real title available?)
• On representations of variants of semigroups
• Boolean topological graphs of semigroups: the lack of first-order axiomatization
• \((\mathscr{F},\mathscr{G})\)-abundant semigroups
• Monoids with tests and the algebra of possibly non-halting programs
• On representable pairs
• A method for finding new sets of axioms for classes of semigroups.
• Laws for generalised interior operations in semigroups
• scientific article; zbMATH DE number 5218140 (Why is no real title available?)

This page was built for publication: On representing semigroups with subsemilattices.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q360174)