×

关于更好的拟序可数级数并行序。 (英语) Zbl 0944.05052号

众所周知,当单个偏序集是串并行的时,如果是较小的串并行偏序集的和或序数和,那么有限偏序集就是串并行的,并且这等价于这样一个偏序集没有可比性图。将这个偏序集概念替换为一个概念,即如果有向图是无(N)的,即如果偏序集的有向图为子图,则可以讨论可数和更大的序列平行有向图,而无需进一步参考代数构造,而是依赖于其他分析方法。如果(C)是一类结构,如果(leq)是(C)上的一个序,那么(C,leq)就是好拟序(wqo),如果对于(C)中的任何无限序列(C_1,dots,C_k,dots\)都存在(i\precj),使得(C_i\leqC_j)可以用来构造这种类型的“非递减”无限序列。重要而有趣的定理相当于为类(C)建立wqo(leq)。因此,例如,(Kruskal)有限树的类是(无穷)wqo(关于(V)-嵌入顺序),因此(Pouzet)有限系列平行图的类是。引入更好的拟阶作为“加强的”wqo,例如(Corominas),可数树的类是bqo(关于嵌入)。在这篇有趣且有指导意义的论文中,作者能够扩展这些思想,通过将问题转换为结构化树问题,并将Corominas的结果扩展到此类结构化树,从而响应有限情况并回答了Pouzet的猜想是肯定的。

MSC公司:

05C20号 有向图(有向图),比赛
05二氧化碳
08年65月 无限代数
05C75号 图族的结构特征
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] E.Corominas,关于更好的拟序可数树,离散数学。53(1985),35-53(英语,法语摘要)。有序集及其应用的特别卷(L'Arbresle,1982)·Zbl 0575.05024号 ·doi:10.1016/0012-365X(85)90127-X
[2] B.Dushnik和E.W.Miller,关于线性序集的相似变换,Bull。阿默尔。数学。《社会学杂志》,46(1940),322-326·Zbl 0024.30102号
[3] 莫里斯·普泽特(Maurice Pouzet)和丹尼斯·理查德(Denis Richard),《订单:描述和角色》(Orders:description and roles),《北霍兰德数学研究》(North-Holland Mathematics Studies),第99卷,北霍尔德出版公司,阿姆斯特丹,1984。离散数学年鉴,23·兹比尔0539.00003
[4] T.Gallai,Transitiv orientierbare Graphen,《数学学报》。阿卡德。科学。匈牙利18岁(1967年),25-66岁(德语)·Zbl 0153.26002号 ·doi:10.1007/BF02020961
[5] 希格曼,抽象代数中的可除性排序,Proc。伦敦数学。《社会学杂志》,第2期(1952年),第326-336页·Zbl 0047.03402号
[6] P.Ille,私人通信。
[7] 大卫·凯利(David Kelly),《可比性图、图和顺序》(Banff,Alta,1984),《北约高级科学》。仪器序列号。C数学。物理。科学。,第147卷,雷德尔,多德雷赫特,1985年,第3-40页·Zbl 0573.05055号
[8] J.B.Kruskal,Well拟序,树定理和Vazsonyi猜想,Trans。阿默尔。数学。Soc.95(1960),210-225·Zbl 0158.27002号
[9] 理查德·拉沃尔(Richard Laver),《论弗雷塞的序型猜想》,《数学年鉴》。(2) 93 (1971), 89 – 111. ·Zbl 0208.28905号 ·数字对象标识代码:10.2307/1970754
[10] E.C.Milner,《基本wqo-和bqo-理论,图和序》(Banff,Alta,1984),《北约高级科学》。仪器序列号。C数学。物理。科学。,第147卷,雷德尔,多德雷赫特,1985年,第487-502页·Zbl 0573.06002号
[11] C.St.J.A.Nash-Williams,关于更好的准序超限序列,Proc。剑桥菲洛斯。Soc.64(1968),273-290·Zbl 0155.02404号
[12] M.Pouzet,《良好拟序和更好拟序的应用》,图和序(Banff,Alta,1984),《北约高级科学》。仪器序列号。C数学。物理。科学。,第147卷,雷德尔,多德雷赫特,1985年,第503-519页·Zbl 0588.05049号
[13] R.Rado,向量集的部分良好排序,Mathematika,1(1954),89-95·Zbl 0057.04302号
[14] S.Thomassé,Thèse de docorat,里昂(1995年)。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。