Reverse mathematics for analysis: an introduction

Keita Yokoyama (Tohoku U)

Jul 29. 2025, 14:30 — 15:30

In this course, we will start by reviewing the "big five" and other subsystems of second-order arithmetic, along with their basic properties. Then, we will establish the definitions of open/closed sets and continuous functions for Polish spaces. With these set-ups, we will study in some reverse mathematics for basic analysis. If time permits, we will extend the definitions of functions on Polish spaces to explore additional topics in analysis.

Further Information
Venue:
ESI Schrödinger and Boltzmann Lecture Hall
Associated Event:
Reverse Mathematics (Thematic Programme)
Organizer(s):
Juan Aguilera (TU Vienna)
Linda Brown Westrick (Penn State U)
Noam Greenberg (Victoria U of Wellington)
Denis Hirschfeldt (U of Chicago)