Degree Structures: Local and Global Investigations (Q3412461): Difference between revisions

@@ Property / OpenAlex ID @@
+W2112163936
@@ Property / OpenAlex ID: W2112163936 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion theory and complexity. Proceedings of the Kazan '97 workshop, Kazan, Russia, July 14--19, 1997
+Normal rank
@@ Property / cites work @@
+Jump embeddings in the Turing degrees
@@ Property / cites work: Jump embeddings in the Turing degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Definable degrees and automorphisms of 𝒟
@@ Property / cites work: Definable degrees and automorphisms of 𝒟 / rank @@
+Normal rank
@@ Property / cites work @@
+A minimal pair of recursively enumerable degrees
@@ Property / cites work: A minimal pair of recursively enumerable degrees / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Extension of embeddings in the computably enumerable degrees
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of the computably enumerable degrees.
+Normal rank
@@ Property / cites work @@
+TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
+Normal rank
@@ Property / cites work @@
+On a Conjecture of Kleene and Post
@@ Property / cites work: On a Conjecture of Kleene and Post / rank @@
+Normal rank
@@ Property / cites work @@
+First-order theory of the degrees of recursive unsolvability
+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 @@
+Defining the Turing jump
@@ Property / cites work: Defining the Turing jump / rank @@
+Normal rank
@@ Property / cites work @@
+The jump is definable in the structure of the degrees of unsolvability
+Normal rank
@@ Property / cites work @@
+On homogeneity and definability in the first-order theory of the Turing degrees
+Normal rank
@@ Property / cites work @@
+Minimal degrees and the jump operator
@@ Property / cites work: Minimal degrees and the jump operator / rank @@
+Normal rank
@@ Property / cites work @@
+The recursively enumerable degrees have infinitely many one-types
+Normal rank
@@ Property / cites work @@
+Undecidability and 1-types in the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Lattice embeddings into the recursively enumerable degrees. II
+Normal rank
@@ Property / cites work @@
+Distributive Initial Segments of the Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+The impossibility of finding relative complements for recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Local Initial Segments of The Turing Degrees
@@ Property / cites work: Local Initial Segments of The Turing Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+On the <i>Σ</i><sub>2</sub>-theory of the upper semilattice of Turing degrees
+Normal rank
@@ Property / cites work @@
+Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
+Normal rank
@@ Property / cites work @@
+Lattice embeddings into the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Lattice Embeddings into the R.E. Degrees Preserving 0 and 1
+Normal rank
@@ Property / cites work @@
+The homogeneity conjecture
@@ Property / cites work: The homogeneity conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Inspheres and inner products
@@ Property / cites work: Inspheres and inner products / 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 @@
+On the degrees less than 0'
@@ Property / cites work: On the degrees less than 0' / 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 @@
+Not every finite lattice is embeddable in the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+A minimal degree less than 0’
@@ Property / cites work: A minimal degree less than 0’ / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretability and Definability in the Recursively Enumerable Degrees
+Normal rank
@@ Property / cites work @@
+PARAMETER DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES
+Normal rank
@@ Property / cites work @@
+Reducibility orderings: Theories, definability and automorphisms
+Normal rank
@@ Property / cites work @@
+Embedding jump upper semilattices into the Turing degrees
+Normal rank
@@ Property / cites work @@
+The ∀∃-theory of ℛ(≤,∨,∧) is undecidable
+Normal rank
@@ Property / cites work @@
+The elementary theory of the recursively enumerable degrees is not \(\aleph _ 0\)-categorical
+Normal rank
@@ Property / cites work @@
+A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial segments of the degrees of unsolvability
@@ Property / cites work: Initial segments of the degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable
+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 @@
+The decidability of the existential theory of the poset of recursively enumerable degrees with jump relations
+Normal rank
@@ Property / cites work @@
+A General Framework for Priority Arguments
@@ Property / cites work: A General Framework for Priority Arguments / rank @@
+Normal rank
@@ Property / cites work @@
+The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility
+Normal rank