Priority arguments in descriptive set theory
Andrew Marks (UCLA)
Abstract: We give a new characterization of when a Borel set is Sigma^0_n complete for n at at least 3. This characterization is proved using Antonio Montalb\'an's true stages machinery for conducting priority arguments.
As an application, we prove the decomposability conjecture in descriptive set theory assuming projective determinacy. This conjecture characterizes precisely which Borel functions are decomposable into a countable union of continuous functions with $\Pi^0_n$ domains. Our proof also uses a theorem of Leo Harrington that assuming the axiom of determinacy there is no $\omega_1$ length sequence of distinct Borel sets of bounded rank. This is joint work with Adam Day.
logic
Audience: researchers in the topic
Computability theory and applications
Series comments: Description: Computability theory, logic
The goal of this endeavor is to run a seminar on the platform Zoom on a weekly basis, perhaps with alternating time slots each of which covers at least three out of four of Europe, North America, Asia, and New Zealand/Australia. While the meetings are always scheduled for Tuesdays, the timezone varies, so please refer to the calendar on the website for details about individual seminars.
Organizers: | Damir Dzhafarov*, Vasco Brattka*, Ekaterina Fokina*, Ludovic Patey*, Takayuki Kihara, Noam Greenberg, Arno Pauly, Linda Brown Westrick |
*contact for this listing |