PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Jan Reimann, Stephen Simpson.

Title:Applications of Slaman-Woodin coding
Seminar:Logic Seminar
Speaker:Keita Yokoyama, Tokyo Institute of Technology and Pennsylvania State University
In this talk, I will explain several applications of the coding theorem for Turing degrees by Slaman and Woodin, including Simpson's theorem which states that the theory of Turing degrees and the second-order theory of arithmetic are biinterpretable, and the theorem by Nerode and Shore which states that every automorphism of Turing degrees is the identity on a cone.

Room Reservation Information

Room Number:MB315
Date:03 / 27 / 2012
Time:02:30pm - 03:45pm