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.