期刊文献+

Rudin性质与拟Z-连续Domain 被引量:16

RUDIN PROPERTY AND QUASI Z-CONTINUOUS DOMAINS
下载PDF
导出
摘要 对一般子集系统 Z,引入了 Rudin性质,给出了它的映射式刻划,作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了 Rudin性质及其映射式刻划在拟 Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟 Z-连续 Domain情形。 For a general subset system Z, the Rudin property is denned and its characterization in mapping forms are given. As a common generalization of quasicontonuous posets and Z-continuous posets, quasi Z-continous domains are introduced and some basic their properties are investigated. In particular, several applications of the Rudin property and its mapping characterization to quasi Z-continuous domains are given. The main part of the theory of quasicontinuous posets is carried to quasi Z-continous domains.
出处 《数学年刊(A辑)》 CSCD 北大核心 2003年第4期483-494,共12页 Chinese Annals of Mathematics
基金 国家自然科学基金(No.19561002 No.19831040 No.10071053) 国家数学天元基金(No.TY10126026) 江西省主要学科新世纪学术带头人培养基金 江西省自然科学基金
关键词 Rudin性质 Z-below关系 拟Z-连续Domain Rudin property, Z-below relation, Quasi Z-continuous domain
  • 相关文献

参考文献13

  • 1徐晓泉,刘应明.Z-拟连续domain上的Scott拓扑和Lawson拓扑[J].数学年刊(A辑),2003,24(3):365-376. 被引量:33
  • 2Abramsky, S. & Jung, A., Domain theory [M], Handbook of Logic in Comuter Sci., Vol.3, Clarendon Press, Oxford, 1994. 被引量:1
  • 3Bandelt, H. J. & Erne, M., The category of Z-continuous posets [J], J. Pure and Appl.Algebra, 30(1983), 219-226. 被引量:1
  • 4Baranga, A., Z-continuous posets [J], Discrete Math., 152(1996), 33-45. 被引量:1
  • 5Gierz, G. & Lawson, J. D., Generalized continuous and hypercontinuous lattices [J],Rocky Mountain J. Math., 11(1981), 271-296. 被引量:1
  • 6Gierz, G., Lawson, J. D. & Stralka, A., Quasicontinuous posets [J], Houston J. Math.,9(1983), 191-208. 被引量:1
  • 7Gierz, G. et al, A compendium of continuous lattices [M], Springer-Verlag, Berlin, 1980. 被引量:1
  • 8Heckmann, R., Power domain constructions [M], PhD thesis, Universitat des Saarlandes,1990. 被引量:1
  • 9Heckmann, 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. 被引量:1
  • 10Jung, A., Cartesian closed categories of domains [M], CWI Tract 66, Amsterdam, 1989. 被引量:1

二级参考文献21

  • 1Heckmann, 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. 被引量:1
  • 2Rudin, M. E., Directed sets with converge [A], in: Proc. Riverside Symposium on Topology and Modern Analysis [C], 1980, 305-307. 被引量:1
  • 3Hofmann, K. H. & Mislove, M., Local compactness and continuous lattices [M], Lecture Notes in Mathematics, Vol. 871, Springer-Verlag, New York, 1981, 125-158. 被引量:1
  • 4Kou, H., Uk-admitting dcpos need not be Sober [A], in: Domain and Process [M],Kluwer Academic Publishers, 2001, 41-50. 被引量:1
  • 5Bernays, P., A system of axiomatic set theory Ⅲ [J], J. of Symbolic Logic, 7(1942),65-89. 被引量:1
  • 6Xu, X. Q., Strictly complete regularity of the Lawson topology on a continuous poset[J], Topology and its Applications, 103(2000), 37-42. 被引量:1
  • 7Scott, D. S., Continuous lattices [M], Lecture Notes in Math., Vol. 274, Springer-Verlag,1972, 97-136. 被引量:1
  • 8Lawson, J. D., Topological semilattices with small semilattices [J], J. London Math.Soc., 2(1969), 719-724. 被引量:1
  • 9Plotkin, G. D., A powerdomain construction [J], SIAM J. of Computing, 5(1976), 452-487. 被引量:1
  • 10Abramsky, S. & Jung, A., Domain theory [M], Handbook of Logic in Comuter Sci., Vol.3, Clarendon Press, Oxford, 1994. 被引量:1

共引文献32

同被引文献98

引证文献16

二级引证文献39

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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