Gordon Plotkin School of Informatics, University of Edinburgh, King's...  Home/Search
Context
Related
| homepages.inf.ed.ac.uk/gdp/p...BanAl.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: homepages.inf.ed.ac.uk/gdp/pub... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We give a domain-theoretic analogue of the classical BanachAlaoglu theorem, showing that the patch topology on the weak* topology is compact. Various theorems follow concerning the stable compactness of spaces of valuations on a topological space. We conclude with reformulations of the patch topology in terms of polar sets or Minkowski functionals, showing, in particular, that the `sandwich set' of linear functionals is compact. (Update)
Active bibliography (related documents): More All
2.1: Semantic Domains for Combining Probability and Non-Determinism - Tix, Keimel, Plotkin (2005) (Correct)
0.3: A Powerdomain of Possibility Measures - Huth (1997) (Correct)
0.3: When Scott is Weak on the Top - Edalat (1996) (Correct)
Similar documents based on text: More All
0.2: Foundation of a Computable Solid Modelling - Edalat, Lieutier (2002) (Correct)
0.2: Relational Interpretations of Recursive Types in an.. - Birkedal, Harper (1997) (Correct)
0.1: Enrichment and Representation Theorems for Categories of Domains.. - Fiore (1996) (Correct)
BibTeX entry: (Update)
@misc{ school-domaintheoretic,
author = "Gordon Plotkin School",
title = "A Domain-Theoretic Banach-Alaoglu Theorem",
url = "citeseer.ist.psu.edu/736124.html" }
Citations (may not include all citations):17 International Series in Pure and Applied Mathematics (context) - Rudin, Analysis et al. - 1991
16 The versatile continuous order (context) - Lawson - 1988
8 Stetige Bewertungen auf Topologischen Raumen (context) - Tix - 1995
3 Bereiche und Bewertungen (context) - Kirch - 1993
2 Stably compact spaces and the probabilistic powerspace const.. (context) - Jung - 2004
2 ande in der axiomatischen Potentialtheorie (context) - Rauch, Verb - 1982
2 Order and convexity in potential theory: H-cones (context) - Boboc, Bucur et al. - 1981
2 Hahn-Banach type theorems for locally convex cones (context) - Roth - 2000
1 Amsterdam: North Holland (context) - Luxemburg, Zaanen et al. - 1971
1 Third Workshop on Computation and Approximation (context) - Jung, Tix et al. - 1998
1 Lecture Notes in Mathematics (context) - Keimel, Roth et al. - 1992
1 The probabilistic powerdomain for stably compact spaces (context) - Alvarez-Manilla, Jung et al. - 2004
1 Amsterdam: North-Holland (context) - Fuchssteiner, Lusky et al. - 1981
1 Encyclopedia of Mathematics and its Applications (context) - Gierz, Hofmann et al. - 2003
1 Semirings and Their Applications (context) - Golan - 1999
1 Berlin: Springer-Verlag (context) - Schaefer, Lattices et al. - 1975
1 positive analysis (context) - Lawson, integration - 2004
1 Aachen: Shaker Verlag (context) - Tix, D-cones et al. - 1999
1 Some results on Hahn-Banach theorems for continuous d-cones (context) - Tix - 2001
1 Semantic Domains for Combining Probability and Non-Determini.. - Tix, Keimel et al. - 2005
Documents on the same site (http://homepages.inf.ed.ac.uk/gdp/publications/): More
Full Abstraction, Totality and PCF - Plotkin (1997) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
Complete Axioms for Categorical Fixed-point Operators - Simpson, Plotkin (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC