Cornell Math - MATH 782, Spring 2004

MATH 782: Logic Seminar (Spring 2004)

Instructor: Richard Shore

Meeting Time & Room

The topic this semester we also be models of arithmetic. Depending on how much we cover in the fall and the interests of the participants, we may either continue with the book by Hajek and Pudlak, Metamathematics of First Order Arithmetic perhaps going into the topics in bounded arithemtic and complexity classes. Alternatively, we may change the viewpoint to models of second order arithmetic and reverse mathematics. (Or this can be the topic for next year.)