Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces

Arno Pauly, Matthew de Brecht

Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in…