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.

Cited by in corpus (4)

• On the Northcott property for infinite extensions
• Universal quadratic forms and Northcott property of infinite number fields
• Definability and decidability for rings of integers in totally imaginary fields
• Most totally real fields do not have universal forms or Northcott property