A subset of Z^n whose non-computability leads to the existence of a Diophantine equation whose solvability is logically undecidable (Q6226817)
From MaRDI portal
scientific article; zbMATH DE number 900130399
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A subset of Z^n whose non-computability leads to the existence of a Diophantine equation whose solvability is logically undecidable |
scientific article; zbMATH DE number 900130399 |
Statements
27 July 2011
0 references
math.LO
0 references
math.NT
0 references
