Skip to main content
2 of 3
typo in the title
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

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