On the decidability of the theory of modules over the ring of algebraic integers
published by Carlo Toffalori
in 2016
and research's language is
English
Download
Abstract in English
We prove that the theory of all modules over the ring of algebraic integers is decidable.
Download