PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

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

Title:On the reverse mathematics of Peano categoricity
Seminar:Logic Seminar
Speaker:Keita Yokoyama, Pennsylvania State University and Tokyo Institute of Technology
It is important in the foundations of mathematics that the natural number system is characterizable as a system of 0 and a successor function by second-order logic. In other words, the following Peano categoricity theorem holds: every Peano system(P,e,F) is isomorphic to the natural number system (N,0,S). In this talk, we will investigate the Peano categoricity theorem. This is a joint work with Stephen G. Simpson.

Room Reservation Information

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