Closed left-r.e. sets (Q2964277): 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 / 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 @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+Normal rank
@@ Property / cites work @@
+Semirecursive Sets and Positive Reducibility
@@ Property / cites work: Semirecursive Sets and Positive Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+On the Lattice of Recursively Enumerable Sets
@@ Property / cites work: On the Lattice of Recursively Enumerable Sets / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to Kolmogorov complexity and its applications
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Tarski
@@ Property / cites work: Solution of a problem of Tarski / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Randomness
@@ Property / cites work: Computability and Randomness / 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 @@
+Simplicity of recursively enumerable sets
@@ Property / cites work: Simplicity of recursively enumerable sets / rank @@
+Normal rank
@@ Property / cites work @@
+Cohesive sets and recursively enumerable Dedekind cuts
+Normal rank
@@ Property / cites work @@
+Things that can be made into themselves
@@ Property / cites work: Things that can be made into themselves / 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
@@ Property / full work available at URL @@
+https://doi.org/10.3233/com-160054
+Normal rank
@@ Property / OpenAlex ID @@
+W2301081474
@@ Property / OpenAlex ID: W2301081474 / rank @@
+Normal rank