Timeline for Decidability of diophantine equation in a theory
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 10, 2016 at 14:55 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
correct reference
|
| Apr 26, 2016 at 11:15 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
reference for Q
|
| Jan 26, 2015 at 11:06 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
correction
|
| Jan 22, 2015 at 14:17 | vote | accept | srs | ||
| Jan 22, 2015 at 14:17 | comment | added | srs | Emil, thank you very much for your very conclusive answer! I will look at your references wrt. formal MRDP and your proof. | |
| Jan 22, 2015 at 14:08 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
do the argument for Q properly
|
| Jan 22, 2015 at 12:02 | comment | added | Emil Jeřábek | I had a nagging déjà écrit feeling the whole time. Now I found it: mathoverflow.net/a/168412 . | |
| Jan 21, 2015 at 23:03 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
added 693 characters in body
|
| Jan 21, 2015 at 22:28 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
added 1143 characters in body
|
| Jan 21, 2015 at 21:42 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |