Descriptive Set Theory in the Category of Represented Spaces
- Submitting institution
-
Swansea University / Prifysgol Abertawe
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 36020
- Type
- E - Conference contribution
- DOI
-
10.1109/lics.2015.48
- Title of conference / published proceedings
- 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
- First page
- 438
- Volume
- -
- Issue
- -
- ISSN
- 1043-6871
- Open access status
- Out of scope for open access requirements
- Month of publication
- July
- Year of publication
- 2015
- URL
-
http://dx.doi.org/10.1109/lics.2015.48
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
-
- Research group(s)
-
-
- Citation count
- 9
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- By introducing a category-theoretical approach into descriptive set theory (where this was previously unheard of), we were able to open the gates for extending descriptive set theory beyond its traditional realm of Polish spaces to far more general settings; and to bring new proof techniques to bear. There have been followup papers by the authors and others at CSL, STACS and ICALP, and plenary talks on this topic at "Computability and Complexity in Analysis" and at the British Logic Colloquium. The work won a silver medal in the Goedel Research Prize competition 2014.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -