Talk:Suslin's theorem
Latest comment: 3 months ago by 129.104.241.214 in topic There is an analytic subset of the reals that is not Borel
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)