A DNC function that computes no effectively bi-immune set (Q494640): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+D28
@@ Property / Mathematics Subject Classification ID: 03D28 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6477388
@@ Property / zbMATH DE Number: 6477388 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computability theory
@@ Property / zbMATH Keywords: computability theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+recursion theory
@@ Property / zbMATH Keywords: recursion theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+degree theory
@@ Property / zbMATH Keywords: degree theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+DNC
@@ Property / zbMATH Keywords: DNC / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+DNR
@@ Property / zbMATH Keywords: DNR / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2159445998
@@ Property / OpenAlex ID: W2159445998 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1324
@@ Property / arXiv ID: 1308.1324 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing DNR and WWKL
@@ Property / cites work: Comparing DNR and WWKL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3469096
@@ Property / cites work: Q3469096 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagonally Non-Computable Functions and Bi-Immunity
+Normal rank
@@ Property / cites work @@
+Q4723720
@@ Property / cites work: Q4723720 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution to a Problem of Spector
@@ Property / cites work: Solution to a Problem of Spector / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Randomness
@@ Property / cites work: Computability and Randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Mass Problems and Randomness
@@ Property / cites work: Mass Problems and Randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:494640