Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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:

  1. $\mathcal{E}$ is the set of all enumerable subsets of $E$.
  2. For each $E' \in \mathcal{E}$, $R(E')=\{f|domain(f)=E', f:E'\rightarrow (\mathbb{Z}^+) \text{ is recursive}\}.$

He then demonstrates (cumulating on p. 205-6) that there is an analogy between $(\mathcal{E},R)$ and (his quotes) "a topological space together with a sheaf", and a way to define "recursive Cech cohomology of groups" of some complexes that arise from $(\mathcal{E},R)$. He then claims that "it would be interesting to study such cohomology groups".

My question: is this a well known construction/analogy? Has it been studied further? Are there any relevant references?

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.