Example image of eyePlorer eyePlorer map for 'Projective hierarchy': Analytic set Baire space (set theory) Cantor space Complement Descriptive set theory Polish space Real line Analytical hierarchy Effective descriptive set theory Effective Polish space Axiom of projective determinacy Coanalytic set Alexander S. Kechris Steve Jackson (mathematician) Universally measurable set Property of Baire Inductive set L(R) Difference hierarchy Uniformization (set theory) Perfect set property Axiom of determinacy Determinacy Borel determinacy theorem Set theory