Relative Constructibility via Generalised Sequential Algorithms

Desmond Lau

We modify Gurevich's definition of sequential algorithms, so that it becomes amenable to computation with arbitrarily large sets on a sufficiently intuitive level. As a result, two…