TY  - JOUR
AU  - Lou van den Dries
TI  - The Field of Reals with a Predicate for the Powers of Two.
JO  - Manuscripta mathematica
PY  - 1986
SP  - 187
EP  - 196
VL  - 54
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MM2_1986__54_155108/
ID  - MM2_1986__54_155108
ER  -