The following pages link to Turing Computability (Q2864221):
Displaying 5 items.
- Computability in infinite Galois theory and algorithmically random algebraic fields (Q6641590) (← links)
- Effectiveness of Walker's cancellation theorem (Q6642290) (← links)
- Reverse mathematics and local rings (Q6649839) (← links)
- Some properties of precompletely and positively numbered sets (Q6652036) (← links)
- Pour-El's landscape (Q6670877) (← links)