Embedding metric spaces into CPO's (Q1164416): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q3262213 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5181669 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effectively given domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5522002 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computability concepts for programming language semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bases for Chain-complete Posets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5649639 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3947101 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A uniform approach to inductive posets and inductive closure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Embedding metric spaces into CPO's / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5541833 / rank
 
Normal rank

Revision as of 14:47, 13 June 2024

scientific article
Language Label Description Also known as
English
Embedding metric spaces into CPO's
scientific article

    Statements

    Embedding metric spaces into CPO's (English)
    0 references
    0 references
    0 references
    1981
    0 references
    complete partial order
    0 references
    metric spaces with Polish topology
    0 references
    bounded complete omega-algebraic cpo's with continuous weight and distance
    0 references
    continuous cpo-functions
    0 references
    continuous functions on metric spaces
    0 references
    computability on metric spaces
    0 references
    Euclidean space
    0 references
    total functions on the natural numbers
    0 references
    Baire space
    0 references
    spaces of infinite trees
    0 references

    Identifiers