Atlas home || Conferences | Abstracts | about Atlas

AAA60: Workshop on General Algebra (60. Arbeitstagung Allgemeine Algebra)
June 22-25, 2000
Dresden University of Technology
Dresden, Germany

Organizers
Reinhard Pöschel, Manfred Droste, Bernhard Ganter

View Abstracts
Conference Homepage

On Finitely Decidable Varieties
by
Matt Valeriote
McMaster University

A variety V of algebras is said to be finitely decidable if the first order theory of the class of all finite members of V is recursive. In my talk I will discuss the structure theorem for finitely decidable, finitely generated, congruence modular varieties obtained by P. Idziak. I will also discuss progress made on extending this result to the general, finitely generated setting.

Date received: June 2, 2000

Copyright © 2000 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 # caee-90.