2 papers
cs.LO2019
The Sierpinski Object in the Scott Realizability Topos
Tom de Jong, Jaap van Oosten
We study the Sierpinski object in the realizability topos based on Scott's graph model of the -calculus. Our starting observation is that the object of realizers in this top…
math.LO2016
Extensions of Scott's Graph Model and Kleene's Second Algebra
Jaap van Oosten, Niels Voorneveld
We use a way to extend partial combinatory algebras (pcas) by forcing them to represent certain functions. In the case of Scott's Graph model, equality is computable relative to th…