PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

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

Title:Pi^1_1-conservative extensions of subsystems of second-order arithmetic.
Seminar:Logic Seminar
Speaker:Keita Yokoyama, Tokyo Institute of Technology
For the study of reverse mathematics, (Pi^1_1-)conservation results between two different systems are very important. Many important theorems are well-known, e.g., WKL_0 and RCA_0^+ are Pi^1_1-conservative extensions of RCA_0. Moreover, we can show the following: for given a Pi^1_2-theory T, there exists a maximal Pi^1_2-theory which is Pi^1_1-conservative over T. Then, what is the maximal extension of RCA_0, ACA_0, etc. in this sense? In this talk, I will give a survey on this topic including Henry Towsner's resent results.

Room Reservation Information

Room Number:MB315
Date:03 / 12 / 2013
Time:02:30pm - 03:45pm