Decidability of discriminator varieties with group stalks
by
Dejan Delic
Ryerson University, Toronto, Canada

One of the fundamental problems in universal algebra is to provide the full characterization of locally finite varieties whose first-order theory is decidable. In order for this question to be settled, a satisfactory characterization of decidable locally finite discriminator varieties needs to be provided, in light of the decomposition theorem of R.McKenzie and M.Valeriote. In this talk, we will discuss the decidability of locally finite discriminator varieties arising from universally axiomatized locally finite classes of groups and try to shed some light on algebraic and model-theoretic aspects of this problem.

Date received: January 1, 2002

Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caig-46.