{"id":"arxiv/2607.28606","url":"https://arxiv.org/abs/2607.28606","tags":["math.NT","math.LO"],"score":0,"title":"$\\mathbb Q\\setminus\\mathbb Z$ is diophantine over $\\mathbb Q$ with $7$ unknowns","domain":"math.NT","source":"arxiv","authors":["Zhi-Wei Sun"],"reviews":0,"subject":"math.NT","summary":"In 2016 J. Koenigsmann proved that $\\mathbb Q\\setminus\\mathbb Z$ is diophantine over $\\mathbb Q$, i.e., there is a polynomial $P(t,x_1,\\ldots,x_{n})\\in\\mathbb Z[t,x_1,\\ldots,x_{n}]$ such that for any rational number $t$ we have $$t\\not\\in\\mathbb Z\\iff \\exists x_1,\\ldots,x_{n}\\in\\mathbb Q\\,[P(t,x_1,\\ldots,x_{n})=0].$$ In this paper we show that we may take $n=7$ which improves the previous record $n=10$ obtained by Daans in 2024. (Actually we even extend this to any global field.) This, together with a previous result of Z.-W. Sun, implies that there is no algorithm to decide for any…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}