The Sierpinski Object in the Scott Realizability Topos

Tom de Jong, Jaap van Oosten

We study the Sierpinski object $\Sigma$ in the realizability topos based on Scott's graph model of the $\lambda$-calculus. Our starting observation is that the object of realizers in this top…