Abstract
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 topos is the exponential ΣN, where N is the natural numbers object. We define order-discrete objects by orthogonality to Σ. We
... read more