Category equivalence preserves unification type

DOI10.1007/BF01233916zbMath0902.08014OpenAlexW2061919641MaRDI QIDQ1272240

Michael Henry Albert

Publication date: 24 November 1998

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

Full work available at URL: https://doi.org/10.1007/bf01233916

zbMATH Keywords

unification problemequivalence classes of solutionsfinitary systems of equationsinfinitary systems of equationsnullary systems of equationsunitary systems of equations

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational categories (18C05) Free algebras (08B20) Equational classes, universal algebra in model theory (03C05)

Related Items

Unification, finite duality and projectivity in varieties of Heyting algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unification theory
• The fine spectrum of a variety
• Unification in primal algebras, their powers and their varieties
• Unification in Varieties of Groups: Nilpotent Varieties

This page was built for publication: Category equivalence preserves unification type