Embedding metric spaces into CPO's
type: Item
instance of: scholarly article
title: Embedding metric spaces into CPO's
zbMATH Open document ID: 0485.68040
DOI: 10.1016/0304-3975(81)90027-X
author: Ulrich Schreiber
author: Klaus Weihrauch
published in: Theoretical Computer Science
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D60
Mathematics Subject Classification ID: 06B23
Mathematics Subject Classification ID: 54E35
zbMATH DE Number: 3763291
zbMATH Keywords: complete partial order
zbMATH Keywords: metric spaces with Polish topology
zbMATH Keywords: bounded complete omega-algebraic cpo's with continuous weight and distance
zbMATH Keywords: continuous cpo-functions
zbMATH Keywords: continuous functions on metric spaces
zbMATH Keywords: computability on metric spaces
zbMATH Keywords: Euclidean space
zbMATH Keywords: total functions on the natural numbers
zbMATH Keywords: Baire space
zbMATH Keywords: spaces of infinite trees
Wikidata QID: Q56550573
MaRDI profile type: Publication
cites work: Q3262213
cites work: Q5181669
cites work: Effectively given domains
cites work: Q5522002
cites work: Computability concepts for programming language semantics
cites work: Bases for Chain-complete Posets
cites work: Q5649639
cites work: Q3947101
cites work: A uniform approach to inductive posets and inductive closure
cites work: Q5541833
DBLP publication ID: journals/tcs/WeihrauchS81
description: scientific article; zbMATH DE number 3763291