Domain representability of metric spaces (Q674414)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Domain representability of metric spaces
scientific article

    Statements

    Domain representability of metric spaces (English)
    0 references
    0 references
    5 March 1997
    0 references
    0 references
    domain representability
    0 references
    computable analysis
    0 references
    metric spaces
    0 references
    continuous functions
    0 references
    category of Scott-Ershov domains
    0 references
    effectivity
    0 references
    effective domain theory
    0 references
    effective metric
    0 references
    Banach fixed point theorem
    0 references
    least fixed point theorem
    0 references
    semieffective domains
    0 references
    Ceitin's theorem
    0 references
    0 references