Timeline for ERA, PRA, PA, transfinite induction and equivalences
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 6, 2013 at 13:58 | comment | added | Primitive Recursive Fab | Sorry for the bad TI notation, it was 1st order transfinite induction up to $epsilon_0$. Thanks for your answer, all is now much clearer to mo. | |
| Mar 6, 2013 at 13:56 | vote | accept | Primitive Recursive Fab | ||
| Mar 6, 2013 at 12:35 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
spelling
|
| Mar 6, 2013 at 12:34 | answer | added | Emil Jeřábek | timeline score: 9 | |
| Mar 6, 2013 at 6:40 | history | asked | Primitive Recursive Fab | CC BY-SA 3.0 |