Recursive Enumerability and the Jump Operator (Q5729295): Difference between revisions

@@ label / en / label / en @@
+Recursive Enumerability and the Jump Operator
@@ Property / full work available at URL @@
+https://doi.org/10.2307/1993604
@@ Property / full work available at URL: https://doi.org/10.2307/1993604 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4252466355
@@ Property / OpenAlex ID: W4252466355 / rank @@
+Normal rank
@@ Property / title @@
+Recursive Enumerability and the Jump Operator (English)
+Normal rank
@@ Property / cites work @@
+A criterion for completeness of degrees of unsolvability
+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 @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Q3232283
@@ Property / cites work: Q3232283 / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of unsolvability
@@ Property / cites work: On degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank