Descriptive Set Theory in the Category of Represented Spaces

Descriptive Set Theory in the Category of Represented Spaces

TitleDescriptive Set Theory in the Category of Represented Spaces
Publication TypeConference Paper
Year of Publication2015
AuthorsPauly A, de Brecht M
Conference Name30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015
URLhttp://dx.doi.org/10.1109/LICS.2015.48
DOI10.1109/LICS.2015.48
Undefined