Selection by Recursively Enumerable Sets (Q4922122): Difference between revisions

@@ Property / author @@
+Frank Stephan
@@ Property / author: Frank Stephan / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-38236-9_14
+Normal rank
@@ Property / OpenAlex ID @@
+W24007878
@@ Property / OpenAlex ID: W24007878 / rank @@
+Normal rank
@@ Property / cites work @@
+Chaitin \(\Omega\) numbers, Solovay machines, and Gödel incompleteness.
+Normal rank
@@ Property / cites work @@
+Closed Left-R.E. Sets
@@ Property / cites work: Closed Left-R.E. Sets / 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 @@
+Arithmetic complexity via effective names for random sequences
+Normal rank
@@ Property / cites work @@
+The axiomatization of randomness
@@ Property / cites work: The axiomatization of randomness / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to Kolmogorov complexity and its applications
+Normal rank
@@ Property / cites work @@
+The definition of random sequences
@@ Property / cites work: The definition of random sequences / rank @@
+Normal rank
@@ Property / cites work @@
+The \(K\)-degrees, low for \(K\) degrees, and weakly low for \(K\) sets
+Normal rank
@@ Property / cites work @@
+Q3611832
@@ Property / cites work: Q3611832 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Zufälligkeit und Wahrscheinlichkeit. Eine algorithmische Begründung der Wahrscheinlichkeitstheorie. (Randomness and probability. An algorithmic foundation of probability theory)
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / 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