Elimination theory for the ring of algebraic integers.
Journal für die reine und angewandte Mathematik, Tome 388 (1988), pp. 189-205
Voir la notice de l'article provenant de la source European Digital Mathematics Library
Mots-clés :
model theory, elimination theorem, elementary problem, algebraic integer points on absolutely irreducible varieties, decidable
Lou van den Dries. Elimination theory for the ring of algebraic integers.. Journal für die reine und angewandte Mathematik, Tome 388 (1988), pp. 189-205. http://geodesic.mathdoc.fr/item/JRAM_1988__388_153043/
@article{JRAM_1988__388_153043,
author = {Lou van den Dries},
title = {Elimination theory for the ring of algebraic integers.},
journal = {Journal f\"ur die reine und angewandte Mathematik},
pages = {189--205},
year = {1988},
volume = {388},
zbl = {0659.12021},
url = {http://geodesic.mathdoc.fr/item/JRAM_1988__388_153043/}
}