Publications > Preprint server > Preprint Number 1023
Preprint Number 1023
1023. Sonia L'Innocente, Carlo Toffalori and Gena Puninski
On the decidability of the theory of modules over the ring of algebraic integers
Submission date: 30 March 2016.
We prove that the theory of all modules over the ring of algebraic integers is decidable. We discuss the decidability problem of theories of modules over related Bézout domains.
Mathematics Subject Classification: O3B25, 03C98 (primary), 13C11
Keywords and phrases: Ring of algebraic integers, Decidability of theories of modules
|Last updated: April 1 2016 16:04||Please send your corrections to:|