A domain-theoretic Banach–Alaoglu theorem

DOI10.1017/S0960129506005172zbMath1107.06006OpenAlexW2080798585MaRDI QIDQ5481595

Gordon D. Plotkin

Publication date: 10 August 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129506005172

zbMATH Keywords

domainBanach-Alaoglu theorempolarweak*-topologyd-conestably compact

Mathematics Subject Classification ID

Duality theory for topological vector spaces (46A20) Continuous lattices and posets, applications (06B35) Compactness in topological linear spaces; angelic spaces, etc. (46A50)

Related Items (7)

The Cuntz semigroup and domain theory ⋮ Topological cones: functional analysis in a \(T_{0}\)-setting ⋮ De Groot duality and models of choice: angels, demons and nature ⋮ Weak topologies and compactness in asymmetric functional analysis ⋮ Predicate transformers for extended probability and non-determinism ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: A domain-theoretic Banach–Alaoglu theorem