×

Scott连续自映射的不动点。 (英语) Zbl 1004.06008号

摘要:我们研究了域之间Scott连续自映射的所有不动点组成的集的性质。结果回答了以下问题J.D.劳森M.失恋[“领域理论和拓扑”,载于:J.van Mill和G.M.Reed(eds.),《拓扑学中的开放问题》,阿姆斯特丹:北荷兰(1990;兹比尔0718.54001)].

MSC公司:

06B35号 连续格和偏序集,应用
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abramsky,S。;Jung,A。;Abramsky,S。;加贝,D.M。;Maibaum,E.,领域理论,收录于《计算机科学逻辑手册》(1994),纽约:Springer-Verlag,纽约
[2] 弗雷德,P.J。;Carboni,A。;Pedicchio,M.C。;Rosolini,G.,代数完备范畴,数学课堂讲稿1448,95-104(1991),纽约:Springer-Verlag,纽约·兹伯利0815.18005
[3] 温斯克尔,G。;Larsen,K.,《使用信息系统有效求解递归域方程》,载于《数据类型的语义》,《计算机科学讲义》173109-130(1984),纽约:Springer-Verlag,纽约·兹伯利0539.68019
[4] Liang,J.H。;刘永明,领域理论与拓扑学,《数学进展》,1999年第28、2、97-103页·Zbl 1054.54500号
[5] 劳森·J·D。;Mislove,M。;Van Mill,J。;Reed,G.M.,域理论和拓扑学,收录于《拓扑学中的开放问题》(1990),北荷兰:阿姆斯特丹,北荷兰·Zbl 0718.54001号
[6] Gien,G。;霍夫曼,K.H。;Keimel,K.,《连续格纲要》(1980),纽约:Springer-Verlag出版社,纽约·Zbl 0452.06001号
[7] 阿马迪奥。,风险管理。;Curien,P.L.,Domain和Lambda-Calculi(1998年),坎布里奇:剑桥大学出版社,坎布里杰·Zbl 0962.03001号
[8] Jung,A.,笛卡尔闭合域类别,CWI Tracts(1988),北荷兰:阿姆斯特丹,北荷兰·Zbl 0663.18004号
[9] Liu,Y.M。;Liang,J.H.,J.D.Lewson和M.M.两个问题的解决方案是爱,拓扑及其应用,69153-164(1996)·Zbl 0853.54005号 ·doi:10.1016/0166-8641(95)00083-6
[10] Liang,J.H。;Keimel,K.,紧连续L域,计算机和数学应用,38,81-89(1999)·Zbl 0941.68080号 ·doi:10.1016/S0898-1221(99)00171-6
[11] 梁建华,连续B域的一个刻画定理,中国数学年鉴,19A,6,699-702(1998)·Zbl 0938.06501号
[12] Chen,Y.X.,Stone对偶和稳定域的表示,计算机和数学及其应用,34,27-41(1997)·Zbl 0883.06008号 ·doi:10.1016/S0898-1221(97)00096-5
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。