Minimal, locally-finite varieties that are not finitely axiomatizable

DOI10.1007/BF02488049zbMATH Open0426.08003MaRDI QIDQ1135870FDOQ1135870

Don Pigozzi

Publication date: 1979

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

zbMATH Keywords

axiomatizationfinitely based groupoidlocally-finite varietypermutable congruence relations

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Equational logic, Mal'tsev conditions (08B05) Logical aspects of lattices and related structures (03G10)

Cites Work

• Finite equational bases for finite algebras in a congruence-distributive equational class
• Relatively free products in regular varieties
• Finite groupoids without finite bases for their identities

Cited In (12)

• Every idempotent plain algebra generates a minimal variety
• Quasiidentities of two-element algebras
• Gentzen-style axiomatizations in equational logic
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Infinite chains of non-finitely based equational theories of finite algebras
• Universal algebras
• Bjarni Jónsson's contributions in algebra
• The computational complexity of deciding whether a finite algebra generates a minimal variety
• FINITELY GENERATED LIMIT VARIETIES OF APERIODIC MONOIDS WITH CENTRAL IDEMPOTENTS
• A Mathematical Life
• Finite groupoids without finite bases for their identities

This page was built for publication: Minimal, locally-finite varieties that are not finitely axiomatizable

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