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.
Decidability of the theory of modules over discrete valuation domains / PUNINSKI G.; PUNINSKAYA V.; TOFFALORI C.. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - 145:3(2007), pp. 258-275.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | Decidability of the theory of modules over discrete valuation domains | |
| Autori: | ||
| Data di pubblicazione: | 2007 | |
| Rivista: | ||
| Citazione: | Decidability of the theory of modules over discrete valuation domains / PUNINSKI G.; PUNINSKAYA V.; TOFFALORI C.. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - 145:3(2007), pp. 258-275. | |
| 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 © 2021