Finite groupoids without finite bases for their identities

DOI10.1007/BF02483845zbMath0475.08005MaRDI QIDQ1159702

Don Pigozzi

Publication date: 1981

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

functorfinitely based groupoidcategory of countable groupoidsgroupoid termNFBF-groupoids

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05)

Related Items (4)

A Mathematical Life ⋮ Minimal, locally-finite varieties that are not finitely axiomatizable ⋮ A four-element algebra whose identities are not finitely based ⋮ Basic questions for general algebras

Cites Work

• Unnamed Item
• Minimal, locally-finite varieties that are not finitely axiomatizable
• Laws in finite loops
• A four-element algebra whose identities are not finitely based
• Base-undecidable properties of universal varieties
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Finite-dimensional algebras with infinite bases of identities
• Identities satisfied by a finite ring
• Products of independent algebras with finitely generated identities
• Bases for equational theories of semi-groups
• The identities of -- and unique subdirect factorization within -- classes of universal algebras
• Universal equational theories and varieties of algebras
• Joins and Direct Products of Equational Classes
• Identities in Two-Valued Calculi
• Identities in Finite Algebras

This page was built for publication: Finite groupoids without finite bases for their identities