True Stages -- From Priority Arguments to Descriptive Set Theory

Abstract: The true stages machinery was conceived as a technique for organizing complex priority constructions in computability theory, much like Ash's metatheorem. With a little modification, however, it can prove remarkably useful in descriptive set theory. Using this machinery, we can obtain nice proofs of results of Wadge, Hausdorff and Kuratowski, and Louveau, sometimes strengthening the result in the process. Without getting too deep into the details, I will give the ideas of the machinery and how it applies to descriptive set theory.

logic

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic