| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662567 | Annals of Pure and Applied Logic | 2007 | 18 Pages |
Abstract
We prove that, if V is an effectively given commutative valuation domain such that its value group is dense and archimedean, then the theory of all V-modules is decidable.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
