Model-theoretic properties of Turing degrees in the Ershov difference hierarchy (Q744306): Difference between revisions

@@ 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 @@
+Limiting recursion
@@ Property / cites work: Limiting recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Trial and error predicates and the solution to a problem of Mostowski
+Normal rank
@@ Property / cites work @@
+Q5596752
@@ Property / cites work: Q5596752 / rank @@
+Normal rank
@@ Property / cites work @@
+D.R.E. Degrees and the Nondiamond Theorem
@@ Property / cites work: D.R.E. Degrees and the Nondiamond Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829544
@@ Property / cites work: Q3829544 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Pairs of Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+The d.r.e. degrees are not dense
@@ Property / cites work: The d.r.e. degrees are not dense / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256320
@@ Property / cites work: Q3256320 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Unsolvability. (AM-55)
@@ Property / cites work: Degrees of Unsolvability. (AM-55) / rank @@
+Normal rank
@@ Property / cites work @@
+On Downey's conjecture
@@ Property / cites work: On Downey's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+On Σ<sub>1</sub>-Structural Differences Among Finite Levels of the Ershov Hierarchy
+Normal rank
@@ Property / cites work @@
+Splitting in 2-computably enumerable degrees with avoiding cones
+Normal rank
@@ Property / cites work @@
+Q4934281
@@ Property / cites work: Q4934281 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of the computably enumerable degrees.
+Normal rank
@@ Property / cites work @@
+Extension of embeddings in the computably enumerable degrees
+Normal rank
@@ Property / cites work @@
+The elementary theory of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Hierarchies of Boolean algebras
@@ Property / cites work: Hierarchies of Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely Generated Codings and the Degrees R.E. in a Degree d
+Normal rank
@@ Property / cites work @@
+The elementary theory of the recursively enumerable degrees is not \(\aleph _ 0\)-categorical
+Normal rank
@@ Property / cites work @@
+Q3768858
@@ Property / cites work: Q3768858 / rank @@
+Normal rank
@@ Property / cites work @@
+A recursively enumerable degree which will not split over all lesser ones
+Normal rank
@@ Property / cites work @@
+Interpolation and embedding in the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+A Splitting Theorem for the N-R.E. Degrees
@@ Property / cites work: A Splitting Theorem for the N-R.E. Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Definability in the Ershov Hierarchy
@@ Property / cites work: Turing Definability in the Ershov Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511553
@@ Property / cites work: Q4511553 / rank @@
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+A splitting theorem for $n-REA$ degrees
@@ Property / cites work: A splitting theorem for $n-REA$ degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863238
@@ Property / cites work: Q4863238 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the Turing degrees
@@ Property / cites work: Definability in the Turing degrees / rank @@
+Normal rank