Canadian Mathematical Society
Canadian Mathematical Society
  location:  Eventssee all events
next up previous
Next: Jie Fang - Ockham Up: Universal Algebra and Multiple-Valued Previous: Universal Algebra and Multiple-Valued

Clifford Bergman - Complexity of some problems in universal algebra

CLIFFORD BERGMAN, Department of Mathematics, Iowa State University, Ames, Iowa  50011, USA
Complexity of some problems in universal algebra

Given two finite algebras A and B, there are several natural questions one might ask about the relationship between A and B. Among them: Do A and B generate the same (quasi)variety? And, are A and B term-equivalent? Although these problems are well-known to be decidable, the precise computational complexity seems to be nontrivial.

In this talk, we will survey some old and new results on these questions, as well as pose some open problems.

This is joint work with Giora Slutzki (Iowa State University).


© Canadian Mathematical Society, 2017 :