Definability and undecidability via the torsion subgroup of units
En palabras de los autores
In this paper, we prove that is first-order definable in the ring of integers of the maximal abelian extension of , which implies that the first-order theory of is undecidable. More generally, writing and for the field of all totally real numbers, we prove new definability and undecidability results for rings of integers of subfields of , focusing especially on fields which contain infinitely many roots of unity. The key ingredient for these results is that there is a parameter-free positive-existential formula which defines the roots of unity inside for every field .
Resultado principalLimitación que admiten los autores
Apareció: jueves, 24 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 16 pages