Publication
Found 8 results
Filters: Author is Matthew de Brecht [Clear All Filters]
Noetherian spaces and quantifier elimination. Dagstuhl Seminar.
.
2016. Base-Complexity Classifications of QCB \_0 0 -Spaces. Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings. :156–166.
.
2015. Descriptive Set Theory in the Category of Represented Spaces. 30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015. :438–449.
.
2015. Duality theory for quasi-Polish and represented spaces. Dagstuhl Seminar.
.
2015. Extending continuous valuations on quasi-Polish spaces to Borel measures. Twelfth International Conference on Computability and Complexity in Analysis.
.
2015. Powerspaces of quasi-Polish spaces and countably presented locales. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
.
2015. Powerspaces of quasi-Polish spaces and countably presented locales. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
.
2015. .
2015.