On the decidability of the theory of modules over the ring of algebraic integers
| Autor: | Carlo Toffalori, Sonia L'Innocente, Gennadi Puninski |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
TheoryofComputation_MISCELLANEOUS
Discrete mathematics Ring (mathematics) Mathematics::Commutative Algebra Logic 010102 general mathematics 03C98 03B25 13C11 Mathematics - Logic 0102 computer and information sciences 01 natural sciences Decidability 010201 computation theory & mathematics ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION FOS: Mathematics Computer Science::Programming Languages 0101 mathematics Algebraic number Logic (math.LO) Computer Science::Formal Languages and Automata Theory Mathematics |
| Zdroj: | Annals of Pure and Applied Logic. 168:1507-1516 |
| ISSN: | 0168-0072 |
| DOI: | 10.1016/j.apal.2017.02.003 |
| Popis: | We prove that the theory of all modules over the ring of algebraic integers is decidable. Comment: 13 pages |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect