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 |
|---|
| Abstract: |
|---|
| 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 |
|---|
