A representation of stably compact spaces, and patch topology. (Q1427774)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A representation of stably compact spaces, and patch topology. |
scientific article |
Statements
A representation of stably compact spaces, and patch topology. (English)
0 references
14 March 2004
0 references
The paper presents a concrete representation of stable compact spaces. This representation is used to give a description of the patch topology of a stable compact space. The authors end the paper by a list of examples, which illustrate the simplicity of their representation theory.
0 references
locale
0 references
patch topology
0 references
stable compact spaces
0 references
constructive functional analysis
0 references
entailment relations
0 references
