2 problems
- 0 votes0 replies0 views
Conjecture on benign cost functions and SJT reducibility
Benign cost-function conjecture. For each benign cost function , for each , there is a c.e. set such that…
- 0 votes0 replies0 views
The highness–tracing correspondence for computable limit ordinals
Let be a computable limit ordinal, possibly with additional closure properties such as closure under addition. For an oracle , let…