Southern Wisconsin Logic Colloquium

SWLC Schedule

Refreshments will be served in the 9th floor lounge a half hour before talks. Please check the schedule below. All talks will be in 901 Van Vleck Hall unless stated otherwise.

Date Time Speaker Title Cookies,
dinner, etc.
Thursday, September 3 4:00 p.m. Isaac Goldbring, University of Illinois at Chicago TBA cookies/juice
at 3:30/
dinner at 6
TBA
Friday, September 4
(dept. coll.)
4:00 p.m.
(room B239)
Isaac Goldbring, University of Illinois at Chicago TBA  
Tuesday, September 8 4:00 p.m. Rutger Kuyper, UW TBA cookies/juice
at 3:30
Tuesday, September 15 4:00 p.m. Ellen Chih, UW TBA cookies/juice
at 3:30
Tuesday, September 22 4:00 p.m. Mariya Soskova, visiting UW from University of Sofia, Bulgaria TBA cookies/juice
at 3:30
Tuesday, September 29 4:00 p.m. Vincent Guingona, Wesleyan University, Middletown, Connecticut TBA cookies/juice
at 3:30/
dinner at 6
TBA
Tuesday, October 6 4:00 p.m. Henry Townser, University of Pennsylvania, Philadelphia TBA cookies/juice
at 3:30/
dinner at 6
TBA
Tuesday, October 13 4:00 p.m. Joe Miller, UW TBA cookies/juice
at 3:30
Tuesday, October 20 4:00 p.m. Julia Knight, University of Notre Dame, Indiana TBA cookies/juice
at 3:30/
dinner at 6
TBA

Math 873 - Fall 2015 - Topics in Logic - Medvedev and Muchnik Degrees

Instructor: Rutger Kuyper

Prerequisites: Math 770, and Math 773 or concurrent registration in Math 773

Time and Place: MWF 13:20-14:10

Textbook: none

Course Description: The Medvedev and Muchnik degrees are extensions of the Turing degrees studied in computability theory. Both of these structures also have nice substructures, namely, the degrees of the so-called effectively closed sets, which form an analogue to the computably enumerable degrees studied in the Turing degrees.

We will discuss various aspects of these structures. In particular, we will cover the following topics, including their necessary prerequisites:

Math 975 - Reading Seminar in Logic

Our reading seminar is meeting on Thursdays at 3:30 in B119 Van Vleck Hall.


Prepared by Steffen Lempp (@math.wisc.edu">lemppmath.wisc.edu)