For more information about this meeting, contact Jan Reimann, Stephen Simpson.
|Title:||On the reverse mathematics of Peano categoricity|
|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
|Date:||01 / 31 / 2012|
|Time:||02:30pm - 03:45pm|