On automorphisms of arbitrary mathematical systems (Q3712321): Difference between revisions

@@ Property / cites work @@
+The constructive second number class
@@ Property / cites work: The constructive second number class / rank @@
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
+Normal rank
@@ Property / cites work @@
+Konstruktion nichtrekursiver Funktionen
@@ Property / cites work: Konstruktion nichtrekursiver Funktionen / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and λ-definability
@@ Property / cites work: Computability and λ-definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5840217
@@ Property / cites work: Q5840217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5766357
@@ Property / cites work: Q5766357 / rank @@
+Normal rank
@@ Property / cites work @@
+Local definability theory
@@ Property / cites work: Local definability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3890651
@@ Property / cites work: Q3890651 / rank @@
+Normal rank