Location of Repository

Introduction The notion of Relative Realizability was defined in [2] (see also [1, 4]). The idea is, that instead of doing realizability with one partial combinatory algebra A one uses an inclusion of partial combinatory algebras A ] ` A (such that there are combinators k; s 2 A ] which also serve as combinators for A); the principal point being that "(A ] -) computable" functions may also act on data (in A) that need not be computable. Of course this is reminiscent of Turing's computability with oracles and Kleene's definition ([12] and later papers) of a recursive functional of higher type, which, for example in the case of type 2, has to act on any (possibly non-recursive) function. In itself, relative realizability was not new; Kleene's 1957--realizability ([11]), a precursor of his later function realizability, was probably of thi

Year: 2000

OAI identifier:
oai:CiteSeerX.psu:10.1.1.36.158

Provided by:
CiteSeerX

Download PDF:To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.