Math 782 — Spring 2001 Seminar in Logic

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.