All Questions
1 question
0
votes
0
answers
94
views
Name and theory of multi-valued functions $F:\mathbb{N}^k \rightarrow \mathbb{N}^l$
In computability theory there are considered mostly single-valued functions $f:\mathbb{N}^k \rightarrow \mathbb{N}$. (Let $\mathbb{N}$ be a placeholder for $\mathbb{N}$ or any initial segment $[0,n]$ ...