@misc{indiciae665251f99b57,
  title = {The Sierpinski Object in the Scott Realizability Topos},
  author = {Tom de Jong and Jaap van Oosten},
  year = {2020},
  doi = {10.23638/lmcs-16(3:12)2020},
  url = {https://arxiv.org/abs/1904.13354},
  note = {Source identifier: 1904.13354}
}