Projective forcing (1997)

by Joan Bagaria, Roger Bosch
Venue:Ann. Pure Appl. Logic