×

标记偏序集是通用的。 (英语) Zbl 1133.06003号

本文的主要目的是研究用(k)标记的偏序集及其同态。第2节讨论了关于这些概念的一些初步结果。在第3节中,证明了有限(k)-偏序集的同态阶是一个分配格。第四节证明了有限(k)偏序集和(k)格的同态阶是普适的,即每个可数偏序集都可以嵌入其中。第五节讨论了(k)偏序集的有向图表示。在(k)-偏序集及其有向图表示之间建立了一个有趣的范畴同构。

MSC公司:

06A07年 偏序集的组合数学
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 布鲁姆,S.L。;埃西克,Z。,语言变体中的自由洗牌代数,理论。计算。科学。,163, 55-98 (1996) ·Zbl 0874.68171号
[2] Davey,B.A。;Priestley,H.A.,《格与序导论》(2002),剑桥大学出版社·Zbl 1002.06001号
[3] Gischer,J.L.,pomsets方程理论,Theoret。计算。科学。,61, 199-224 (1988) ·Zbl 0669.68015号
[4] Grabowski,J.,《关于部分语言》,Ann.Soc.Math。波隆。序列号。IV基金。通知。,4, 2, 427-498 (1981) ·Zbl 0468.68088号
[5] Hedrlín,Z.,《关于泛半序集和类》,J.代数,11,503-509(1969)·Zbl 0209.01602号
[6] 地狱,P。;Nešetřil,J.,(图和同态。图和同构,牛津数学及其应用系列讲座,第28卷(2004),牛津大学出版社:牛津大学出版社,纽约牛津)·Zbl 1062.05139号
[7] 胡比卡,J。;Nešetřil,J.,用定向树和其他简单图表示的通用偏序,欧洲组合杂志,26,765-778(2005)·Zbl 1060.05092号
[8] 胡比卡,J。;Nešetřil,J.,《有限路径是通用的》,Order,22,21-40(2005)·兹比尔1092.06002
[9] S.Kosub,《复杂性和分割》,博士论文,Bayerische Julius-Maximilians-Universität Würzburg,2000年。可从计算复杂性电子学术讨论会博士论文系列获得;S.Kosub,《复杂性和分割》,博士论文,Bayerische Julius-Maximilians-Universität Würzburg,2000年。可从计算复杂性电子学术讨论会博士论文系列获得
[10] Kosub,S.,偏序集上的NP部分及其减少NP问题解集的应用,理论计算。系统。,38, 83-113 (2005) ·兹比尔1061.68076
[11] 科苏布,S。;Wagner,K.W.,《NP部分的布尔层次结构》,(Reichel,H.;Tison,S.,STACS 2000,第17届计算机科学理论方面年度研讨会,计算机科学讲义,第1770卷(2000),Springer-Verlag:Springer-Verlag Berlin),157-168·Zbl 0959.68521号
[12] 库迪诺夫,O.V。;Selivanov,V.L.,有限标记森林同态拟序中的不可判定性,(Beckmann,A.;Berger,U.;Löwe,B.;Tucker,J.V.,计算障碍的逻辑方法,计算科学讲义,第3988卷(2006),Springer-Verlag:Springer-Verlag Berlin),289-296·Zbl 1145.03307号
[13] 库斯克,D.,词集的顺序理论,RAIRO-信息。西奥。申请。,40, 53-74 (2006) ·Zbl 1098.03021号
[14] Lehtonen,E.,一元、线性和单调子函数关系的下降链和反链,Order,23129-142(2006)·邮编1124.08002
[15] Pratt,V.R.,用部分订单建模并发,国际。J.并行程序。,15, 33-71 (1987) ·Zbl 0622.68034号
[16] Rensink,A.,《代数与序确定集理论》,《圣母院J.形式逻辑》,37,283-320(1996)·Zbl 0865.06004号
[17] Selivanov,V.L.,可约基上分区的布尔层次,代数逻辑,43,44-61(2004),转自代数逻辑43(2004)77-109·Zbl 1061.03044号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。