TY  - RPRT
TI  - Pro-definability of spaces of definable types
AU  - Pablo Cubides Kovacsics
AU  - Jinhe Ye
PY  - 2020
DO  - 10.1090/bproc/85
UR  - https://arxiv.org/abs/1905.11059
ID  - 1905.11059
ER  -