An elegant 3-basis for inverse semigroups.

DOI10.1007/s00233-010-9280-8zbMath1222.20043arXiv1003.4028OpenAlexW2040021389MaRDI QIDQ535223

João Araújo, Michael K. Kinyon

Publication date: 11 May 2011

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

Full work available at URL: https://arxiv.org/abs/1003.4028

zbMATH Keywords

equational logicinverse semigroupsbases of identities

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Equational logic, Mal'tsev conditions (08B05) Inverse semigroups (20M18)

Related Items (2)

Varieties of regular semigroups with uniquely defined inversion ⋮ Basis reduction for cryptogroups and orthogroups

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Computer Solutions of Problems in Inverse Semigroups
• On the theory of inverse semigroups and generalized groups

This page was built for publication: An elegant 3-basis for inverse semigroups.