By Matthew Brecht and others

We study $G_\delta$ subspaces of continuous dcpos, which we call domain-complete spaces, and $G_\delta$ subspaces of locally compact sober spaces, which we call LCS-complete spaces. Those include all locally compact sober spaces-in particular, all continuous dcpos-, all topologically complete spaces in the sense of \v{C}ech, and all quasi-Polish spaces-in particular,... Show more

February 28, 2019

Loading full text...

Similar articles

Loading recommendations...

x1

Domain-complete and LCS-complete spaces

Click on play to start listening