Minimal, locally-finite varieties that are not finitely axiomatizable

DOI10.1007/BF02488049zbMath0426.08003MaRDI QIDQ1135870

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

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

Related Items (12)

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

Cites Work

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

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