×

关于Knaster-Tarski不动点定理的注记。 (英语) Zbl 1484.06007号

摘要:本文证明了序理论中关于不动点的几个表述等价于完备格的Knaster-Tarski不动点定理。所有的证明都是在Zermelo-Fraenkel集合理论中完成的,没有选择公理。

MSC公司:

06年06月06日 部分订单,通用
06B23号 完整格,完整
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Tarski,A.,格理论不动点定理及其应用,Pac。数学杂志。,5, 2, 285-309 (1955) ·Zbl 0064.26004号 ·doi:10.2140/pjm.1955.5.285
[2] Bourbaki,N.,Sur le th或me de Zorn,Archiv der Mathematik,2434-437(1949年)·Zbl 0045.32902号 ·doi:10.1007/BF02036949
[3] Witt,E.,Beweisstudien zum satz von M.Zorn,数学。纳克里斯。,4, 434-438 (1951) ·Zbl 0042.05002号 ·doi:10.1002/mana.3210040138
[4] Davey,文学学士;Priestley,HA,《晶格与秩序导论》(2002),纽约:剑桥大学出版社,纽约·Zbl 1002.06001号 ·doi:10.1017/CBO9780511809088
[5] Thomas,S.,《函数编程领域理论基础》(2006),新泽西州:世界科学出版社。新泽西州Co.,Inc·Zbl 1111.68020号
[6] Markowsky,G.,链完备偏序集和有向集及其应用,代数大学。,6, 53-68 (1976) ·Zbl 0332.06001号 ·doi:10.1007/BF02485815
[7] Lang,S.,《代数》,修订版(2002),纽约:Springer,纽约·Zbl 0984.0001号 ·doi:10.1007/978-1-4613-0041-0
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。