Showing math.LOShow all
3 papers · 1 filter
math.LO2013
Realizability with a Local Operator of A.M. Pitts
Jaap van Oosten
We study a notion of realizability with a local operator J which was first considered by A.M. Pitts in his thesis. Using the Suslin-Kleene theorem, we show that the representable f…
math.LO2009
Partial Combinatory Algebras of Functions
Jaap van Oosten
We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures a…
math.LO2005
A general form of relative recursion
Jaap van Oosten
For every partial combinatory algebra (pca) and every partial endofunction on , a pca is constructed such that in , the function is representable by an elem…