RELATIVIZING CHAITIN'S HALTING PROBABILITY (Q3379458): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Program Size Formally Identical to Information Theory
+Normal rank
@@ Property / cites work @@
+Algorithmic Information Theory
@@ Property / cites work: Algorithmic Information Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+There is no degree invariant half-jump
@@ Property / cites work: There is no degree invariant half-jump / rank @@
+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 @@
+Randomness and Recursive Enumerability
@@ Property / cites work: Randomness and Recursive Enumerability / 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 @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+Lowness properties and randomness
@@ Property / cites work: Lowness properties and randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness, relativization and Turing degrees
@@ Property / cites work: Randomness, relativization and Turing degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Relative randomness and real closed fields
@@ Property / cites work: Relative randomness and real closed fields / rank @@
+Normal rank
@@ Property / cites work @@
+The axiomatization of randomness
@@ Property / cites work: The axiomatization of randomness / rank @@
+Normal rank