We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains whose localizations at maximal ideals have dense value groups. For Bézout domains, these conditions are also necessary.
Decidability of the theory of modules over Prüfer domains with dense value groups
Gregory, Lorna;L'Innocente, Sonia;Toffalori, Carlo
2019-01-01
Abstract
We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains whose localizations at maximal ideals have dense value groups. For Bézout domains, these conditions are also necessary.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
GTL1.pdf
solo gestori di archivio
Descrizione: Paper
Tipologia:
Versione Editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
719.19 kB
Formato
Adobe PDF
|
719.19 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
innocente toffalori.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
DRM non definito
Dimensione
295.76 kB
Formato
Adobe PDF
|
295.76 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
