TY  - RPRT
TI  - Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces
AU  - Arno Pauly
AU  - Matthew de Brecht
PY  - 2014
UR  - https://arxiv.org/abs/1307.1850
ID  - 1307.1850
ER  -