A basis theorem for Π₁⁰ classes of positive measure and jump inversion for random reals (Q5695769): Difference between revisions

@@ Property / cites work @@
+Q4133617
@@ Property / cites work: Q4133617 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934277
@@ Property / cites work: Q4934277 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Calibrating Randomness
@@ Property / cites work: Calibrating Randomness / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for completeness of degrees of unsolvability
+Normal rank
@@ Property / cites work @@
+Every sequence is reducible to a random one
@@ Property / cites work: Every sequence is reducible to a random one / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758821
@@ Property / cites work: Q3758821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732457
@@ Property / cites work: Q4732457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023358
@@ Property / cites work: Q4023358 / rank @@
+Normal rank
@@ Property / cites work @@
+The definition of random sequences
@@ Property / cites work: The definition of random sequences / rank @@
+Normal rank
@@ Property / cites work @@
+On initial segment complexity  and degrees of randomness
+Normal rank
@@ Property / cites work @@
+A minimal degree less than 0’
@@ Property / cites work: A minimal degree less than 0’ / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of unsolvability
@@ Property / cites work: On degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494239
@@ Property / cites work: Q5494239 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5695769