User contributions
Jump to navigation
Jump to search
- 10:45, 21 April 2018 diff hist +309 Complexity Zoo:P →PR: Primitive Recursive Functions: a bit more about ordinals while I am at it
- 10:10, 21 April 2018 diff hist +6 Complexity Zoo:P →PR: Primitive Recursive Functions: slightly change wording about syntactic v semantic as a class, because it is only really true in this sense
- 09:52, 21 April 2018 diff hist +133 Complexity Zoo:P →PR: Primitive Recursive Functions: ordinal characterization of PR