Topological cones: functional analysis in a \(T_{0}\)-setting
From MaRDI portal
Publication:938295
DOI10.1007/s00233-008-9078-0zbMath1151.22006MaRDI QIDQ938295
Publication date: 19 August 2008
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00233-008-9078-0
cone; Hahn-Banach-type theorems; powerdomains in semantics; probability and nondeterminism; topological cone
46A22: Theorems of Hahn-Banach type; extension and lifting of functionals and operators
68Q55: Semantics in the theory of computing
06B35: Continuous lattices and posets, applications
22A99: Topological and differentiable algebraic systems
Related Items
Extending algebraic operations to D-completions, Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
Cites Work
- The probabilistic powerdomain for stably compact spaces
- Order and convexity in potential theory: H-cones. In collab. with Herbert Höllein
- Ordered cones and approximation
- The bounded-complete hull of an \(\alpha\)-space
- Lokal kompakte Kegelhalbgruppen und deren Einbettung in topologische Vektorräume
- Continuous Lattices and Domains
- A domain-theoretic Banach–Alaoglu theorem
- Some results on Hahn--Banach-type theorems for continuous D-cones
- Partial correctness for probabilistic demonic programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item