Timeline for Between mu- and primitive recursion
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 23, 2010 at 14:53 | comment | added | Joel David Hamkins | But PR can extend to the side also, and not just upward; not every extension of PR involves fast-growing functions. For example, adding the characteristic function of a suitably generic real will not lead to any dominating functions at all. | |
| Nov 18, 2010 at 10:37 | vote | accept | CommunityBot | moved from User.Id=10891 by developer User.Id=35352 | |
| Dec 29, 2010 at 10:12 | |||||
| Nov 17, 2010 at 17:49 | comment | added | Andrés E. Caicedo | At a high level, this is very much the answer, in that it allows us to capture the strength of theories described by certain amount of recursion, while being independent of the actual presentation of the version of recursion being allowed (instead, as a typical example, we have access to a limited amount of induction). | |
| Nov 17, 2010 at 13:47 | history | answered | Robin Chapman | CC BY-SA 2.5 |