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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/398464
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 8
social impact