Metarecursively enumerable sets and admissible ordinals (Q5528641): Difference between revisions

@@ Property / cites work @@
+A Theorem on Hypersimple Sets
@@ Property / cites work: A Theorem on Hypersimple Sets / rank @@
+Normal rank
@@ Property / cites work @@
+TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
+Normal rank
@@ Property / cites work @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+Q5631101
@@ Property / cites work: Q5631101 / rank @@
+Normal rank
@@ Property / cites work @@
+Metarecursive sets
@@ Property / cites work: Metarecursive sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3232283
@@ Property / cites work: Q3232283 / rank @@
+Normal rank
@@ Property / cites work @@
+Post's Problem, Admissible Ordinals, and Regularity
+Normal rank
@@ Property / cites work @@
+Measure-Theoretic Uniformity in Recursion Theory and Set Theory
+Normal rank
@@ Property / cites work @@
+On the degrees less than 0'
@@ Property / cites work: On the degrees less than 0' / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank