Non-Borel set/Advanced
Jump to navigation
Jump to search
The set under consideration is analytic, and complete in the class of analytic sets; therefore it is not Borel. For more details see descriptive set theory and the book by Kechris, especially Exercise (27.2) on page 209, Definition (22.9) on page 169, and Exercise (3.4)(ii) on page 14.