All Questions
1 question
14
votes
1
answer
457
views
References regarding a connection between recursion theory and sheaves
In Manin's A Course in Mathematical Logic for Mathematicians, he defines (p.201) a structure $(\mathcal{E},R)$ given an enumerable set $E \subset (\mathbb{Z}^+)^n$ by:
$\mathcal{E}$ is the set of all ...
- 5,429