...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Order >The Equivalence of QRB, QFS, and Compactness for Quasicontinuous Domains
【24h】

The Equivalence of QRB, QFS, and Compactness for Quasicontinuous Domains

机译：拟连续域的QRB，QFS和紧凑性的等效性

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this article we show the equivalence of QRB, QFS, and compact quasicontinuous domains. QRB and QFS domains are generalizations of RB and FS domains to the setting of quasicontinuous domains and compactness means compactness in the Lawson topology. This equivalence extends in the algebraic setting to a quasicontinuous version of bifinite domains. The Smyth powerdomain is a basic tool in the proofs, and it is shown that quasicontinuous properties at the dcpo level typically have the corresponding continuous domain properties at the Smyth powerdomain level.
机译：在本文中，我们展示了QRB，QFS和紧致准连续域的等效性。 QRB和QFS域是RB和FS域对拟连续域设置的概括，紧凑性表示Lawson拓扑中的紧凑性。该等价在代数设置中扩展为双连续域的拟连续版本。 Smyth幂域是证明中的基本工具，它表明dcpo级别的准连续属性通常在Smyth幂域级别具有相应的连续域属性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号