pipette
ESEspañol

Definability and undecidability via the torsion subgroup of units

Caleb Springer

Preprint

In the authors' words

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 .

Main resultLimitation the authors admit

Appeared: Thursday, September 24. arXiv. Preprint, not yet peer-reviewed.

Authors' comment: 16 pages