MATH 7810: Logic Seminar (Fall 2012)

Instructor: Richard Shore

As usual, the seminar will have two components. One day a week will usually be devoted to outside speakers and locals (students as well as faculty) speaking about their own work or related topics. The second day will usually be devoted to a single topic with student presentations. My current suggestion for the topic is computable model theory or as it is sometimes called effective structure theory. This is an investigation of themes commonly associated with model theory but from the viewpoints of effectiveness and computability.