Instructor: Henry Towsner
Office: 4N51
Office Hours: Tuesdays 3:15-4:15 and Wednesdays 2:00-3:00
Office Phone: (215) 898-8474
This year's Topics in Logic course will be a course on model theory based on "Model Theory: an Introduction" by David Marker. 570 or a similar course on logic is helpful, but not completely necessary. (Students who have not taken any previous logic courses should expect to put in some extra work in the first two weeks, however.) Coursework will consist of homework assignments due every other week and a final exam.