Abstract
In this paper we experiment with a rather general notion of “interpretation in constructive arithmetical theories”. We prove a number of elementary properties of the notion introduced. We prove a number of negative results for interpretations that commute with disjunction. These negative results diverge markedly from what is known in
... read more