Timeline for Computability complexity of the first-order theory of arithmetic?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jul 9, 2013 at 2:20 | history | suggested | jeq | CC BY-SA 3.0 |
Two English corrections
|
| Jul 9, 2013 at 1:51 | review | Suggested edits | |||
| S Jul 9, 2013 at 2:20 | |||||
| Jun 5, 2013 at 4:58 | comment | added | Noah Schweber | If this answers your question, you can accept by clicking the check mark to the left of the answer. | |
| May 29, 2013 at 3:00 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 527 characters in body
|
| May 29, 2013 at 2:49 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 1650 characters in body; added 161 characters in body
|
| May 29, 2013 at 2:41 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 732 characters in body
|
| May 29, 2013 at 2:29 | history | answered | Noah Schweber | CC BY-SA 3.0 |