A New Proof of Friedman's Conjecture (Q3174641): Difference between revisions

@@ Property / cites work @@
+Analytic determinacy and 0<sup>#</sup>
@@ Property / cites work: Analytic determinacy and 0<sup>#</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+Lowness of higher randomness notions
@@ Property / cites work: Lowness of higher randomness notions / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness via effective descriptive set theory
@@ Property / cites work: Randomness via effective descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank