Computing degrees of unsolvability (Q770790): Difference between revisions

@@ Property / cites work @@
+Recursive Predicates and Quantifiers
@@ Property / cites work: Recursive Predicates and Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+On definable sets of positive integers
@@ Property / cites work: On definable sets of positive integers / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+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 @@
+Examples of sets definable by means of two and three quantifiers
+Normal rank
@@ Property / cites work @@
+Arithmetical representation of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel numberings of partial recursive functions
@@ Property / cites work: Gödel numberings of partial recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility and Completeness for Sets of Integers
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Computability
@@ Property / cites work: Degrees of Computability / rank @@
+Normal rank
@@ Property / cites work @@
+A Theorem on Hypersimple Sets
@@ Property / cites work: A Theorem on Hypersimple Sets / rank @@
+Normal rank