CAMPUS è l'Archivio istituzionale delle pubblicazioni scientifiche dell’Università di Camerino. E’ un sistema aperto, pubblico e interoperabile che raccoglie, conserva ed espone i dati relativi alle attività e ai prodotti della ricerca dell’Ateneo con lo scopo di migliorarne la visibilità e di favorirne l’impatto a livello nazionale e internazionale.
EnglishWe 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.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11581/115924| Titolo: | Decidability of the theory of modules over discrete valuation domains |
| Autori interni: | TOFFALORI, Carlo |
| Data di pubblicazione: | 2007 |
| Rivista: | ANNALS OF PURE AND APPLIED LOGIC |
| 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. |
| Handle: | http://hdl.handle.net/11581/115924 |
| Appare nelle tipologie: | Articolo |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2017