@misc{indiciae88b74bd466d5,
  title = {Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T},
  author = {Martin Escardo},
  year = {2023},
  url = {https://arxiv.org/abs/2303.11075},
  note = {Source identifier: 2303.11075}
}