Pages that link to "Item:Q3611730"
From MaRDI portal
The following pages link to A Jump Inversion Theorem for the Degree Spectra (Q3611730):
Displayed 17 items.
- Fixed points for the jump operator (Q694226) (← links)
- Jump inversions of algebraic structures and the \({\Sigma}\)-definability (Q1620784) (← links)
- Coding and definability in computable structures (Q1782235) (← links)
- Rice sequences of relations (Q2941599) (← links)
- Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey (Q2970964) (← links)
- Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
- Conservative Extensions of Abstract Structures (Q3091469) (← links)
- (Q4993818) (← links)
- Jump inversions of algebraic structures and Σ‐definability (Q5108844) (← links)
- CODING IN GRAPHS AND LINEAR ORDERINGS (Q5148104) (← links)
- A fixed point for the jump operator on structures (Q5300071) (← links)
- On Processes and Structures (Q5326386) (← links)
- Another Jump Inversion Theorem for Structures (Q5326388) (← links)
- TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS (Q5738187) (← links)
- COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY (Q5738191) (← links)
- EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER (Q6095975) (← links)
- Families of permutations and ideals of Turing degrees (Q6148009) (← links)