Timeline for Decidability of diophantine equation in a theory
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 21, 2015 at 22:24 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 189 characters in body
|
| Jan 21, 2015 at 21:41 | comment | added | srs | Whoops, I meant "... does not show". I even was consistent with the missing negation! Thanks for pointing this out. | |
| Jan 21, 2015 at 20:02 | history | edited | Noah Schweber | CC BY-SA 3.0 |
deleted 217 characters in body
|
| Jan 21, 2015 at 19:56 | history | edited | Noah Schweber | CC BY-SA 3.0 |
deleted 217 characters in body
|
| Jan 21, 2015 at 19:49 | history | answered | Noah Schweber | CC BY-SA 3.0 |