On the decidability of the theory of modules over the ring of algebraic integers
نشر في Carlo Toffalori
بتاريخ 2016
والبحث باللغة
English
تحميل البحث
الملخص بالإنكليزية
We prove that the theory of all modules over the ring of algebraic integers is decidable.
تحميل البحث