Rogers semilattices of punctual numberings (Q5048010): Difference between revisions

@@ Property / cites work @@
+Q5384966
@@ Property / cites work: Q5384966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513962
@@ Property / cites work: Q4513962 / 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 @@
+A decomposition of the Rogers semilattice of a family of d.c.e. sets
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS OF ONLINE STRUCTURE THEORY
@@ Property / cites work: FOUNDATIONS OF ONLINE STRUCTURE THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
+Normal rank
@@ Property / cites work @@
+Semilattices of punctual numberings
@@ Property / cites work: Semilattices of punctual numberings / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary theories and hereditary undecidability for semilattices of numberings
+Normal rank
@@ Property / cites work @@
+Numberings in the analytical hierarchy
@@ Property / cites work: Numberings in the analytical hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249365
@@ Property / cites work: Q4249365 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable numberings of families of infinite sets
+Normal rank
@@ Property / cites work @@
+PUNCTUAL CATEGORICITY AND UNIVERSALITY
@@ Property / cites work: PUNCTUAL CATEGORICITY AND UNIVERSALITY / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs are not universal for online computability
@@ Property / cites work: Graphs are not universal for online computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5155667
@@ Property / cites work: Q5155667 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration of families of general recursive functions
+Normal rank
@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111546
@@ Property / cites work: Q4111546 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie Der Numerierungen III
@@ Property / cites work: Theorie Der Numerierungen III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4677692
@@ Property / cites work: Q4677692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2709299
@@ Property / cites work: Q2709299 / rank @@
+Normal rank
@@ Property / cites work @@
+Reductions between types of numberings
@@ Property / cites work: Reductions between types of numberings / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic structures computable without delay
@@ Property / cites work: Algebraic structures computable without delay / rank @@
+Normal rank
@@ Property / cites work @@
+On the cardinality of the upper semilattice of computable enumerations
+Normal rank
@@ Property / cites work @@
+Eliminating unbounded search in computable algebra
+Normal rank
@@ Property / cites work @@
+The back-and-forth method and computability without delay
+Normal rank
@@ Property / cites work @@
+Q4749832
@@ Property / cites work: Q4749832 / rank @@
+Normal rank
@@ Property / cites work @@
+Friedberg numberings in the Ershov hierarchy
@@ Property / cites work: Friedberg numberings in the Ershov hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3068310
@@ Property / cites work: Q3068310 / rank @@
+Normal rank
@@ Property / cites work @@
+Two theorems on computable numberings
@@ Property / cites work: Two theorems on computable numberings / rank @@
+Normal rank