Geodesic
Quantifier elimination for modules.
Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 1-12

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

Zbl
Mots-clés : decidability, model theory of modules, ideal bases, modules over von Neumann regular rings, modules over principal ideal domains, Dedekind domains, divisible modules, cyclic modules, modules over discrete valuation rings 
Volker Weispfennig. Quantifier elimination for modules.. Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 1-12. http://geodesic.mathdoc.fr/item/AMLG_1985__25_138031/
@article{AMLG_1985__25_138031,
     author = {Volker Weispfennig},
     title = {Quantifier elimination for modules.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {1--12},
     year = {1985},
     volume = {25},
     zbl = {0609.03011},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1985__25_138031/}
}
TY  - JOUR
AU  - Volker Weispfennig
TI  - Quantifier elimination for modules.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1985
SP  - 1
EP  - 12
VL  - 25
UR  - http://geodesic.mathdoc.fr/item/AMLG_1985__25_138031/
ID  - AMLG_1985__25_138031
ER  - 
%0 Journal Article
%A Volker Weispfennig
%T Quantifier elimination for modules.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1985
%P 1-12
%V 25
%U http://geodesic.mathdoc.fr/item/AMLG_1985__25_138031/
%F AMLG_1985__25_138031