Borel classes in AST. Measurability, cuts and equivalence Martin Kalina, Pavol Zlatoš (1989) Commentationes Mathematicae Universitatis Carolinae
Bounds in the theory of polynomial rings over fields. A nonstandard approach. K. Schmidt, L. van den Dries (1984) Inventiones mathematicae