Undecidability of ${\mathbb{Q}}^{(2)}$

Carlos Martinez-Ranero, Javier Utreras, Carlos R. Videla

It is shown that the compositum ${\mathbb{Q}}^{(2)}$ of all degree 2 extensions of $\mathbb{Q}$ has undecidable theory.