Projective Forcing. - Joan Bagaria; Roger Bosch (Ann. Pure Appl. Log., 1997)

Proper forcing extensions and Solovay models. - Joan Bagaria; Roger Bosch (Arch. Math. Log., 2004)

Solovay models and forcing extensions. - Joan Bagaria; Roger Bosch (J. Symb. Log., 2004)