Geodesic
The logic of Rumely's local-global principle.
Journal für die reine und angewandte Mathematik, Tome 407 (1990), pp. 33-56.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : complete theory, quantifier elimination theorem for good Rumeley domains 
@article{JRAM_1990__407_153228,
     author = {L. van den Dries and Angus Macintyre},
     title = {The logic of {Rumely's} local-global principle.},
     journal = {Journal f\"ur die reine und angewandte Mathematik},
     pages = {33--56},
     publisher = {mathdoc},
     volume = {407},
     year = {1990},
     zbl = {0703.13021},
     url = {http://geodesic.mathdoc.fr/item/JRAM_1990__407_153228/}
}
TY  - JOUR
AU  - L. van den Dries
AU  - Angus Macintyre
TI  - The logic of Rumely's local-global principle.
JO  - Journal für die reine und angewandte Mathematik
PY  - 1990
SP  - 33
EP  - 56
VL  - 407
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JRAM_1990__407_153228/
ID  - JRAM_1990__407_153228
ER  - 
%0 Journal Article
%A L. van den Dries
%A Angus Macintyre
%T The logic of Rumely's local-global principle.
%J Journal für die reine und angewandte Mathematik
%D 1990
%P 33-56
%V 407
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JRAM_1990__407_153228/
%F JRAM_1990__407_153228
L. van den Dries; Angus Macintyre. The logic of Rumely's local-global principle.. Journal für die reine und angewandte Mathematik, Tome 407 (1990), pp. 33-56. http://geodesic.mathdoc.fr/item/JRAM_1990__407_153228/