English

Undecidability, unit groups, and some totally imaginary infinite extensions of $\mathbb{Q}$

Number Theory 2020-06-02 v2 Logic

Abstract

We produce new examples of totally imaginary infinite extensions of Q\mathbb{Q} which have undecidable first-order theory by generalizing the methods used by Martinez-Ranero, Utreras and Videla for Q(2)\mathbb{Q}^{(2)}. In particular, we use parametrized families of polynomials whose roots are totally real units to apply methods originally developed to prove the undecidability of totally real fields. This proves the undecidability of Qab(d)\mathbb{Q}^{(d)}_{ab} for all d2d \geq 2.

Keywords

Cite

@article{arxiv.1910.01239,
  title  = {Undecidability, unit groups, and some totally imaginary infinite extensions of $\mathbb{Q}$},
  author = {Caleb Springer},
  journal= {arXiv preprint arXiv:1910.01239},
  year   = {2020}
}

Comments

11 pages

R2 v1 2026-06-23T11:33:16.536Z