PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:Determinacy of Wadge classes and subsystems of second-order arithmetic
Seminar:Logic Seminar
Speaker:Takako Nemoto, JAIST, Japan
I will discuss determinacy schemata motivated by Wadge hierarchy, which is finer than Borel hierarchy, and the hierarchy of them in second-order arithmetic. I will introduce characterizations of subsystems of second-order arithmetic, not only the Big Five systems, but also relatively minor systems, by determinacy schemata.

Room Reservation Information

Room Number:MB315
Date:11 / 03 / 2009
Time:02:30pm - 03:45pm