Timeline for Connection between the two-variable case of Hilbert's Tenth Problem and Roth's Theorem.
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Apr 16, 2010 at 9:29 | comment | added | Sidney Raffer | @jamieweigandt: By "cut out" do you mean the minimum number of existential quantifiers necessary to give a diophantine definition of a given set? That would be consistent with the statement "Poonen is asking if the integers has diophantine dimension 2" ..... After all, one would use two quantifiers and a 3-variable polynomial f(x,y)-z in the diophantine definition of N, if the answer to Poonen's question is "yes". The question whether a non-computable set can be defined with just two quantifiers, is interesting by itself. | |
| Apr 15, 2010 at 23:05 | history | answered | James Weigandt | CC BY-SA 2.5 |