@misc{indiciaeeb553bd2ad35, title = {Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience}, author = {Michael Rathjen}, year = {2013}, url = {https://arxiv.org/abs/1302.3037}, note = {Source identifier: 1302.3037} }