×
米克洛斯·费伦齐

类聚对偶等式代数的表示。 （英语） Zbl 1402.03098号

代数大学。 75，编号107-125（2016）.
摘要：假设多元等式代数通常的有限公理模式，公理（P10）被更改为更强的版本。证明了满足由此产生的公理系统的无穷维多元等式代数是可表示的。上述更强的公理不是用一阶模式给出的。后者应该知道可表示的无限维多元等式代数的Halmos模式公理化的否定结果。此外，Halmos著名的经典定理“无限维的局部有限多元等式代数\（\alpha\）是可表示的”被推广到局部-\（\mathfrak｛m｝\）多元等式代数，其中\（\mathfrak｛m｝\）是任意无限基数，\（\mathfrak｛m｝<\alpha\）。此外，还证明了上述几类多体类等式代数的简洁嵌入定理（对于多体等式代数，不存在简洁嵌入定理）。

引用于4文件

MSC公司：

03G15年 柱代数和多代数；关系代数
03G27号 抽象代数逻辑
03C95号 抽象模型理论

关键词：

多元代数;柱代数;代数逻辑;表示
PDF格式BibTeX公司 XML格式引用
\textit{M.Ferenczi}，代数大学。75，第1号，107-125（2016；Zbl 1402.03098）
全文： 内政部 arXiv公司

参考文献：

[1] Andréka H.：局部平方柱相关集代数的有限公理化。科学研究所。数学。匈牙利。38, 1-11 (2001) ·Zbl 0997.03052号
[2] Andréka，H.、Ferenczi，M.和Németi，I.：类柱代数和代数逻辑。Bolyai Society Mathematical Studies，Springer（2012年）·Zbl 1258.03003号
[3] Cirulis J.：推广了多元代数的概念。牛市。第节。逻辑大学，2-7（1986）·Zbl 0614.03060号
[4] Daigneault A.，Monk J.D.：多元代数的表示理论。基金。数学。52, 151-176 (1963) ·Zbl 0122.01001号
[5] Ferenczi M.：关于相对化集代数整洁嵌入CA的可表示性。《普遍代数》63，331-350（2010）·Zbl 1236.03045号 ·doi:10.1007/s00012-010-0081-4
[6] Ferenczi M.：集合域的布尔公理化的多元推广。事务处理。阿默尔。数学。Soc.364867-886（2012年）·Zbl 1253.03092号 ·doi:10.1090/S0002-9947-2011-05332-8
[7] Georgescu G.：多元Heyting代数的一个表示定理。代数普遍性14，197-209（1982）·Zbl 0524.03052号 ·doi:10.1007/BF02483920
[8] Givant，S.和Halmos，P.：布尔代数导论，Springer（2009）·兹比尔1168.06001
[9] Halmos P.：代数逻辑II。，齐次，局部有限的多元布尔代数。基金。数学。43, 255-325 (1956)
[10] Halmos P.：代数逻辑IV，多元代数中的等式。事务处理。阿默尔。数学。Soc.86，1-27（1957）
[11] Henkin，L.，Monk，J.D.，Tarski，A.，Andréka，H.，Németi，I.：圆柱集代数。数学课堂笔记。，883，施普林格（1981）·Zbl 0497.03025号
[12] Henkin，L.、Monk，J.D.和Tarski，A.：柱代数I-II。北荷兰（1985）·Zbl 0576.03043号
[13] Hirsch，R.和Hodkinson，I.：游戏中的关系代数。北荷兰（2002）·Zbl 1018.03002号
[14] Jónsson B.，Tarski A.：带算子的布尔代数。J.符号逻辑18，1-96（1953）·Zbl 0052.25003号 ·doi:10.2307/2266320
[15] Keisler H.J.：带有无限谓词的完整一阶逻辑。基金。数学。52, 177-203 (1963) ·Zbl 0115.00604号
[16] Németi I.，Sági G.：关于可表示多元代数的方程理论。J.符号逻辑65，1143-1167（2000）·Zbl 0964.03070号 ·doi:10.2307/2586692
[17] Resek，D.：关于相对化柱代数的一些结果。加州大学伯克利分校博士论文（1975年）·Zbl 0299.02074
[18] Slominski，J.：具有无穷运算的抽象代数理论。Rozprawy Mat.18（1959年）·Zbl 0178.34104号
[19] 赛义德·艾哈迈德·T：关于纯还原的一些结果。《普遍代数》63，17-36（2010）·Zbl 1204.03057号 ·doi:10.1007/s00012-010-0062-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。