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

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q162062
Created claim: DBLP publication ID (P1635): journals/tcs/WeihrauchS81, #quickstatements; #temporary_batch_1731543907597
 
(3 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Weihrauch, Klaus / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
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
Property / DBLP publication ID
 
Property / DBLP publication ID: journals/tcs/WeihrauchS81 / rank
 
Normal rank

Latest revision as of 01:32, 14 November 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