Non-Borel set/Advanced: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (complete in the class of analytic sets) |
imported>Boris Tsirelson (see book (moved from the article)) |
||
| Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
The set under consideration is analytic, and complete in the class of analytic sets; therefore it is not Borel. | 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 [[Alexander_S._Kechris|Kechris]], especially Exercise (27.2) on page 209, Definition (22.9) on page 169, and Exercise (3.4)(ii) on page 14. | ||
Revision as of 11:12, 20 June 2009
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.