Digging Out Pointed Sets

Liang Yu (Nanjing U)

Jun 30. 2025, 09:30 — 10:15

We review some some recursion theory techniques to dig out a pointed subset from a ``well behaved" set of reals.

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)