Series: Penn State Logic Seminar

Date: Tuesday, November 21, 2000

Time: 2:30 - 3:20 PM

Place: 307 Boucke Building

Speaker: Stephen G. Simpson, Department of Mathematics, Penn State

Title: Undecidable Algebraic Theories, Part 3

Abstract: 

In an earlier seminar we showed that the theory of one finite binary
relation is hereditarily undecidable.  This is closely related to the
Trakhtenbrot-Vaught theorem.  From this we deduce that the theories of
finite graphs, finite distributive lattices, finite commutative rings,
and finite groups are hereditarily undecidable.