Friedberg numberings in the Ershov hierarchy (Q5919177): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-014-0402-y
@@ Property / DOI: 10.1007/s00153-014-0402-y / rank @@
-Normal rank
@@ Property / author @@
+Manat Mustafa
@@ Property / author: Manat Mustafa / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1984932407
@@ Property / OpenAlex ID: W1984932407 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q4875117
@@ Property / cites work: Q4875117 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration of families of general recursive functions
+Normal rank
@@ Property / cites work @@
+Q5619076
@@ Property / cites work: Q5619076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619077
@@ Property / cites work: Q5619077 / rank @@
+Normal rank
@@ Property / cites work @@
+On a hierarchy of sets. III
@@ Property / cites work: On a hierarchy of sets. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+Normal rank
@@ Property / cites work @@
+Q2709299
@@ Property / cites work: Q2709299 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable single-valued numerations
@@ Property / cites work: Computable single-valued numerations / rank @@
+Normal rank
@@ Property / cites work @@
+Problem of the number of non-self-equivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Q4677692
@@ Property / cites work: Q4677692 / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of computable one-one numberings
+Normal rank
@@ Property / cites work @@
+A learning-theoretic characterization of classes of recursive functions
+Normal rank
@@ Property / cites work @@
+Positive undecidable numberings in the Ershov hierarchy
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451656
@@ Property / cites work: Q4451656 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-014-0402-Y
@@ Property / DOI: 10.1007/S00153-014-0402-Y / rank @@
+Normal rank