MathDB2 problems
- 0 votes0 replies0 views
Pitts' local-operator indexing conjecture for hyperarithmetical functions
Pitts' indexing conjecture. Pitts' local operator gives a neat indexing of the hyperarithmetical functions, which could be fruitful in developing recursion theory with hyperarithme…
- 0 votes0 replies2 views
Pitts' local-operator indexing conjecture for hyperarithmetical functions
Pitts' indexing conjecture. Pitts' local operator gives a useful indexing of the hyperarithmetical functions.