2000 character limit reached
Iterated Priority Arguments in Descriptive Set Theory
Published 15 Nov 2022 in math.LO | (2211.07958v1)
Abstract: We present the true stages machinery and illustrate its applications to descriptive set theory. We use this machinery to provide new proofs of the Hausdorff-Kuratowski and Wadge theorems on the structure of ${\mathbf \Delta}0_\xi$, Louveau and Saint-Raymond's separation theorem, and Louveau's separation theorem.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.