The Field of Reals with a Predicate for the Powers of Two.
Dries, Lou van den
Manuscripta mathematica, Tome 55 (1986), p. 187-196 / Harvested from Göttinger Digitalisierungszentrum
Publié le : 1986-01-01
EUDML-ID : urn:eudml:doc:155108
@article{GDZPPN002226839,
     title = {The Field of Reals with a Predicate for the Powers of Two.},
     journal = {Manuscripta mathematica},
     volume = {55},
     year = {1986},
     pages = {187-196},
     zbl = {0631.03020},
     url = {http://dml.mathdoc.fr/item/GDZPPN002226839}
}
Dries, Lou van den. The Field of Reals with a Predicate for the Powers of Two.. Manuscripta mathematica, Tome 55 (1986) pp. 187-196. http://gdmltest.u-ga.fr/item/GDZPPN002226839/