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

Caleb Springer

We produce new examples of totally imaginary infinite extensions of $\mathbb{Q}$ which have undecidable first-order theory by generalizing the methods used by Martinez-Ranero, Utre…