$\mathbb Q\setminus \mathbb Z$ is diophantine over $\mathbb Q$ with $32$ unknowns

DOI10.4064/ba221231-19-3arXiv2104.02520OpenAlexW4287239825MaRDI QIDQ6170237

Unnamed Author, Zhi-Wei Sun

Publication date: 12 July 2023

Published in: Bulletin of the Polish Academy of Sciences Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2104.02520

zbMATH Keywords

undecidabilitydefinabilityDiophantine setsmixed quantifiersHilbert's tenth problem over \(\mathbb{Q}\)

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Algebraic number theory: local fields (11S99) Recursively (computably) enumerable sets and degrees (03D25) Diophantine equations (11D99)

Related Items

Universally defining Z$\mathbb {Z}$ in Q$\mathbb {Q}$ with 10 quantifiers