Homogeneous formulas and definability theorems
1981 ◽
pp. 109-116