| Автор | PLOTKIN, GORDON |
| Дата выпуска | 2006 |
| dc.description | We give a domain-theoretic analogue of the classical Banach–Alaoglu 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. |
| Издатель | Cambridge University Press |
| Название | A domain-theoretic Banach–Alaoglu theorem |
| DOI | 10.1017/S0960129506005172 |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 16 |
| Первая страница | 299 |
| Последняя страница | 311 |
| Аффилиация | PLOTKIN GORDON; University of Edinburgh |
| Выпуск | 2 |
