Forcing and reductibilities. II. Forcing in fragments of analysis (Q3691651): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2273465
@@ Property / full work available at URL: https://doi.org/10.2307/2273465 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2039493583
@@ Property / OpenAlex ID: W2039493583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Jumping through the transfinite: the master code hierarchy of Turing degrees
+Normal rank
@@ Property / cites work @@
+Some applications of forcing to hierarchy problems in arithmetic
+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 @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+First-order theory of the degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+On homogeneity and definability in the first-order theory of the Turing degrees
+Normal rank
@@ Property / cites work @@
+The homogeneity conjecture
@@ Property / cites work: The homogeneity conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+On the reducibility of \(\Pi_ 1^ 1\) sets
@@ Property / cites work: On the reducibility of \(\Pi_ 1^ 1\) sets / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees joining to <b>0</b>′
@@ Property / cites work: Degrees joining to <b>0</b>′ / rank @@
+Normal rank