Notation Systems and an Effective Fixed Point Property (Q5619819): Difference between revisions

@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical Predicates and Function Quantifiers
@@ Property / cites work: Arithmetical Predicates and Function Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel numberings of partial recursive functions
@@ Property / cites work: Gödel numberings of partial recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+On Universal Functions
@@ Property / cites work: On Universal Functions / rank @@
+Normal rank