A new product of algebras and a type reduction theorem

DOI10.1007/BF01182247zbMath0543.08005MaRDI QIDQ795856

Ralph McKenzie

Publication date: 1984

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

zbMATH Keywords

productfinitely basedcategory of groupoidscategory of T-algebras

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Operations and polynomials in algebraic structures, primal algebras (08A40) Categories of algebras (08C05)

Related Items (13)

A perspective on algebraic representations of lattices ⋮ An equational logic sampler ⋮ Finite axiomatizability of congruence rich varieties ⋮ Quasi-identities of finite semigroups and symbolic dynamics ⋮ Finite axiomatizability for equational theories of computable groupoids ⋮ Congruences, equational theories and lattice representations ⋮ Equational theories of semigroups with involution. ⋮ Congruence-distributive varieties of algebras ⋮ Universal algebras ⋮ A field guide to equational logic ⋮ Finite basis problems and results for quasivarieties ⋮ The Fraser-Horn and Apple Properties ⋮ Basic questions for general algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterizing Mal'cev conditions
• The spectrum of an equational class of groupoids
• The fine spectrum of a variety
• Intervals in the lattice of varieties
• Congruence lattices of algebras of fixed similarity type. II
• Algebras satisfying the descending chain condition for subalgebras
• How comprehensive is the category of semigroups?
• The number of maximal closed classes in the set of functions over a finite domain
• Decidability and Boolean representations
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Definability in lattices of equational theoris
• Completeness in Finite Algebras with a Single Operation

This page was built for publication: A new product of algebras and a type reduction theorem