Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1023

Preprint Number 1023

Previous Next Preprint server

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

Full text arXiv 1603.09042: pdf, ps.

Last updated: April 1 2016 16:04 Please send your corrections to: