Pages that link to "Item:Q5945541"

The following pages link to Extension of embeddings in the computably enumerable degrees (Q5945541):

Displaying 12 items.

• Almost universal cupping and diamond embeddings (Q408168) (← links)
• Model-theoretic properties of Turing degrees in the Ershov difference hierarchy (Q744306) (← links)
• Structural theory of degrees of unsolvability: advances and open problems (Q904325) (← links)
• Fragments of the theory of the enumeration degrees (Q2020402) (← links)
• Turing computability: structural theory (Q2036465) (← links)
• The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable (Q2655138) (← links)
• Extensions of embeddings below computably enumerable degrees (Q2838113) (← links)
• Degree Structures: Local and Global Investigations (Q3412461) (← links)
• The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable (Q4211072) (← links)
• A GAP Package for Braid Orbit Computation and Applications (Q4651431) (← links)
• The ∀∃-theory of ℛ(≤,∨,∧) is undecidable (Q4813796) (← links)
• On the existence of a strong minimal pair (Q5501923) (← links)