Timeline for Formal definition of arithmetic transfinite recursion
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 25, 2015 at 17:07 | vote | accept | Wojowu | ||
| Mar 25, 2015 at 17:01 | answer | added | Jason Rute | timeline score: 6 | |
| Mar 24, 2015 at 22:18 | comment | added | Andreas Blass | Emil is right about Simpson's book. In more detail: Stephen G. Simpson, "Systems of Second-Order Arithmetic" | |
| Mar 24, 2015 at 21:17 | comment | added | Emil Jeřábek | Though if you want a simple formula, the Wikipedia article mentions that it is equivalent to $\mathrm{ACA}_0 + \Sigma^1_1$-separation. | |
| Mar 24, 2015 at 21:15 | comment | added | Emil Jeřábek | Simpson’s book. | |
| Mar 24, 2015 at 20:42 | history | asked | Wojowu | CC BY-SA 3.0 |