Timeline for Is Multilinear Hilbert's tenth problem version undecidable?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 3, 2019 at 6:22 | comment | added | Emil Jeřábek | By Sidney Raffer’s answer (or rather, his comment below his answer), the conjecture as written is false. | |
| Sep 17, 2019 at 21:22 | comment | added | GH from MO | For the case of ternary quadratic forms, see mathoverflow.net/questions/341845/… | |
| Sep 17, 2019 at 16:30 | history | edited | user44143 | CC BY-SA 4.0 |
barely non-trivial edits
|
| Sep 9, 2019 at 18:52 | history | edited | user44143 | CC BY-SA 4.0 |
added proof of conjecture mod p^r
|
| Sep 5, 2019 at 15:30 | history | edited | user44143 | CC BY-SA 4.0 |
added more data on conjecture
|
| Aug 23, 2019 at 15:07 | comment | added | Will Sawin | For my question (local obstructions all take the specified form) I think it can be proved in an arbitrary number of variables. I will write this up shortly. | |
| Aug 23, 2019 at 14:28 | comment | added | user44143 | @WillSawin, I am hoping that the three-variable case can be solved by people who know the theory of ternary quadratics better than I do. I may work on reducing the four-variable case or higher to the three-variable case. | |
| Aug 23, 2019 at 13:09 | comment | added | Will Sawin | Can you prove that the equation is locally soluble if and only if the constant coefficient is a multiple of the gcd of the others? | |
| Aug 23, 2019 at 12:13 | history | answered | user44143 | CC BY-SA 4.0 |