Abstract
Computability relative to a partial function f on the natural numbers can be formalized using the notion of an oracle for this function f. This can be generalized to arbitrary partial combinatory algebras, yielding a notion of `adjoining a partial function to a partial combinatory algebra A'. A similar construction
... read more