| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 5778110 | Annals of Pure and Applied Logic | 2017 | 12 Pages |
Abstract
We will prove that the theory of all modules over the ring of algebraic integers is decidable.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Sonia L'Innocente, Carlo Toffalori, Gena Puninski,