Timeline for The (un)decidability of Robinson-Arithmetic-without-Multiplication?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
| Jul 26, 2014 at 7:29 | vote | accept | Peter Smith | ||
| Jul 25, 2014 at 11:58 | history | edited | Peter Smith | CC BY-SA 3.0 |
edited body
|
| Jul 25, 2014 at 11:58 | comment | added | Peter Smith | Oops that was a typo! | |
| Jul 25, 2014 at 11:36 | answer | added | Emil Jeřábek | timeline score: 20 | |
| Jul 25, 2014 at 11:27 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
cross-link
|
| Jul 25, 2014 at 11:23 | comment | added | Emil Jeřábek | Robinson arithmetic has $Sx\ne0$ in place of your axiom 1. Is this change intentional? | |
| Jul 25, 2014 at 10:59 | history | asked | Peter Smith | CC BY-SA 3.0 |