Quantifier elimination for modules.
Archiv für mathematische Logik und Grundlagenforschung (1985)
- Volume: 25, page 1-12
- ISSN: 0003-9268
Access Full Article
top
How to cite
topWeispfennig, Volker. "Quantifier elimination for modules.." Archiv für mathematische Logik und Grundlagenforschung 25 (1985): 1-12. <http://eudml.org/doc/138031>.
@article{Weispfennig1985,
author = {Weispfennig, Volker},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {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},
pages = {1-12},
title = {Quantifier elimination for modules.},
url = {http://eudml.org/doc/138031},
volume = {25},
year = {1985},
}
TY - JOUR
AU - Weispfennig, Volker
TI - Quantifier elimination for modules.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1985
VL - 25
SP - 1
EP - 12
KW - 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
UR - http://eudml.org/doc/138031
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.