期刊文献+

关于函数空间的超连续性 被引量:4

On Hypercontinuity of Function Spaces
下载PDF
导出
摘要 超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴. In the paper,hypercontinuous lattices(complete semilattices) are characterized by the function spaces.It is shown that hypercontinuous lattices(complete semilattices) are closed under the Scott continuous function spaces and hence the corresponding categories consisting of them are Cartesian closed.
作者 原雅燕 寇辉
出处 《数学年刊(A辑)》 CSCD 北大核心 2010年第5期571-578,共8页 Chinese Annals of Mathematics
基金 国家自然科学基金(No.10871137) 教育部新世纪优秀人才支持计划(No.070576)资助的项目
关键词 超连续格 完备半格 函数空间 Cartesian闭范畴 Hypercontinuous lattice Complete semilattice Function space Cartesian closed category
  • 相关文献

参考文献2

二级参考文献14

  • 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. 被引量:14
  • 2[1]Bandelt, H. J., Regularity and complete distributivity, Semigroup Forum, 19(1980), 123-126. 被引量:1
  • 3[2]Birkhoff, G. Lattice Theory, 3rd edition, Amer. Math. Sco. Colloq. Publ., Providence, 1967. 被引量:1
  • 4[3]Gierz, G., Hofmann, K., Keimel, K., Lawson, J. D., Mislove, M. & Scott, D., A Compendium of Continuous Lattices, Springer-Verlag, 1980. 被引量:1
  • 5[4]Lawson, J. D., Order and strongly sober compactifications, in Topology and Category Theory in Computer Science, Oxford Press, 1991, 179-205. 被引量:1
  • 6[5]Markowsky, G., Idempotents and product representationns with applications to the semigroup of binary relations, Semigroup Forum, 5(1972), 95-119. 被引量:1
  • 7[6]Nachibin, L., Topology and Order, van Nostrand, Princeton, 1965. 被引量:1
  • 8[7]Raney, G. N., Completely distributive complete lattices, Proc. Amer. Math. Soc., 3(1952), 677-680. 被引量:1
  • 9[8]Raney, G. N., A subdirect-union representation for completely distributive complete lattices, Proc.Amer. Math. Soc., 4(1953), 518-522. 被引量:1
  • 10[9]Raney, G. N., Tight Galois connections and completely distributive complete lattices, Trans. Amer.Math. Soc., 97(1960), 418-426. 被引量:1

共引文献19

同被引文献41

  • 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. 被引量:14
  • 2黄方平,梁基华,寇辉.开滤子Domain的分配性(英文)[J].四川大学学报(自然科学版),2006,43(5):992-995. 被引量:1
  • 3Scott D. Outline of a mathematical theory of compu- tation[J]. 4th Annual Princeton Conference on Infor- mation Sciences and Systems, 1970: 169. 被引量:1
  • 4Scott D, Data types as lattices[J]. SIAM J. Compu- ting, 1976, 5: 522. 被引量:1
  • 5Scott D S. Domains for denotational semantics[C] // Nielson M, Schmidt E M. Internat. Colloq. on Au- tomata, Languages and Programs, Lecture Notes in Computer Science, Vol. 140, Berlin: Springer, 1982. 被引量:1
  • 6Abramsky S, Jung A. Domain theory[C]// Abram- sky S, et al. Handbook of Logic in Computer Sci- ence. Oxford: Oxford University Press, 1994. 被引量:1
  • 7Chen Y, Jung A. A logical approach to stable do- mains[J]. Theoretical Computer Science, 2006, 368: 124. 被引量:1
  • 8Gierz G, Lawson J D. Generalized continuous and hypereontinuous lattices [J]. The Rocky Mountain Journal of Mathematics, 1981, 11: 271. 被引量:1
  • 9Heckmann R. An upper power domain construction in terms of strongly compact sets[J]. Berlin/New York : Springer-Verlag, 1991. 被引量:1
  • 10Jung A. Cartesian closed categories of domains[M]. Amsterdam: CWI Tracts, 1989. 被引量:1

引证文献4

二级引证文献17

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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