Timeline for Between mu- and primitive recursion
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 21, 2016 at 8:31 | comment | added | user39297 | I dropped you e-mail. Ping me if you don't receive it. | |
| Aug 20, 2016 at 22:47 | comment | added | Gro-Tsen | @FFF If your license thesis is of the survey kind and is available online, I'm interested in seeing it! | |
| Aug 20, 2016 at 6:42 | comment | added | user39297 | Actually I'm here again but behind different nick. As it happens the answers gave pointers that led me to the theory of subrecursive hierarchies and I wrote a licentiate thesis about them. I'm still hoping to write a PhD thesis on the subject, but as this is only a hobby I have postponed the project year by year. I would guess one can define a hierarchy with the primitive recursion on higher types but I couldn't do it. | |
| Jan 16, 2016 at 23:11 | history | answered | Gro-Tsen | CC BY-SA 3.0 |