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