×

关于分配近格中的(alpha)-滤子的注记。 (英语) Zbl 1474.06044号

通过近格\(a\),连接半格是指顶部元素\(1\),其中每个主滤波器都是有界格。如果每个主滤子都是分配的,则称为分配近格\如果(A)的每个素理想都包含在一个唯一的最大理想中,则称之为正规。(A\)的过滤器\(F\)称为\(alpha\)-滤波器如果它在其元素的双重湮灭下闭合。作者列出了这些(阿尔法)滤波器的基本属性,并获得了由滤波器(F)生成的阿尔法滤波器的描述。他证明了正规分配近格的所有(α)-滤子集构成了一个Heyting代数。

MSC公司:

75年6月 分配格的其他推广
2012年1月6日 半格
06D20日 Heyting代数(格理论方面)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abbott,J.C.,半布尔代数,Mat.Vesn。,N.序列号。4 (1967), 177-198 ·Zbl 0153.02704号
[2] Araújo,J。;Kinyon,M.,《近格的独立公理系统》,捷克。数学。J.61(2011),975-992·Zbl 1249.06003号 ·doi:10.1007/s10587-011-0062-6
[3] 卡洛米诺,I。;Celani,S.,关于分配近格中零化子的注记,Miskolc Math。附注16(2015),65-78·兹比尔1340.06007 ·doi:10.18514/MMN.2015.1325
[4] Celani,S.,有界Hilbert代数中的(α)-理想和(α-)-演绎系统,J.Mult-{}值逻辑与软计算21(2013),493-510·Zbl 1394.06026号
[5] Celani,S.,关于上确界Hilbert代数的注记,科学学报。数学。80 (2014), 3-19 ·兹比尔1340.05137 ·doi:10.14232/actasm-012-267-9
[6] 塞拉尼,S。;Calomino,I.,分配近格的Stone型对偶,代数宇宙。71 (2014), 127-153 ·Zbl 1301.06030号 ·doi:10.1007/s00012-014-0269-0
[7] 塞拉尼,S。;Calomino,I.,《关于同态像和分配近格的自由分配格扩张》,Rep.Math。逻辑51(2016),57-73·Zbl 1390.06008号 ·doi:10.4467/20842589RM.16.001.5282
[8] 查达,I。;Halaš,R.,没有近一致项的同余分布簇的一个例子,Acta Univ.M.Beli,Ser。数学。13 (2006), 29-31 ·Zbl 1132.08002号
[9] 查达,I。;哈拉什,R。;Kühr,J.,《半格结构,数学研究与说明》30。Heldermann,Lemgo(2007)·Zbl 1117.06001号
[10] 查达,I。;Kolařík,M.,近格上的理想、同余和零化子,帕拉基学报。奥洛穆克。,工厂。Rerum Nat.,数学。46 (2007), 25-33 ·Zbl 1147.06002号
[11] 查达,I。;Kolařík,M.,Nearlatices,离散数学。308 (2008), 4906-4913 ·Zbl 1151.06004号 ·doi:10.1016/j.disc.2007.09.009
[12] Cornish,W.H.,Normal lattices,J.Aust。数学。Soc.14(1972),200-215·Zbl 0247.06009 ·doi:10.1017/S144678870010041
[13] Cornish,W.H.,分配格中的环和(α)-理想,J.Aust。数学。Soc.15(1973),70-77·兹比尔0274.06008 ·doi:10.1017/S144678870012775
[14] 科尼什,W.H。;希克曼,R.C.,《弱分配半格》,《数学学报》。阿卡德。科学。挂。32 (1978), 5-16 ·Zbl 0497.06005号 ·doi:10.1007/BF01902195
[15] González,L.J.,分配近格的逻辑,《软计算》22(2018),2797-2807·Zbl 1398.06019号 ·doi:10.1007/s00500-017-2750-0
[16] Hickman,R.,连接代数,Commun。《代数8》(1980),1653-1685·Zbl 0436.06003号 ·doi:10.1080/0092787800822537
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。