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

Abstract

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