Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces

Abstract

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 both classic and effective descriptive set theory. Presently, we mainly focus on developing the ideas in the category of represented spaces.

References in corpus (1)

• Total Representations

Cited by in corpus (4)

• A comparison of concepts from computable analysis and effective descriptive set theory
• The descriptive theory of represented spaces
• Game characterizations and lower cones in the Weihrauch degrees
• Towards a Descriptive Theory of cb_0-Spaces