Domain-complete and LCS-complete spaces

DOI10.1016/j.entcs.2019.07.014OpenAlexW2971919449WikidataQ113317450 ScholiaQ113317450MaRDI QIDQ2130601

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

Publication date: 25 April 2022

Full work available at URL: https://arxiv.org/abs/1902.11142

zbMATH Keywords

measurestopologydomain theorycontinuous valuations\(G_\delta\) subsetsquasi-Polish spaces

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (7)

Algebras of the extended probabilistic powerdomain monad ⋮ Unnamed Item ⋮ Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations ⋮ Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks ⋮ Probabilistic Powerdomains and Quasi-Continuous Domains ⋮ Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains ⋮ Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quasicontinuous domains and the Smyth powerdomain
• A computational model for metric spaces
• Measure extension theorems for \(T_{0}\)-spaces
• When does the Fell topology on a hyperspace of closed sets coincide with the meet of the upper Kuratowski and the lower Vietoris topologies?
• Quasi-Polish spaces
• Adjoint product and hom functors in general topology
• A topology for spaces of transformations
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• Stationary and convergent strategies in Choquet games
• Existence theorems for measures on continous posets, with applications to random set theory.
• Function spaces and adjoints.
• The Spectral Theory of Distributive Continuous Lattices
• An Extension Result for Continuous Valuations
• A Few Notes on Formal Balls
• A generalization of a theorem of Hurewicz for quasi-Polish spaces
• Continuous Lattices and Domains
• When do the Upper Kuratowski Topology (Homeomorphically, Scott Topology) and the Co-compact Topology Coincide?
• Non-Hausdorff Topology and Domain Theory
• Products and projective limits of continuous valuations on T₀ spaces
• Isomorphism theorems between models of mixed choice
• Spatiality of countably presentable locales (proved with the Baire category theorem)
• Measures in Boolean Algebras
• An Extension of Metric Distributive Lattices With an Application in General Analysis

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