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