Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings (Q5741390): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10958-016-2857-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2344505286
@@ Property / OpenAlex ID: W2344505286 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709299
@@ Property / cites work: Q2709299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4677692
@@ Property / cites work: Q4677692 / rank @@
+Normal rank
@@ Property / cites work @@
+A decomposition of the Rogers semilattice of a family of d.c.e. sets
+Normal rank
@@ Property / cites work @@
+Q2899010
@@ Property / cites work: Q2899010 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2898987
@@ Property / cites work: Q2898987 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive undecidable numberings in the Ershov hierarchy
+Normal rank
@@ Property / cites work @@
+Families without minimal numberings
@@ Property / cites work: Families without minimal numberings / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of universal numberings for finite families of d.c.e. sets
+Normal rank
@@ Property / cites work @@
+Q4530730
@@ Property / cites work: Q4530730 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Theories for Rogers Semilattices
@@ Property / cites work: Elementary Theories for Rogers Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q4795525
@@ Property / cites work: Q4795525 / rank @@
+Normal rank
@@ Property / cites work @@
+Local structure of Rogers semilattices of Σn 0-computable numberings
+Normal rank
@@ Property / cites work @@
+Q5384966
@@ Property / cites work: Q5384966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2895841
@@ Property / cites work: Q2895841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2899021
@@ Property / cites work: Q2899021 / 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 @@
+Hierarchy of limiting computations
@@ Property / cites work: Hierarchy of limiting computations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5741390