TY  - RPRT
TI  - Realizing realizability results with classical constructions
AU  - Asaf Karagila
PY  - 2019
DO  - 10.1017/bsl.2019.59
UR  - https://arxiv.org/abs/1905.08202
ID  - 1905.08202
ER  -