Assertion: projective set | /r/HasProperty | determined
Facets:
value: pd
type: OTHER
Source sentences:
text: Strong forcing axioms, such as the PFA and MM imply that all projective sets of reals are determined (PD), and have many other strong consequences in infinite combinatorics.