Separating minimal valuations, point-continuous valuations, and continuous valuations
From MaRDI portal
Publication:5076391
DOI10.1017/S0960129521000384MaRDI QIDQ5076391
Xiaodong Jia, Jean Goubault-Larrecq
Publication date: 17 May 2022
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2109.00426
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quasicontinuous domains and the Smyth powerdomain
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
- On the dissonance of some metrizable spaces
- Some results on poset models consisting of compact saturated subsets
- Coincidence of the upper Vietoris topology and the Scott topology
- On well-filtered spaces and ordered sets
- A note on coherence of dcpos
- Completion of a Construction of Johnstone
- τ-smooth BOREL Measures on Topological Spaces
- An Extension Result for Continuous Valuations
- Continuous Lattices and Domains
- Non-Hausdorff Topology and Domain Theory
- Products and projective limits of continuous valuations on T0 spaces
- On the topological product of paracompact spaces