Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces
From MaRDI portal
Publication:6243173
arXiv1307.1850MaRDI QIDQ6243173FDOQ6243173
Authors: Arno Pauly, Matthew De Brecht 
Publication date: 7 July 2013
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.
Computation over the reals, computable analysis (03D78) Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) General theory of categories and functors (18A99)
This page was built for publication: Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6243173)
