Word Problems, Pseudorecursive Varieties, And Multisorted Logic Seminars/Workshops

Abstract

1. A Tour Of Equational Logic: Some Directions And Problem.

The main purpose of this expository talk is to present some basic notions and ideas in the field of equational logic, also known as universal algebra, survey its current trends, and state some open problems in the area from their syntactic, semantic, and computational aspect.

In this talk we will outline the solution to the following problem: Does there exist a finitely axiomatized variety (in a finite signature) whose equational theory is undecidable, but whose word problems are all solvable?