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 E-mail: Submission date: 30 March 2016. Abstract: 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: March 23 2021 09:20 | Please send your corrections to: |