The elementary theory of Abelian groups with m-chains of pure subgroups Andreas Baudisch (1981) Fundamenta Mathematicae
The Field of Reals with a Predicate for the Powers of Two. Lou van den Dries (1986) Manuscripta mathematica
The model theory of generalized real closed fields. Bill Jacob (1981) Journal für die reine und angewandte Mathematik