A method for finding new sets of axioms for classes of semigroups.
Publication:453187
DOI10.1007/s00153-012-0276-9zbMath1262.20059MaRDI QIDQ453187
Publication date: 18 September 2012
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10400.2/3815
bands; inverse semigroups; semilattices; groups of finite exponent; axioms for classes of semigroups; classes of groupoids
20M10: General structure theory for semigroups
20M20: Semigroups of transformations, relations, partitions, etc.
20M07: Varieties and pseudovarieties of semigroups
08B05: Equational logic, Mal'tsev conditions
03C05: Equational classes, universal algebra in model theory
08A02: Relational systems, laws of composition
20N02: Sets with a single binary operation (groupoids)
20A05: Axiomatics and elementary properties of groups
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automated discovery of new axiomatizations of the left group and right group calculi
- Single axioms for groups
- Single axioms for the left group and right group calculi
- The early development of the algebraic theory of semigroups
- Absorption and idempotency criteria for a problem in near-Boolean algebras
- A shortest single axiom for the classical equivalential calculus
- Single identities for lattice theory and for weakly associative lattices
- Single axioms for groups and abelian groups with various operations
- The shortest single axioms for groups of exponent 4
- Solution of the Robbins problem
- Automorphism groups of centralizers of idempotents.
- A generalization of Moufang and Steiner loops.
- Short single axioms for Boolean algebra
- Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus
- Single axioms for odd exponent groups
- Axiomatization of propositional calculus with Sheffer functors
- Notes on the axiomatics of the propositional calculus
- Equational logic
- Equational postulates for the Sheffer stroke
- Semigroups of Transformations Preserving an Equivalence Relation and a Cross-Section
- Postulates for Commutative Groups
- Computer Solutions of Problems in Inverse Semigroups
- Another single law for groups
- On single-law definitions of groups
- Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
- Equational Theories of Algebras with Distributive Congruences
- What groups were: A study of the development of the axiomatics of group theory
- New Sets of Independent Postulates for the Algebra of Logic, With Special Reference to Whitehead and Russell's Principia Mathematica