Forcing and reducibilities (Q3041177): Difference between revisions

@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of forcing to hierarchy problems in arithmetic
+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 @@
+THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
@@ Property / cites work: THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility orderings: Theories, definability and automorphisms
+Normal rank
@@ Property / cites work @@
+Transfinite extensions of Friedberg's completeness criterion
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of unsolvability
@@ Property / cites work: On degrees of unsolvability / rank @@
+Normal rank