Learn More
In a computation using auxiliary informational inputs one can think of the external resource making itself available in different ways. One way is via an oracle as in Turing reducibility, where information is supplied on demand without any time delay. Alternatively the Scott graph model for lambda calculus suggests a situation where new information, only(More)
This paper extends Post's programme to finite levels of the Ershov hierarchy of ∆2 sets. Our initial characterisation, in the spirit of Post [27], of the degrees of the immune and hyperimmune n-enumerable sets leads to a number of results setting other immunity properties in the context of the Turing and wtt-degrees derived from the Ershov hierarchy. For(More)
The classical simulation of physical processes using standard models of computation is fraught with problems. On the other hand, attempts at modelling real-world computation with the aim of isolating its hypercomputational content have struggled to convince. We argue that a better basic understanding can be achieved through computability theoretic(More)
Although density fails in the d-recursively enumerable (d-r.e.) degrees, and more generally in the n-r.e. degrees (see [3]), we show below that the low 2 n-r.e. degrees are dense. This is achieved by combining density and splitting in the manner of Harrington's proof (see [9]) for the r.e. (=1-r.e.) case. As usual we use low 2-ness to eliminate infinite(More)