Matthew de Brecht

collaborators

2 papers

math.LO2020

Some notes on spaces of ideals and computable topology

Matthew de Brecht

We show some basic results on the characterization of quasi-Polish spaces in terms of spaces of ideals, with an emphasis on the connections with computable topology.

math.GN2019

Domain-complete and LCS-complete spaces

Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia +1

We study $G_{δ}$ subspaces of continuous dcpos, which we call domain-complete spaces, and $G_{δ}$ subspaces of locally compact sober spaces, which we call LCS-complete spaces. Those in…