Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces
Logic in Computer Science
2014-06-03 v2 Category Theory
Logic
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.
Keywords
Cite
@article{arxiv.1307.1850,
title = {Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces},
author = {Arno Pauly and Matthew de Brecht},
journal= {arXiv preprint arXiv:1307.1850},
year = {2014}
}