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.