期刊文献+

Z-连通代数偏序集及其范畴 被引量:5

Z-connected Algebraic Posets and Their Categories
下载PDF
导出
摘要 对于Z-连通集系统,本文引入了Z-连通代数偏序集的概念,证明了Z-连通代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴。 For a Z-connected set system, the concept of Z-connected algebraic poset is introduced. We prove that the category of Z-connected algebraic posets is dually equivalent to a full subcategory of the category of strongly algebraic lattices.
出处 《模糊系统与数学》 CSCD 北大核心 2009年第2期46-51,共6页 Fuzzy Systems and Mathematics
基金 国家自然科学基金资助项目(10331010 10861007) 高等学校全国优秀博士学位论作者专项资金资助项目(2007B14) 江西省自然科学基金金资助项目(0411025 2007GZS0179) 南昌大学基金资助项目 江西师范大学博士基金资助项目
关键词 Z-连通集系统 Z-连通连续偏序集 Z-连通代数偏序集 强代数格 Z-connected Set System Z-connected Continuous Poset Z-connected Algebraic Poset Strongly Algebraic Lattice
  • 相关文献

参考文献14

  • 1Wrigth J B, Wagner E G, Thatch J W. A uniform approach to inductive posets and inductive closure[J]. Theoretical Computer Science, 1978,7 : 57- 77.
  • 2Bandelt H J, Erne M. The category of Z-continuous posets[J]. J. Pure and Appl. Algebra,1983,30:219-226.
  • 3Venugopolan P. Z-continuous posets[J]. Houston J. Math. , 1986,12 : 275-294.
  • 4Xu X Q. Construction of homomorphisms of M-continuous lattices[J]. Trans. of Amer. Math. Soe. ,1995,347:3167 -3175.
  • 5徐晓泉.M-连续格到Hilbert方体的嵌入[J].数学学报(中文版),1995,38(6):827-830. 被引量:6
  • 6Baranga A. Z-continuous posets[J]. Discrete Math. , 1996,152: 33-45.
  • 7Gierz G, et al. Continuous lattices and domains[M]. Cambridge University Press,2003.
  • 8徐晓泉,刘应明.Z-拟连续domain上的Scott拓扑和Lawson拓扑[J].数学年刊(A辑),2003,24(3):365-376. 被引量:33
  • 9Xu X Q, Kou H, Huang Y. Rudin property and quasi Z-continuous domains[J]. Chinese Journal of Contemporary Mathematics, 2003,24 : 265- 276.
  • 10徐晓泉,罗懋康,黄艳.拟Z-连续domain和Z-交连续domain[J].数学学报(中文版),2005,48(2):221-234. 被引量:13

二级参考文献56

  • 1王戈平,时根保.CHARACTERISTIC PROPERTIES OF GENERALIZED ORDER HOMOMORPHISMS AND AN INVERSE THEOREM OF THE EXTENSION THEOREM[J].Chinese Science Bulletin,1992,37(10):875-876. 被引量:2
  • 2Heckmann, R., An upper power domain construction in terms of strongly compact sets[M], Lecture Notes in Computer Science, Vol.598, Springer-Verlag, New York, 1992,272-293.
  • 3Rudin, M. E., Directed sets with converge [A], in: Proc. Riverside Symposium on Topology and Modern Analysis [C], 1980, 305-307.
  • 4Hofmann, K. H. & Mislove, M., Local compactness and continuous lattices [M], Lecture Notes in Mathematics, Vol. 871, Springer-Verlag, New York, 1981, 125-158.
  • 5Kou, H., Uk-admitting dcpos need not be Sober [A], in: Domain and Process [M],Kluwer Academic Publishers, 2001, 41-50.
  • 6Bernays, P., A system of axiomatic set theory Ⅲ [J], J. of Symbolic Logic, 7(1942),65-89.
  • 7Xu, X. Q., Strictly complete regularity of the Lawson topology on a continuous poset[J], Topology and its Applications, 103(2000), 37-42.
  • 8Scott, D. S., Continuous lattices [M], Lecture Notes in Math., Vol. 274, Springer-Verlag,1972, 97-136.
  • 9Lawson, J. D., Topological semilattices with small semilattices [J], J. London Math.Soc., 2(1969), 719-724.
  • 10Plotkin, G. D., A powerdomain construction [J], SIAM J. of Computing, 5(1976), 452-487.

共引文献57

同被引文献33

  • 1尚云,赵彬.Z-连通集系统及其范畴特征[J].数学学报(中文版),2004,47(6):1141-1148. 被引量:7
  • 2赵东升.格上的双Scott拓扑[J].数学年刊(A辑),1989,10(2):187-193. 被引量:7
  • 3徐罗山.偏序集上的测度拓扑和全测度[J].模糊系统与数学,2007,21(1):28-35. 被引量:7
  • 4Gierz G, Hofmann K H, Keimel K, et al. Continuous lattice and domains[M]. Cambridge: Cambridge University Press, 2003.
  • 5Xu Luoshan, Mao Xuxin. Strongly continuous posets and the local Scott topology[J]. Journal of Mathematical Analysis and Application, 2008, 345(2) :816-824.
  • 6Gierz G, Lawson J D. Generalized continuous and hypercontinuous lattice [J]. Rocky Mountain Journal Mathematics, 198 l, 11 : 271-296.
  • 7Baranga A. Z-continuous posets[J]. Discrete Mathematics, 1996,152 : 33-45.
  • 8周异辉.二连续偏序集范畴与收敛性[D].西安:陕西师范大学数学与信息科学学院,2009.
  • 9GIERZ G. A Compendium of Continuous Lattices[M]. Berlin Springer: Verlag, 1980.
  • 10刘妮,赵彬.连续Domain的遗传性及其不变性[J].模糊系统与数学,2007,21(4):22-26. 被引量:9

引证文献5

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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