A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Stably compact spaces
2010
Mathematical Structures in Computer Science
The purpose of this article is to develop the basic theory of stably compact spaces (=compact, locally compact, coherent sober spaces) and introduce in an accessible manner with a minimum of prerequisites significant new lines of their investigation and application arising from recent research, primarily in the theoretical computer science community. There are three primary themes that are developed: firstly the property of stable compactness is preserved under a large variety of constructions
doi:10.1017/s0960129510000319
fatcat:uwsasrcwgvasfgr6ruvuhj7squ