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.
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.