Math
782 — Spring 2001
Seminar in Logic
| Instructor: |
Anil Nerode |
| Time: |
TR 2:55–4:10 |
| Room: |
MT 205 |
The special topic for this semester will be either Recursive Model Theory
or possibly Reverse Mathematics. If the former, we will use a recent survey
article by Valentina Harizanov in the Handbook of Recursive Mathematics
(vol. 1) and the recent monograph Computable Structures and the Hyperarithmetic
Hierarchy (North-Holland) by Ash and Knight. For the latter topic, we
would use the recent monograph Subsytems of Analysis and Reverse Mathematics
(Springer-Verlag) by Stephen Simpson.
In addition there will be the usual series of talks on a variety of topics
of current interest.
Last modified:
April 7, 2003
|
