Iterated Priority Arguments in Descriptive Set Theory

MaRDI QIDQ6417299zbMATH OpenFDO

Authors Adam R. Day, Noam Greenberg, Matthew Harrison-Trainor, Dan Turetsky

Publication date 15 November 2022

Mathematics Subject Classification ID

Computability and recursion theory (03D99)

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 ${mathbfDelta}_x^{0}i$, Louveau and Saint-Raymond's separation theorem, and Louveau's separation theorem.

This page was built for publication: Iterated Priority Arguments in Descriptive Set Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6417299)