Universal equational theories and varieties of algebras

DOI10.1016/0003-4843(79)90023-8zbMath0436.03021OpenAlexW2013671459MaRDI QIDQ3875904

Don Pigozzi

Publication date: 1979

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(79)90023-8

zbMATH Keywords

commutative groupoidsuniversal envelopeuniversal worduniversal set of terms

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05) Word problems (aspects of algebraic structures) (08A50)

Related Items (13)

Varieties of regular semigroups with uniquely defined inversion ⋮ A Mathematical Life ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ When is a term point universal? ⋮ Universal terms of the form \(B^nA^m\) ⋮ Finite groupoids without finite bases for their identities ⋮ Hyperidentities and hypervarieties ⋮ On the Structure of Equationally Complete Varieties. II ⋮ Computer Solutions of Problems in Inverse Semigroups ⋮ The diamond lemma for ring theory ⋮ Base-undecidable properties of universal varieties ⋮ Unique factorization and Fermats last property in groupoidal domains ⋮ Covering in the lattice of equational theories and some properties of term finite theories

This page was built for publication: Universal equational theories and varieties of algebras