Coherence spaces are untopological (Q1178707)

Coherence spaces are special Scott domains which have been used by Girard see \textit{J.-Y. Girard}, \textit{Y. G. A. Lafont} and \textit{P. Taylor} [Proofs and types, Cambridge University Press (1989)] for the semantics of Scott domains. The appropriate morphisms (which make coherence spaces a cartesian closed category) are so called stable functions. These are Scott-continuous, but not conversely. The author shows that it is in fact impossible to associate with each coherence space a topology such that stability is characterized by continuity.