A classification of the ordinal recursive functions (Q5635436): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+On provably recursive functions and ordinal recursive functions
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+Q4775861
@@ Property / cites work: Q4775861 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested recursion
@@ Property / cites work: Nested recursion / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5635436