Pages that link to "Item:Q468086"
From MaRDI portal
The following pages link to Definable relations in Turing degree structures (Q468086):
Displaying 11 items.
- Turing degrees of certain isomorphic images of computable relations (Q1295383) (← links)
- On the problem of definability of the computably enumerable degrees in the difference hierarchy (Q1785041) (← links)
- Minimal predicates for \(\Delta \)-definability (Q2213943) (← links)
- The \(\omega\)-Turing degrees (Q2453074) (← links)
- Rice sequences of relations (Q2941599) (← links)
- A Characterisation of the Relations Definable in Presburger Arithmetic (Q3502652) (← links)
- Equivalence structures and isomorphisms in the difference hierarchy (Q3630578) (← links)
- (Q4513977) (← links)
- Differences of Computably Enumerable Sets (Q4521130) (← links)
- ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS (Q4799379) (← links)
- On relations between properties in transitive Turing machines (Q6058472) (← links)