The following pages link to Fixed points for the jump operator (Q694226):
Displaying 5 items.
- Rice sequences of relations (Q2941599) (← links)
- A characterization of jump operators (Q3803105) (← links)
- A fixed point for the jump operator on structures (Q5300071) (← links)
- EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER (Q6095975) (← links)
- Families of permutations and ideals of Turing degrees (Q6148009) (← links)