A method for finding new sets of axioms for classes of semigroups.

DOI10.1007/s00153-012-0276-9zbMath1262.20059MaRDI QIDQ453187

Janusz Konieczny, João Araújo

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

zbMATH Keywords

bands; inverse semigroups; semilattices; groups of finite exponent; axioms for classes of semigroups; classes of groupoids

Mathematics Subject Classification ID

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

The rank of the semigroup of transformations stabilising a partition of a finite set, The commuting graph of the symmetric inverse semigroup

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