A representation of stably compact spaces, and patch topology
This note presents a concrete representation of stably compact spaces. This is used to give a simple, and predicative, description of the patch topology of a stably compact space (J. Pure Appl. Algebra, to appear). (C) 2002 Elsevier B.V. All rights reserved.
stably compact spaces patch topology locale entailment relations constructive functional analysis