A proof of projective determinacy (1989)

by D A Martin, J R Steel
Venue:J. Amer. Math. Soc