The limit of deteremiancy in second order logic

Antonio Montalbán (UC, Berkeley)

Jul 01. 2025, 09:30 — 10:15

This is joint work with Richard A. Shore from a few years ago. We find the exact amount of determinacy that can be proved within second order arithmetics. For that, we need to dig deep into n-admissible ordinals and other techniques from higher computability theory. I will show how n-admissible ordinals come into play in the proof.

Further Information
Venue:
ESI Schrödinger and Boltzmann Lecture Hall
Recordings:
Recording
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)