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

@@ Property / author @@
-Q937901
@@ Property / author: Q937901 / rank @@
-Normal rank
@@ Property / author @@
+Anatoly Petrivich Beltiukov
@@ Property / author: Anatoly Petrivich Beltiukov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01404100
+Normal rank
@@ Property / OpenAlex ID @@
+W2039485671
@@ Property / OpenAlex ID: W2039485671 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1147129