Topological cones: functional analysis in a \(T_{0}\)-setting

DOI10.1007/s00233-008-9078-0zbMath1151.22006MaRDI QIDQ938295

Klaus Keimel

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

zbMATH Keywords

cone; Hahn-Banach-type theorems; powerdomains in semantics; probability and nondeterminism; topological cone

Mathematics Subject Classification ID

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

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