Domain-complete and LCS-complete spaces

DOI10.1016/J.ENTCS.2019.07.014arXiv1902.11142WikidataQ113317450 ScholiaQ113317450MaRDI QIDQ6314802FDOQ6314802

Authors: Matthew De Brecht, Jean Goubault-Larrecq, Xiaodong Jia, Zhenchao Lyu 

Publication date: 28 February 2019

Abstract: We study $G_{d}elta$ subspaces of continuous dcpos, which we call domain-complete spaces, and $G_{d}elta$ 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, all Polish spaces. We show that LCS-complete spaces are sober, Wilker, compactly Choquet-complete, completely Baire, and $odot$-consonant-in particular, consonant; that the countably-based LCS-complete (resp., domain-complete) spaces are the quasi-Polish spaces exactly; and that the metrizable LCS-complete (resp., domain-complete) spaces are the completely metrizable spaces. We include two applications: on LCS-complete spaces, all continuous valuations extend to measures, and sublinear previsions form a space homeomorphic to the convex Hoare powerdomain of the space of continuous valuations.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

This page was built for publication: Domain-complete and LCS-complete spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6314802)