Non-Borel set/Advanced

From Citizendium
< Non-Borel set
Revision as of 12:12, 20 June 2009 by imported>Boris Tsirelson (see book (moved from the article))
Jump to navigation Jump to search
This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
Advanced [?]
 
An advanced level version of Non-Borel set.

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.