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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Created claim: DBLP publication ID (P1635): journals/tcs/WeihrauchS81, #quickstatements; #temporary_batch_1731543907597
 
(One intermediate revision by one other user not shown)
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