On the decidability of the theory of modules over the ring of algebraic integers

We will prove that the theory of all modules over the ring of algebraic integers is decidable.

Saved in:
Bibliographic Details
Published in:Annals of pure and applied logic 2017-08, Vol.168 (8), p.1507-1516
Main Authors: L'Innocente, Sonia, Toffalori, Carlo, Puninski, Gena
Format: Article
Language:English
Subjects:
Decidability of the theory of modules
Ring of algebraic integers
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We will prove that the theory of all modules over the ring of algebraic integers is decidable.
ISSN:0168-0072
DOI:10.1016/j.apal.2017.02.003