Coherence spaces are untopological (Q1178707)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Coherence spaces are untopological
scientific article

    Statements

    Coherence spaces are untopological (English)
    0 references
    0 references
    26 June 1992
    0 references
    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.
    0 references
    0 references
    stable map
    0 references
    cartesian closed category
    0 references
    Scott domains
    0 references
    coherence space
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references