PD implies that all projective sets are
Lebesgue measurable (in fact,
universally measurable) and have the
perfect set property and the
property of Baire. It also implies that every projective
binary relation may be
uniformized by a projective set. PD implies that for all positive integers n, there is a largest countable \Sigma^1_{2n} set. ==References==