PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

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