|Tuesday, September 9||4:00 p.m.||Uri Andrews, UW||TBA||cookies/ beverages at 3:30|
|Tuesday, September 16||4:00 p.m.||Robin Tucker-Drob, Rutgers University, Piscataway, New Jersey||TBA||cookies/ beverages at 3:30/|
dinner at 6 TBA
|Sunday, October 5 (tentative)||TBA||TBA||TBA||dinner at 6 TBA?|
Course Description: This course will serve as a survey of historical and current research in computable model theory. There will be a focus on recursive model theory and the model theory of models of Peano Arithmetic.