but not the axiom of choice, every set of reals has the perfect set property, so the use of the axiom of choice is necessary. Every analytic set has the perfect set property. It follows from the existence of sufficiently large cardinals that every projective set has the perfect set property.

Generalizations

Let be the least uncountable ordinal. In an analog of Baire space

1.Previous
3.Next