Talk:Suslin's theorem

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

Did Suslin prove only for the case of $\mathbb {R}$? 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)