Recursion Theory/Descriptive Set Theory Seminar - Fall 2026

---

Time: Fridays 11:00-12:30
Location: 736 Evans Hall
Topic: Steel forcing in computability and descriptive set theory.

Tentative schedule:

• Jan 30, Feb 6: Felix - Introduction to Steel forcing. Lutz (2022) How to Use Steel Forcing
• Feb 13, Feb 20 Antonio - Montalbán (2006) Indecomposable Linear Orderings and Hyperarithmetic Analysis
• Feb 27 - Jad - Marker (1988) An analytic equivalence relation not arising from a Polish group action
• March 6 - Ted - Steel (1978) Forcing with tagged trees
• March 13: Atticus - Becker, Dougherty (1999) On Disjoint Borel Uniformizations
• March 20: No seminar
• March 27 - spring recess
• April 3 - Daniel - more separations in reverse math from Steel forcing
• April 10 - No seminar
• April 17 - Daniel - part II
• April 24 - Suyash - Harrington (1978) Analytic Determinacy and 0#
• May 1 - Mohammed - Hjorth (1998) An absoluteness principle for Borel sets