den Dries, The field of reals with a predicate for the powers of two, Manuscripta Mathematica 54 (1985)

by L van