Timeline for Are there any natural recursively but not primitive-recursively axiomatized theories?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 30, 2012 at 22:37 | vote | accept | Peter Smith | ||
| Jun 30, 2012 at 22:38 | |||||
| Jun 30, 2012 at 14:31 | answer | added | Ali Enayat | timeline score: 13 | |
| Jun 29, 2012 at 21:24 | vote | accept | Peter Smith | ||
| Jun 30, 2012 at 22:37 | |||||
| Jun 29, 2012 at 17:07 | answer | added | Joel David Hamkins | timeline score: 10 | |
| Jun 29, 2012 at 14:09 | history | asked | Peter Smith | CC BY-SA 3.0 |