Pages that link to "Item:Q1075320"

The following pages link to Definability in the Turing degrees (Q1075320):

Displaying 30 items.

• Definable relations in Turing degree structures (Q468086) (← links)
• Embedding and coding below a 1-generic degree (Q558421) (← links)
• The theory of the \(\alpha \) degrees is undecidable (Q607833) (← links)
• Generic degrees are complemented (Q685063) (← links)
• Model-theoretic properties of Turing degrees in the Ershov difference hierarchy (Q744306) (← links)
• On the theory of the PTIME degrees of the recursive sets (Q751819) (← links)
• Coding in the partial order of enumerable sets (Q1380333) (← links)
• An oracle builder's toolkit (Q1398366) (← links)
• Turing computability: structural theory (Q2036465) (← links)
• The theory of ceers computes true arithmetic (Q2187270) (← links)
• The \(\omega\)-Turing degrees (Q2453074) (← links)
• A non-splitting theorem for d.r.e. sets (Q2564047) (← links)
• Biinterpretability up to double jump in the degrees below \(\mathbf{0}'\) (Q2862196) (← links)
• The typical Turing degree (Q2874662) (← links)
• The Turing degrees below generics and randoms (Q2921026) (← links)
• Definability in the Recursively Enumerable Degrees (Q3128481) (← links)
• (Q3329451) (← links)
• The jump is definable in the structure of the degrees of unsolvability (Q3491536) (← links)
• The First Order Theories of the Medvedev and Muchnik Lattices (Q3576064) (← links)
• Local Initial Segments of The Turing Degrees (Q4432542) (← links)
• (Q4513973) (← links)
• The $\Delta ^0_2$ Turing degrees: Automorphisms and Definability (Q4596355) (← links)
• (Q4993802) (← links)
• (Q4993819) (← links)
• Computing sets from all infinite subsets (Q5158110) (← links)
• The enumeration degrees: Local and global structural interactions (Q5351849) (← links)
• Definability by turing machines (Q5595160) (← links)
• (Q5703330) (← links)
• Defining totality in the enumeration degrees (Q5741445) (← links)
• Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms (Q6103515) (← links)