Pages that link to "Item:Q5945541"
From MaRDI portal
The following pages link to Extension of embeddings in the computably enumerable degrees (Q5945541):
Displayed 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)