期刊文献+

关于拟连续domain以及函数空间的注记 被引量:4

Notes on Quasicontinuous Domains and Their Function Spaces
原文传递
导出
摘要 用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外,本文证明了拟连续格关于函数空间是不封闭的,从而不能构成cartesian闭范畴。 In this paper,we give a equivalent description of quasicontinuous domains and their Scott closed set lattice so called general completely distributive lattices in the form of adjoint.We also prove that the class of quasicontinuous lattice is not closed under function spaces.
作者 赵浩然 寇辉
出处 《模糊系统与数学》 CSCD 北大核心 2012年第4期143-148,共6页 Fuzzy Systems and Mathematics
基金 国家自然科学基金资助项目(10871137) 教育部新世纪优秀人才计划项目(070576)
关键词 拟连续 伴随 函数空间 Quasicontinuous Adjoint Function Space
  • 相关文献

参考文献9

  • 1Abramsky S, Jung A. Domain theory [Z]. Handbook of logic in computer science. Oxford:Oxford University Press, 1994.
  • 2Amadio R M, Curien P-L. Domains and lambda-calculi[M]. Cambridge University Press, 1998.
  • 3Gierz G, et al. Continuous lattices and domains[M]. Cambridge University Press,2003.
  • 4Gierz G, Lawson J D. Generalized continuous and hypercontinuous lattices[J]. The Rocky Mountain Journal of Mathematics, 1981,11 : 271- 296.
  • 5Heckmann R. An upper power domain construction in terms of strongly compact sets, LNCS 598[M]. Springer- Verlag, 1991 : 272 - 293.
  • 6Xiaoquan XU Jinbo YANG.Topological Representations of Distributive Hypercontinuous Lattices[J].Chinese Annals of Mathematics,Series B,2009,30(2):199-206. 被引量:21
  • 7Jin Bo YANG,Mao Kang LUO.Priestley Spaces,Quasi-hyperalgebraic Lattices and Smyth Powerdomains[J].Acta Mathematica Sinica,English Series,2006,22(3):951-958. 被引量:16
  • 8Yang J B. Quasi-hypercontinuous domains and quasi-hypereontinuous lattices[D]. Chengdu:Sichuan University, 2006.
  • 9原雅燕,寇辉.关于函数空间的超连续性[J].数学年刊(A辑),2010,31(5):571-578. 被引量:4

二级参考文献17

  • 1XUXIAOQUAN,LIUYINGMING.REGULAR RELATIONS AND MONOTONE NORMAL ORDERED SPACES[J].Chinese Annals of Mathematics,Series B,2004,25(2):157-164. 被引量:4
  • 2Jin Bo YANG,Mao Kang LUO.Priestley Spaces,Quasi-hyperalgebraic Lattices and Smyth Powerdomains[J].Acta Mathematica Sinica,English Series,2006,22(3):951-958. 被引量:16
  • 3Priestley, H. A.: Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc., 2, 186-190 (1970)
  • 4Venugopalan, P.: Priestley spaces, Proceedings of the American Mathematics Society, 109(3), 605-610(1990)
  • 5Flagg, B,: Algebraic theories of compact pospaces. Topology and Its Applications, 77, 277-290 (1997)
  • 6Lawson, J. D.: The upper interval topology, Property M, and compactness, Electronic Notes in Theoretical Computer Science, 1998
  • 7Xu, X. Q., Liu, Y. M.: The Scott topology and Lawson topology on a Z-quasicontinuous domain (in Chinese). Chin. Ann. of Math., 24A(3), 365-376 (2003)
  • 8Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., Scott, D.: Continuous lattices and domains, Cambridge University Press, 2003
  • 9Heckmann, R.: Power Domain Constructions, PhD thesis, University des Saarlandes, 1990
  • 10Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., Scott, D.: A compendium of continuous lattices, Springer-Verlag, Berlin, 1980

共引文献31

同被引文献16

  • 1Jin Bo YANG,Mao Kang LUO.Priestley Spaces,Quasi-hyperalgebraic Lattices and Smyth Powerdomains[J].Acta Mathematica Sinica,English Series,2006,22(3):951-958. 被引量:16
  • 2李高林,徐罗山.拟连续Domain的拟基及其权[J].模糊系统与数学,2007,21(6):52-56. 被引量:8
  • 3Gierz G, et al. Continuous lattices and domains[M]. Cambridge University Press,2003.
  • 4Goubault-Larrecq J. QRB-domains and the probabilistic powerdomain[J]. Logic Methods in Computer Science, 2012, 8(1) :1-33.
  • 5Han Y H.. Hong S S, Lee C K, Park P U. A generalization of continuous posets[-J]. Comm. Korean. Math. Soc., 1989,4(1):129-138.
  • 6Heckmann R, Keimel K. Quasicontinuous domains and the smyth powerdomain[J]. Electronic Notes in Theoretical Computer Science, 2013,298: 215 - 232.
  • 7Lee S O. On countably approximating lattices[J]. J. Korean Math. Soc. , 1988,25 (1) : 11 - 23.
  • 8Li G L, Xu L S. QFS-Domains and their Lawson compactness[J]. Order,2013,30:233-248.
  • 9Yang J B, Liu M. On generalized countably approximating posets [J]. Journal of the Chungcheong Mathematical Society,2012,23(4) ..415-424.
  • 10Xiaoquan XU Jinbo YANG.Topological Representations of Distributive Hypercontinuous Lattices[J].Chinese Annals of Mathematics,Series B,2009,30(2):199-206. 被引量:21

引证文献4

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部