We will prove that the theory of all modules over the ring of algebraic integers is decidable.
On the decidability of the theory of modules over the ring of algebraic integers
L'INNOCENTE, Sonia;TOFFALORI, Carlo;
2017-01-01
Abstract
We will prove that the theory of all modules over the ring of algebraic integers is decidable.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
arXiv1603.09042 [math.LO].pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
DRM non definito
Dimensione
172.71 kB
Formato
Adobe PDF
|
172.71 kB | Adobe PDF | Visualizza/Apri |
|
Annals of Pure and Applied Logic, 2017 168 pp. 1507–1516.pdf
solo gestori di archivio
Tipologia:
Versione Editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
337.2 kB
Formato
Adobe PDF
|
337.2 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
