Skip to main content
3 of 3
edited tags; edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Is $\mathbb{Z}$ universally definable in any number fields other than $\mathbb{Q}$?

In 2009, Jochen Koenigsmann showed that $\mathbb{Z}$ is universally definable in the field $\mathbb{Q}$. My question is, are there any other number fields in which $\mathbb{Z}$ is universally definable?

Or failing that, what is the lowest complexity definition of $\mathbb{Z}$ known for a number field other than $\mathbb{Q}$?

Keshav Srinivasan
  • 4.6k
  • 2
  • 25
  • 51