Jump to content

Talk:Suslin's theorem

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

There is an analytic subset of the reals that is not Borel

[edit]

Did Suslin prove only for the case of ? This link says that the result is true in any uncountable Polish space.

Also, how much choice is used in the proof? (This post may be relevant.) 129.104.241.214 (talk) 12:17, 12 February 2024 (UTC)[reply]