In Memoriam: Raphael Mitchel Robinson (Q4858807): Difference between revisions

@@ Property / cites work @@
+Primitive recursive functions
@@ Property / cites work: Primitive recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion and double recursion
@@ Property / cites work: Recursion and double recursion / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of classes A modification of von Neumann's system
+Normal rank
@@ Property / cites work @@
+Some representations of Diophantine sets
@@ Property / cites work: Some representations of Diophantine sets / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability and nonperiodicity for tilings of the plane
+Normal rank
@@ Property / cites work @@
+THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS
+Normal rank
@@ Property / cites work @@
+Arithmetical representation of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Arithmetical definability of field elements
@@ Property / cites work: Arithmetical definability of field elements / rank @@
+Normal rank
@@ Property / cites work @@
+Finite sequences of classes
@@ Property / cites work: Finite sequences of classes / rank @@
+Normal rank