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: Felix - Introduction to Steel forcing. Lutz (2022) How to Use Steel Forcing
• Antonio - Montalbán (2006) Indecomposable Linear Orderings and Hyperarithmetic Analysis
• Liza - Marker (1988) An analytic equivalence relation not arising from a Polish group action
• Atticus - Becker, Dougherty (1999) On Disjoint Borel Uniformizations
• Ted - Steel (1978) Forcing with tagged trees rescan
• Daniel - Becker (2017) Strange Structures from Computable Model theory
• Suyash - Harrington (1978) Analytic Determinacy and 0#
• Mohammed - Hjorth (1998) An absoluteness principle for Borel sets