Publication

Found 8 results
Filters: Author is Matthew de Brecht  [Clear All Filters]
2016
de Brecht M.  2016.  Noetherian spaces and quantifier elimination. Dagstuhl Seminar.
2015
de Brecht M, Schröder M, Selivanov VL.  2015.  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.
Pauly A, de Brecht M.  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.
de Brecht M.  2015.  Duality theory for quasi-Polish and represented spaces. Dagstuhl Seminar.
de Brecht M.  2015.  Extending continuous valuations on quasi-Polish spaces to Borel measures. Twelfth International Conference on Computability and Complexity in Analysis.
de Brecht M, Kawai T.  2015.  Powerspaces of quasi-Polish spaces and countably presented locales. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
de Brecht M, Kawai T.  2015.  Powerspaces of quasi-Polish spaces and countably presented locales. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
de Brecht M.  2015.  Preliminary investigations into Eilenberg-Moore algebras arising in descriptive set theory. Dagstuhl Reports. 5