Timeline for Between mu- and primitive recursion
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 25, 2013 at 3:02 | review | Late answers | |||
| Jun 27, 2013 at 8:19 | |||||
| Feb 7, 2011 at 8:40 | comment | added | Joel David Hamkins | The question and answers are about the hierarchy that arises without the $\mu$-operator, closing under primitive recursion but not unbounded search. | |
| Feb 7, 2011 at 5:53 | history | answered | Raj | CC BY-SA 2.5 |