MATH 7820: Logic Seminar (Spring 2011)

Instructor: Richard Shore

The Logic Seminar meets twice a week for 75 minutes. One day each week is devoted to a single topic usually based on a current book or selection of papers. The seminar participants (mostly the students but not only) take turns making presentations of material from the chosen topic. The other day is used for talks by visiting speakers as well as locals (both students and faculty) on their current work.

The topic for this term will be determined later in the semester in consultation with the expected participants. Possibilities include selections from computable model theory, reverse mathematics, degree theory, and perhaps proof theory.