Published in: LIPIcs, Volume 216, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Matthew de Brecht. Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals. In 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 216, pp. 9:1-9:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{debrecht:LIPIcs.CSL.2022.9, author = {de Brecht, Matthew}, title = {{Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals}}, booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)}, pages = {9:1--9:10}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-218-1}, ISSN = {1868-8969}, year = {2022}, volume = {216}, editor = {Manea, Florin and Simpson, Alex}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.9}, URN = {urn:nbn:de:0030-drops-157293}, doi = {10.4230/LIPIcs.CSL.2022.9}, annote = {Keywords: Quasi-Polish spaces, space of valuations, domain theory, measure theory} }
Published in: LIPIcs, Volume 82, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Matthew de Brecht and Arno Pauly. Noetherian Quasi-Polish spaces. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 82, pp. 16:1-16:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{debrecht_et_al:LIPIcs.CSL.2017.16, author = {de Brecht, Matthew and Pauly, Arno}, title = {{Noetherian Quasi-Polish spaces}}, booktitle = {26th EACSL Annual Conference on Computer Science Logic (CSL 2017)}, pages = {16:1--16:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-045-3}, ISSN = {1868-8969}, year = {2017}, volume = {82}, editor = {Goranko, Valentin and Dam, Mads}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2017.16}, URN = {urn:nbn:de:0030-drops-76988}, doi = {10.4230/LIPIcs.CSL.2017.16}, annote = {Keywords: Descriptive set theory, synthetic topology, well-quasi orders, Noetherian spaces, compactness} }
Published in: OASIcs, Volume 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09) (2009)
Matthew de Brecht and Akihiro Yamamoto. Sigma^0_alpha - Admissible Representations (Extended Abstract). In 6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, pp. 119-130, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{debrecht_et_al:OASIcs.CCA.2009.2264, author = {de Brecht, Matthew and Yamamoto, Akihiro}, title = {{Sigma^0\underlinealpha - Admissible Representations}}, booktitle = {6th International Conference on Computability and Complexity in Analysis (CCA'09)}, pages = {119--130}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-12-5}, ISSN = {2190-6807}, year = {2009}, volume = {11}, editor = {Bauer, Andrej and Hertling, Peter and Ko, Ker-I}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009.2264}, URN = {urn:nbn:de:0030-drops-22649}, doi = {10.4230/OASIcs.CCA.2009.2264}, annote = {Keywords: Admissible representations, Borel measurable functions, computable analysis, descriptive set theory} }
Feedback for Dagstuhl Publishing