TY  - RPRT
TI  - Projective sets, intuitionistically
AU  - Wim Veldman
PY  - 2022
DO  - 10.13140/rg.2.2.21225.80484
UR  - https://arxiv.org/abs/1104.3077
ID  - 1104.3077
ER  -