Computable structure theory

Ekaterina Fokina (TU Wien)

Jul 28. 2025, 10:00 — 11:00

In this tutorial, we will explore fundamental results and tools from computable structure theory and discuss how they can be applied within the framework of reverse mathematics.

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)