I have recently been working through the consequences assuming the Axiom of Determinacy has and came across the fact that this axiom implies that every uncountable set of reals has the perfect set property. I find it to be pretty amazing that AD implies every subset of the reals is either countable or has a perfect subset. I was wondering what consequences this property has for the real numbers? Does it majorly change anything that we know to be true under the usual axioms of ZFC? I know the main result we get from this is CH, but is there any other interesting things that this implies?