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

arxiv: 1603.09042 · v1 · pith:LLNL3LPZnew · submitted 2016-03-30 · 🧮 math.LO

Sonia L'Innocente , Carlo Toffalori , Gena Puninski This is my paper

classification 🧮 math.LO

keywords algebraicintegersmodulesringtheorydecidabilitydecidableprove

0 comments

read the original abstract

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

This paper has not been read by Pith yet.