For more information about this meeting, contact Jan Reimann, Stephen Simpson.
|Title:||Reverse Mathematics from the view point of Nonstandard Analysis (Part II)|
|Speaker:||Keita Yokoyama, Pennsylvania State University and Tokyo Institute of Technology|
|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
Room Reservation Information
|Date:||11 / 08 / 2011|
|Time:||02:30pm - 03:45pm|