首页> 外文期刊>Mathematical structures in computer science >Partial metrisability of continuous posets
【24h】

Partial metrisability of continuous posets

机译:连续坐姿的局部可测量性

获取原文
获取原文并翻译 | 示例
获取外文期刊封面目录资料

摘要

In this article, we characterise all continuous posets that are partially metrisable in their Scott topology. We present conditions for pmetrisability, which are both necessary and sufficient, in terms of measurements, domain-theoretic bases and, in a more general setting, in terms of radially convex metrics. These conditions, together with their refinements and generalisations, set a natural hierarchy on the class of partially metrised posets. We locate the class of countably-based continuous dcpos within this hierarchy.
机译:在本文中,我们将描述所有在其Scott拓扑中可部分度量的连续位姿。我们提供了可度量性的条件,就测量,域理论基础以及更一般的情况而言,就径向凸度量而言,这是必要和充分的条件。这些条件,以及它们的改进和概括,为部分对称的坐姿类设置了自然层次。我们在此层次结构中找到基于可数的连续dcpos的类。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号