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