Effective Bi-immunity and Randomness (Q2970984): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2544776295
@@ Property / OpenAlex ID: W2544776295 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08615
@@ Property / arXiv ID: 1610.08615 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing DNR and WWKL
@@ Property / cites work: Comparing DNR and WWKL / rank @@
+Normal rank
@@ Property / cites work @@
+The importance of Π<sub>1</sub><sup>0</sup> classes in effective randomness
+Normal rank
@@ Property / cites work @@
+A DNC function that computes no effectively bi-immune set
+Normal rank
@@ Property / cites work @@
+Lowness for Kurtz randomness
@@ Property / cites work: Lowness for Kurtz randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Diagonally non-recursive functions and effective Hausdorff dimension
+Normal rank
@@ Property / cites work @@
+Diagonally Non-Computable Functions and Bi-Immunity
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+FORCING WITH BUSHY TREES
@@ Property / cites work: FORCING WITH BUSHY TREES / rank @@
+Normal rank
@@ Property / cites work @@
+Kolmogorov complexity and the Recursion Theorem
@@ Property / cites work: Kolmogorov complexity and the Recursion Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness, the Recursion Theorem, and Effectively Simple Sets
+Normal rank
@@ Property / cites work @@
+Randomness, relativization and Turing degrees
@@ Property / cites work: Randomness, relativization and Turing degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+A Simple Set Which is Not Effectively Simple
@@ Property / cites work: A Simple Set Which is Not Effectively Simple / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively Simple Sets
@@ Property / cites work: Effectively Simple Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494239
@@ Property / cites work: Q5494239 / rank @@
+Normal rank