An incomplete set of shortest descriptions (Q5388731): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2008534491
@@ Property / OpenAlex ID: W2008534491 / rank @@
+Normal rank
@@ Property / cites work @@
+On the size of machines
@@ Property / cites work: On the size of machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520520
@@ Property / cites work: Q4520520 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Program Size Formally Identical to Information Theory
+Normal rank
@@ Property / cites work @@
+Incompleteness theorems for random reals
@@ Property / cites work: Incompleteness theorems for random reals / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Immunity and Btt-Reductions
@@ Property / cites work: Bounded Immunity and Btt-Reductions / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness and universal machines
@@ Property / cites work: Randomness and universal machines / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of computability theory
@@ Property / cites work: Handbook of computability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Index Sets and Universal Numberings
@@ Property / cites work: Index Sets and Universal Numberings / rank @@
+Normal rank
@@ Property / cites work @@
+On btt‐Degrees of Sets of Minimal Numbers in Gödel Numberings
+Normal rank
@@ Property / cites work @@
+Recursion theoretic properties of frequency computation and bounded queries
+Normal rank
@@ Property / cites work @@
+The definition of random sequences
@@ Property / cites work: The definition of random sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Program size in restricted programming languages
@@ Property / cites work: Program size in restricted programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and embedding in the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Recursive Enumerability and the Jump Operator
@@ Property / cites work: Recursive Enumerability and the Jump Operator / rank @@
+Normal rank
@@ Property / cites work @@
+The recursively enumerable degrees are dense
@@ Property / cites work: The recursively enumerable degrees are dense / rank @@
+Normal rank
@@ Property / cites work @@
+A guided tour of minimal indices and shortest descriptions
+Normal rank
@@ Property / cites work @@
+Immunity and hyperimmunity for sets of minimal indices
+Normal rank
@@ Property / cites work @@
+On the Turing degrees of minimal index sets
@@ Property / cites work: On the Turing degrees of minimal index sets / rank @@
+Normal rank
@@ Property / cites work @@
+THE COMPLEXITY OF FINITE OBJECTS AND THE DEVELOPMENT OF THE CONCEPTS OF INFORMATION AND RANDOMNESS BY MEANS OF THE THEORY OF ALGORITHMS
+Normal rank