迈克尔·史密斯。 作为计算域的全有界空间和紧序空间。 （英语） Zbl 0733.54024号 计算机科学中的拓扑和范畴理论。Conf.，牛津/英国1989，207-229（1991）。 [关于整个系列，请参见Zbl 0725.00017号.]这篇有趣的文章的主要目的是帮助讨论“计算的便利类别”。作者认为，在寻找计算域的“范畴”时，（bi）完全有界拟（伪）度量（T_0）空间以及某些密切相关的范畴（例如紧序空间）值得考虑。他表明，在许多情况下，计算示例可以帮助阐明拟（伪）度量空间和拟均匀空间中极限和完备性的一般理论。他还仔细指出了所研究的准均匀概念的计算机科学动机。作为其理论的应用，他提出将（所谓的）权力空间构造为自由半格，推广了普洛金权力域和维多利斯超空间。大多数数学结果以相当粗略的方式呈现；更全面的报道将在其他地方发布。审核人：H.P.Künzi（伯尔尼） 引用于1审查引用于34文件 理学硕士： 54个F05 线性序拓扑空间、广义序空间和偏序空间 54E15型 统一结构和推广 68问题55 计算理论中的语义学 关键词：全有界空间;紧序空间;拟度量空间;Plotkin功率域;维多利斯超空间 引文：Zbl 0725.00017号 PDF格式BibTeX公司 XML格式