×
Bredikhin博士。

关于具有一个丢番图二元运算的Tarski关系代数的广义子约化类。 （英语。俄文原件） Zbl 1515.03229号

数学。笔记 106，第6号，872-884（2019）; 翻译自Mat.Zametki 106，No.6，821-836（2019）。
摘要：本文对具有丢番图运算的二元关系的群胚类和有序群胚类建立了初等公理系统，这些群胚类是Tarski关系代数的广义子约化。

引用于三文件

MSC公司：

03G15年 圆柱代数和多元代数；关系代数

关键词：

关系代数；丢番图运算；身份；准同一性；品种；准变分；广群
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Bredikhin}，数学。附注106，第6号，872--884（2019；Zbl 1515.03229）；翻译自Mat.Zametki 106，No.6，821--836（2019）
全文： 内政部

参考文献：

[1] 安德雷卡，H。；内梅蒂，I。；Sain，I.，代数逻辑，哲学逻辑手册，133-247（2001）·Zbl 1003.03536号
[2] 塔斯基，A.，《关系演算》，J.符号逻辑，673-89（1941）·Zbl 0026.24401号 ·doi:10.2307/2268577
[3] Tarski，A.，对模型理论的贡献。三、 内德勒。阿卡德。韦滕施。程序。序列号。A、 58、56-64（1955）·doi:10.1016/S1385-7258（55）50009-6
[4] Lyndon，R.C.，关系代数的表示。二、 数学年鉴。(2), 63, 294-307 (1956) ·Zbl 0070.24601号 ·doi:10.2307/1969611
[5] Monk，J.D.，《关于可表示关系代数》，密歇根数学。J.，第11期，207-210页（1964年）·Zbl 0137.00603号 ·doi:10.1307/mmj/1028999131
[6] Jónsson，B.，模格和关系代数的表示，Trans。阿默尔。数学。《社会学杂志》，第11期，第449-464页（1959年）·Zbl 0105.25302号 ·doi:10.2307/1993545
[7] Haiman，M.，非1型的Arguesian格，代数普遍性，28，1，128-137（1991）·Zbl 0724.06004号 ·doi:10.1007/BF01190416
[8] 安德雷卡，H。；Bredikhin，D.A.，无单位关系代数的方程理论，代数普遍性，33，4，516-532（1994）·Zbl 0826.03013号 ·doi:10.1007/BF01225472
[9] Jónsson，B.，《二元关系理论》，代数逻辑，大学数学。János Bolyai律师事务所，54245-292（1991年）·Zbl 0760.03018号
[10] Bredikhin，D.A.，关于具有丢番图运算的关系代数的拟恒等式，Sibirsk。材料Zh。，38, 1, 29-41 (1997) ·Zbl 0870.08007号
[11] Bredikhin，D.A.，具有丢番图运算的关系代数，Dokl。罗斯。阿卡德。诺克，360，5，594-595（1998）·Zbl 0958.03042号
[12] Bönere，F。；Pöschel，R.，二元关系运算的克隆，对普通代数的贡献，7，50-70（1991），维也纳：Hölder-Pichler-Tempsky，维也纳·兹bl 0749.00801
[13] Bredikhin，D.A.，《关于具有一般叠加的关系代数》，代数逻辑，Colloq.Math。贾诺斯·博利艾学会，54，111-124（1991）·Zbl 0749.03046号
[14] Vagner，V.V.，限制半群，Izv。维什。乌切布。扎韦德。材料，19-27（1962）·Zbl 0131.01801号
[15] Zaretskii，K.A.，用二元关系表示有序半群，Izv。维什。乌切布。扎韦德。材料，48-50（1959年）·Zbl 0096.01104号
[16] Andréka，H.，分配格序半群的二元关系表示，代数普遍性，28，1，12-25（1991）·Zbl 0725.06007号 ·doi:10.1007/BF01190407
[17] 安德雷卡，H。；Mikulás，Sz，二元关系正代数的公理化，代数普遍性，66，1-2，7-34（2011）·Zbl 1253.03091号 ·文件编号：10.1007/s00012-011-0142-3
[18] 霍德金森，I。；Mikulás，Sz，关系代数化简的公理化性，代数普遍性，43，2-3，127-156（2000）·Zbl 1011.03051号 ·doi:10.1007/s000120050150
[19] 霍德金森，I。；Mikulás，Sz，可表示半格序幺半群，代数普遍性，57，3，333-370（2007）·Zbl 1136.03044号 ·doi:10.1007/s00012-007-2055-8
[20] 赫希，R。；Mikulás，Sz，可表示域代数的公理化性，J.Log。阿尔盖布。程序。，80, 2, 75-91 (2011) ·兹比尔1207.68207 ·doi:10.1016/j.jlap.2010.07.019
[21] 霍德金森，I。；Mikulás，Sz，有序域代数，J.Appl。日志。，11, 3, 266-271 (2013) ·Zbl 1284.03275号 ·doi:10.1016/j.jal.2013.04.002
[22] Schein，Bm，关系代数与函数半群，半群论坛，1,1,1-62（1970）·Zbl 0197.29404号 ·doi:10.1007/BF02573019
[23] Schein，Bm，Tarski关系代数子代数的表示，代数逻辑，Colloq.Math。贾诺斯·博利艾学会，54，621-635（1991）·Zbl 0749.03051号
[24] Bredikhin，D.A.，《关于与二元柱面化操作相关的群胚的多样性》，《普遍代数》，73，1，43-52（2015）·Zbl 1319.08001号 ·doi:10.1007/s00012-014-0313-0
[25] Bredikhin，D.A.，与圆柱交会运算相关的群胚的恒等式，Izv。维什。乌切布。扎韦德。材料，12-20（2018）·Zbl 1396.20075号
[26] 代数普适201879第77条
[27] Bredikhin，D.A.，具有正运算的关系代数的等式理论，Izv。维什。乌切布。扎韦德。材料，23-30（1993）·Zbl 0833.03019号
[28] Phillips，J.D.，与二元关系的内卷限制二元半群相关的两类群的简短方程基，半群论坛，73，2，308-312（2006）·Zbl 1115.20047号 ·doi:10.1007/s00233-006-0606-5
[29] Katyshev，S.Yu；马尔科夫，V.T。；Nechaev，A.A.，非结合群胚在实现开放密钥分配过程中的应用，Diskr。材料，26，3，45-64（2014）·Zbl 1347.94040号 ·doi:10.4213/dm1289
[30] 亨金，L。；Monk，J.D。；Tarski，A.，《柱代数》（1971），阿姆斯特丹：北荷兰出版社，阿姆斯特朗·Zbl 0214.01302号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。