Math 781 — Fall 2001 Seminar in Logic

 

Instructor: Richard Shore
Time: TW and at times R 2:55–4:10
Room: Malott 205

The special topic for this semester will be Recursive Model Theory. The text will be Computable Structures and the Hyperarithmetic Hierarchy (North-Holland) by Ash and Knight.

In addition there will be the usual series of talks on a variety of topics of current interest.