Journal
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Volume 21, Issue 1, Pages 125-169Publisher
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S0960129510000319
Keywords
-
Categories
Ask authors/readers for more resources
The purpose of this paper is to develop the basic theory of stably compact spaces (viz. compact, locally compact, coherent sober spaces) and introduce in an accessible manner and with a minimum of prerequisites some significant new lines of investigation and application arising from recent research, which has arisen primarily in the theoretical computer science community. Three primary themes have developed: (i) the property of stable compactness is preserved under a large variety of constructions involving powerdomains, hyperspaces and function spaces; (ii) the underlying de Groot duality of stably compact spaces, which finds varied expression, is reflected by duality theorems involving the just mentioned constructions; and (iii) the notion of inner and outer pavings is a useful and natural tool for such studies of stably compact spaces.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available