Timeline for Primitive recursive arithmetic via universal algebra
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 24, 2020 at 9:38 | comment | added | Todd Trimble | @YCor It's not absolutely precise, but it might be a reasonable stopgap. I'll think about it. | |
| Apr 24, 2020 at 9:19 | comment | added | YCor | Would 'peano-arithmetic' fit this question? a tag specific to the "arithmetic foundations" aspect of the question is missing, and browsing questions relative to PRA gave no consistent obvious solution. | |
| Apr 24, 2020 at 9:16 | history | edited | YCor | CC BY-SA 4.0 |
formatting
|
| S Apr 1, 2015 at 5:18 | history | bounty ended | CommunityBot | ||
| S Apr 1, 2015 at 5:18 | history | notice removed | CommunityBot | ||
| Mar 31, 2015 at 4:22 | vote | accept | Rex Butler | ||
| S Mar 24, 2015 at 3:43 | history | bounty started | Rex Butler | ||
| S Mar 24, 2015 at 3:43 | history | notice added | Rex Butler | Improve details | |
| Feb 21, 2015 at 23:47 | vote | accept | Rex Butler | ||
| Feb 24, 2015 at 21:48 | |||||
| Feb 20, 2015 at 10:08 | comment | added | Emil Jeřábek | I don't understand the question. The Wikipedia page tells you how to present PRA as an equational theory, and the history of this presentation. What else remains to be answered? | |
| Feb 20, 2015 at 5:14 | answer | added | Todd Trimble | timeline score: 10 | |
| Feb 20, 2015 at 2:26 | answer | added | Noah Schweber | timeline score: 3 | |
| Feb 20, 2015 at 1:40 | comment | added | The Masked Avenger | It depends on what you want to study, equational theories of ( certain subclasses of ) rings, or certain theories which involve the total or even partial order as it relates to the operations. There are other complexity issues as well, e.g. bounded arithmetic. Samuel Buss is a name associated with this latter study. | |
| Feb 19, 2015 at 23:09 | history | asked | Rex Butler | CC BY-SA 3.0 |