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

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

Published 2018-09-12Version 1

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