$\mathbb Q\setminus \mathbb Z$ is diophantine over $\mathbb Q$ with $32$ unknowns
From MaRDI portal
Publication:6170237
DOI10.4064/ba221231-19-3arXiv2104.02520OpenAlexW4287239825MaRDI QIDQ6170237
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
undecidabilitydefinabilityDiophantine setsmixed quantifiersHilbert's tenth problem over \(\mathbb{Q}\)
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