×

一个相对有限到有限的泛拟簇,但不是Q泛拟簇。 (英语) Zbl 07556315号

摘要:作者证明了拟Stone代数的拟簇{问}_{\mathbf{1,2}}\)相对于拟簇\(\mathbf)是有限到有限的泛型{问}_{\mathbf{2,1}}\)包含在\(\mathbf{问}_{\mathbf{1,2}}\)。在本文中,我们证明了\(\mathbf{问}_{\mathbf{1,2}}\)不是Q-通用的。这为以下长期存在的悬而未决的问题提供了一个积极的答案:是否存在一个相对有限到有限的泛变量,但不是Q泛变量?

MSC公司:

05年6月 格的结构理论
08C15号 准变种
06B20号 格子的种类
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 亚当斯,ME;阿达里切娃,KV;Dziobiak,W。;Kravchenko,AV,与Birkhoff和Maltsev问题相关的一些开放性问题,Stud.Logica。,78, 357-378 (2004) ·Zbl 1105.08007号 ·doi:10.1007/s11225-005-7378-x
[2] 亚当斯,ME;Dziobiak,W.,有限到有限泛拟簇是(Q\)-泛的,代数宇宙。,46, 253-283 (2001) ·Zbl 1059.08002号 ·doi:10.1007/PL00000343
[3] Adams,M.E.,Dziobiak,W.:关于各种格的(Q\)-格的备注。代数大学。82 (2021) ·Zbl 1498.08008号
[4] Adams,M.E.,Dziobiak,W.,Kravchenko,A.V.,Schwidefsky,M.V.:关于代数格的完全格同态像的评论(2020)
[5] 亚当斯,ME;Dziobiak,W。;Sankappanavar,HP,拟斯通代数的通用变种,代数大学。,76, 155-182 (2016) ·Zbl 1356.06005号 ·doi:10.1007/s00012-016-0400-5
[6] Birkhoff,G.:泛代数。收录:加拿大第一数学学报。国会(蒙特利尔,1945),310-326。多伦多大学出版社,多伦多(1946)·Zbl 0060.06802号
[7] Fischer,S.K.:拟斯通代数变种的合并,伯尔尼大学博士论文(2011)
[8] 佐治亚州弗雷泽;Horn,A.,《直接产品中的同余关系》,Proc。美国数学。Soc.,26390-394(1970年)·Zbl 0241.08004号 ·doi:10.1090/S0002-9939-1970-0265258-1
[9] Freese,R.,Jeíek,J.,Nation,J.B.:自由格。数学调查与专著第42卷。美国数学学会,普罗维登斯,RI(1995)·Zbl 0839.06005号
[10] Gaitán,G.,拟Stone代数的Priestley对偶,Stud.Log。,64, 83-92 (2000) ·Zbl 0952.06015号 ·doi:10.1023/A:1005294531393
[11] 弗吉尼亚州Gorbunov,《拟变分代数理论》(1998),纽约:Plenum出版社,纽约·Zbl 0986.08001号
[12] Grätzer,G。;Kelly,D.,晶格品种乘积的次直接不可约成员,Proc。美国数学。Soc.,102,483-489(1988)·Zbl 0659.06004号 ·网址:10.1090/S0002-9939-1988-0928965-4
[13] Z.Hedrlín,Z.,Pultr,A.:关于代数范畴的完全嵌入。IL·J·数学。10, 392-406 (1966) ·Zbl 0139.01501号
[14] Hyndman,J.,Nation,J.B.:局部有限拟簇的次拟簇格。纽约州施普林格市(2018年)·Zbl 1425.08001号
[15] Koubek,V。;Sichler,J.,《论相对普适性和Q普适性》,《逻辑学研究》,第78期,第279-291页(2004年)·Zbl 1079.08009号 ·doi:10.1007/s11225-005-0291-5
[16] Koubek,V。;Sichler,J.,模0-格的几乎(mathit{ff})-泛和Q-泛变种,Colloq.Math。,101, 161-182 (2004) ·Zbl 1066.06004号 ·doi:10.4064/cm101-2-3
[17] Koubek,V。;Sichler,J.,《关于同步相对完整嵌入和Q普遍性》,Cah。白杨。盖姆。差异。猫。,49, 289-306 (2008) ·兹比尔1170.08005
[18] Koubek,V。;Sichler,J.,《几乎(mathit{ff})普遍性意味着(Q\)普遍性》,应用。类别。结构。,17, 419-434 (2009) ·Zbl 1182.08006号 ·doi:10.1007/s10485-007-9122-3
[19] Koubek,V。;Sichler,J.,关于Heyting代数的有限生成变种的相对泛性和Q泛性,Sci。数学。日本。,74, 63-115 (2011) ·Zbl 1318.06009号
[20] Kravchenko,A.V.,Nurakunov,A.M.,Schwidefsky,M.V.:关于拟变种的结构。独立公理化。代数逻辑57,445-462(2019)·Zbl 1439.08008号
[21] Kravchenko,A.V.,Nurakunov,A.M.,Schwidefsky,M.V.:关于拟变种的结构。二、。无法确定的问题。代数逻辑58,123-136(2019)·Zbl 1444.08005号
[22] Libkin,L.,n-分布性、维数和Carathéodory定理,代数大学。,34, 72-95 (1995) ·兹比尔08320.6010 ·doi:10.1007/BF01200491
[23] Maltsev,AI,代数系统类的乘法,Sibirsk。材料。,8, 346-365 (1967)
[24] 马尔采夫,AI,《代数和逻辑的边界问题》,217-231(1968),莫斯科:Proc。埋。莫斯科数学家大会
[25] Priestley,HA,用有序Stone空间表示分配格,Bull。伦敦。数学。Soc.,2186-190(1970)·Zbl 0201.01802号 ·doi:10.1112/blms/2.2.186
[26] Pultr,P。;Trnková,V.,群的组合、代数和拓扑表示(1980),阿姆斯特丹:半群和范畴。荷兰北部,阿姆斯特丹·Zbl 0418.18004号
[27] 新罕布什尔州桑卡帕纳瓦尔;Sankappanavar,HP,拟斯通代数,数学。逻辑夸脱。,39, 255-268 (1993) ·Zbl 0812.06006号 ·doi:10.1002/毫克19930390130
[28] Sapir,MV,半群拟变种的格,代数大学。,21, 172-180 (1985) ·Zbl 0599.08014号 ·doi:10.1007/BF01188054
[29] Schwidefsky,MV,独立拟方程基的存在性,代数逻辑,58,514-537(2020)·Zbl 1452.08006号 ·doi:10.1007/s10469-020-09570-3
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。