2021/10/17 by Matthew Foreman, Foreman, Matthew
Computer Science · #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.2110.08881
openalex publication_date 2021/10/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The paper is a naive introduction to descriptive set theory. It is aimed mathematicians without a background in logic. The goal is to provide the basic facts used for applications of descriptive set theory to other areas of mathematics, particularly analysis and dynamical systems. The only topological or set theoretic background required is covered in undergraduate courses. It covers the hierarchy of Borel sets and the analytic sets, trees, Suslin's operation A, reductions, norms, separation theorems and uniformization.