$\mathbb Q\setminus \mathbb Z$ is diophantine over $\mathbb Q$ with $32$ unknowns (Q6170237)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: $\mathbb Q\setminus \mathbb Z$ is diophantine over $\mathbb Q$ with $32$ unknowns |
scientific article; zbMATH DE number 7711397
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | $\mathbb Q\setminus \mathbb Z$ is diophantine over $\mathbb Q$ with $32$ unknowns |
scientific article; zbMATH DE number 7711397 |
Statements
$\mathbb Q\setminus \mathbb Z$ is diophantine over $\mathbb Q$ with $32$ unknowns (English)
0 references
12 July 2023
0 references
undecidability
0 references
definability
0 references
Diophantine sets
0 references
Hilbert's tenth problem over \(\mathbb{Q}\)
0 references
mixed quantifiers
0 references