@misc{indiciae4ce0cb0f6a56, title = {Lifschitz Realizability as a Topological Construction}, author = {Michael Rathjen and Andrew Swan}, year = {2018}, doi = {10.1017/jsl.2021.1}, url = {https://arxiv.org/abs/1806.10047}, note = {Source identifier: 1806.10047} }