The Sierpinski Object in the Scott Realizability Topos

04/30/2019

∙

by   Tom de Jong, et al.

∙

0

∙

share

We study the Sierpinski Object in the Scott Realizability Topos.