Skip to main content
edited tags; edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
typo in the title
Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

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

Source Link
Keshav Srinivasan
  • 4.6k
  • 2
  • 25
  • 51

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}$?