吉米·劳森 最大点的空间。 (英语) Zbl 0985.54025号 数学。结构。计算。科学。 7,第5期,543-555(1997). 摘要:本文证明了完全可度量可分度量空间正是可以实现为连续有向完全偏序集的极大点集,其中极大点集是用相对Scott拓扑拓扑化的。 引用于2评论引用于65文件 MSC公司: 54E35个 度量空间,可度量性 06B35号 连续格和偏序集,应用 2005年第68季度 计算模型(图灵机等)(MSC2010) 54E50型 完整的度量空间 关键词:有向完备偏序集;dcpo公司;Scott拓扑 PDF格式BibTeX公司 XML格式引用 \textit{J.Lawson},数学。结构。计算。科学。7,第5号,543--555(1997;Zbl 0985.54025) 全文: 内政部