The Field of Reals with a Predicate for the Powers of Two.
Manuscripta mathematica, Tome 54 (1986), pp. 187-196
Cet article a éte moissonné depuis la source European Digital Mathematics Library
@article{MM2_1986__54_155108,
author = {Lou van den Dries},
title = {The {Field} of {Reals} with a {Predicate} for the {Powers} of {Two.}},
journal = {Manuscripta mathematica},
pages = {187--196},
year = {1986},
volume = {54},
zbl = {0631.03020},
url = {http://geodesic.mathdoc.fr/item/MM2_1986__54_155108/}
}
Lou van den Dries. The Field of Reals with a Predicate for the Powers of Two.. Manuscripta mathematica, Tome 54 (1986), pp. 187-196. http://geodesic.mathdoc.fr/item/MM2_1986__54_155108/