For more information about this meeting, contact Jan Reimann, Stephen Simpson.
| Title: | Reverse Mathematics from the view point of Nonstandard Analysis |
|---|
| Seminar: | Logic Seminar |
|---|
| Speaker: | Keita Yokoyama, Pennsylvania State University and Tokyo Institute of Technology |
|---|
| Abstract: |
|---|
| Nonstandard arguments for reverse mathematics were first introduced by
Tanaka based on the model theory of arithmetic.
On the other hand, Keisler characterized "big five" systems of
second-order arithmetic by nonstandard arithmetic.
Combining these ideas, we can do reverse mathematics for nonstandard
analysis in a nonstandard expansion of second-order arithmetic.
In this talk, I will first give a short introduction of nonstandard
analysis, then, explain how to do reverse mathematics for nonstandard
analysis. |
Room Reservation Information
| Room Number: | MB315 |
|---|
| Date: | 10 / 25 / 2011 |
|---|
| Time: | 02:30pm - 03:45pm |
|---|
