A maximal sequence of classes transformable by primitive recursion in a given class (Q1147129): Difference between revisions

@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Predictably Computable Functions
@@ Property / cites work: Classes of Predictably Computable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A Classification of the Recursive Functions
@@ Property / cites work: A Classification of the Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+The honest subrecursive classes are a lattice
@@ Property / cites work: The honest subrecursive classes are a lattice / rank @@
+Normal rank
@@ Property / cites work @@
+On the density of honest subrecursive classes
@@ Property / cites work: On the density of honest subrecursive classes / rank @@
+Normal rank
@@ Property / cites work @@
+Helping and the meet of pairs of honest subrecursive classes
+Normal rank