A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES (Q4637942): Difference between revisions

@@ Property / author @@
+Rodney G. Downey
@@ Property / author: Rodney G. Downey / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2800448812
@@ Property / OpenAlex ID: W2800448812 / rank @@
+Normal rank
@@ Property / cites work @@
+Post's Programme for the Ershov Hierarchy
@@ Property / cites work: Post's Programme for the Ershov Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddings of \(N_5\) and the contiguous degrees
@@ Property / cites work: Embeddings of \(N_5\) and the contiguous degrees / rank @@
+Normal rank
@@ Property / cites work @@
+An Algebraic Decomposition of the Recursively Enumerable Degrees and the Coincidence of Several Degree Classes with the Promptly Simple Degrees
+Normal rank
@@ Property / cites work @@
+A bounded jump for the bounded Turing degrees
@@ Property / cites work: A bounded jump for the bounded Turing degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersimplicity and semicomputability in the weak truth table degrees
+Normal rank
@@ Property / cites work @@
+Kobayashi compressibility
@@ Property / cites work: Kobayashi compressibility / rank @@
+Normal rank
@@ Property / cites work @@
+Working with strong reducibilities above totally $\omega $-c.e. and array computable degrees
+Normal rank
@@ Property / cites work @@
+Integer valued betting strategies and Turing degrees
+Normal rank
@@ Property / cites work @@
+The importance of Π<sub>1</sub><sup>0</sup> classes in effective randomness
+Normal rank
@@ Property / cites work @@
+Bounded Randomness
@@ Property / cites work: Bounded Randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Π<sub>1</sub><sup>0</sup> classes and strong degree spectra of relations
+Normal rank
@@ Property / cites work @@
+Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees
+Normal rank
@@ Property / cites work @@
+Maximal contiguous degrees
@@ Property / cites work: Maximal contiguous degrees / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS
+Normal rank
@@ Property / cites work @@
+Minimal pairs and high recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Indifferent sets for genericity
@@ Property / cites work: Indifferent sets for genericity / rank @@
+Normal rank
@@ Property / cites work @@
+Natural Large Degree Spectra
@@ Property / cites work: Natural Large Degree Spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice nonembeddings and initial segments of the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Models of Computation
@@ Property / cites work: Theory and Applications of Models of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Turing degrees of reals of positive effective packing dimension
+Normal rank
@@ Property / cites work @@
+TOTALLY ω-COMPUTABLY ENUMERABLE DEGREES AND BOUNDING CRITICAL TRIPLES
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+T-Degrees, Jump Classes, and Strong Reducibilities
+Normal rank
@@ Property / cites work @@
+Q3197814
@@ Property / cites work: Q3197814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863240
@@ Property / cites work: Q4863240 / rank @@
+Normal rank
@@ Property / cites work @@
+Contiguity and distributivity in the enumerable Turing degrees
+Normal rank
@@ Property / cites work @@
+Splitting into degrees with low computational strength
+Normal rank
@@ Property / cites work @@
+Degree theoretic definitions of the low<sub>2</sub> recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Lattice embeddings below a nonlow\(_ 2\) recursively enumerable degree
+Normal rank
@@ Property / cites work @@
+AVOIDING EFFECTIVE PACKING DIMENSION 1 BELOW ARRAY NONCOMPUTABLE C.E. DEGREES
+Normal rank
@@ Property / cites work @@
+Structural interactions of the recursively enumerable T- and W-degrees
+Normal rank
@@ Property / cites work @@
+Q5619076
@@ Property / cites work: Q5619076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619077
@@ Property / cites work: Q5619077 / rank @@
+Normal rank
@@ Property / cites work @@
+Indifferent Sets
@@ Property / cites work: Indifferent Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-Complex Sets and Reducibilities with Tiny Use
+Normal rank
@@ Property / cites work @@
+The role of true finiteness in the admissible recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Post's program and incomplete recursively enumerable sets.
+Normal rank
@@ Property / cites work @@
+Q4946099
@@ Property / cites work: Q4946099 / rank @@
+Normal rank
@@ Property / cites work @@
+Double jumps of minimal degrees
@@ Property / cites work: Double jumps of minimal degrees / 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 @@
+Kolmogorov Complexity and Instance Complexity of Recursively Enumerable Sets
+Normal rank
@@ Property / cites work @@
+Q5670617
@@ Property / cites work: Q5670617 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounding minimal pairs
@@ Property / cites work: Bounding minimal pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Not every finite lattice is embeddable in the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+A finite lattice without critical triple that cannot be embedded into the enumerable Turing degrees
+Normal rank
@@ Property / cites work @@
+Q5494233
@@ Property / cites work: Q5494233 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3712325
@@ Property / cites work: Q3712325 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Many-one degrees of the predicates \(H_ a(x)\)
@@ Property / cites work: Many-one degrees of the predicates \(H_ a(x)\) / rank @@
+Normal rank
@@ Property / cites work @@
+Lowness properties and randomness
@@ Property / cites work: Lowness properties and randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3611832
@@ Property / cites work: Q3611832 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretability and Definability in the Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+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 @@
+Q4513977
@@ Property / cites work: Q4513977 / rank @@
+Normal rank
@@ Property / cites work @@
+The density of infima in the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Recursion Theory and Dedekind Cuts
@@ Property / cites work: Recursion Theory and Dedekind Cuts / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5284998
@@ Property / cites work: Q5284998 / rank @@
+Normal rank