Relativization of a primitive recursive hierarchy (Q2626203): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On a Subrecursive Hierarchy and Primitive Recursive Degrees
+Normal rank
@@ Property / cites work @@
+Note on the 3‐Recursive Functions
@@ Property / cites work: Note on the 3‐Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+Extension of an effectively generated class of functions by enumeration
+Normal rank