Sy D. Friedman Boban Velickovic Delta<sub>1</sub>-Definability. 93-99 1997 89 Ann. Pure Appl. Logic 1 db/journals/apal/apal89.html#FriedmanV97