Abstract:
I will give an overview of the research conducted in the 1970s and 1980s on the study of the structure of those equationally defined classes of algebras whose first order theories are decidable. I will also discuss recent progress on related decidability results as well as the connection between decidability and the spectrum function.