Itay Neeman Jindrich Zapletal Proper Forcing and L(Real). 801-810 2001 66 J. Symb. Log. 2 db/journals/jsyml/jsyml66.html#NeemanZ01