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

by L van
Venue:Manuscripta Math