Borel classes in AST. Measurability, cuts and equivalence Martin Kalina, Pavol Zlatoš (1989) Commentationes Mathematicae Universitatis Carolinae
Bounds and definablity over fields. Karsten Schmidt-Göttsch (1987) Journal für die reine und angewandte Mathematik