All Questions
1 question
1
vote
0
answers
98
views
Existence of limit computable map
Is there a limit computable function $\Phi$ with the following properties?
Let $T\subset \mathbb{N}^{<\mathbb{N}}$ be a tree (coded as its characteristic function) and $f\in\mathbb{N}^\mathbb{N}$ ...