A.V.克拉夫琴科。;努拉库诺夫，A.M。;M.V.施维德夫斯基。 拟变分格的结构。二： 无法确定的问题。 （英语。俄文原件） Zbl 1444.08005号 代数逻辑 58，第2期，123-136（2019）; 摘自《代数逻辑》58，第2期，179-199（2019）。 本文给出了拟簇（mathbf M）包含连续多个子拟簇（mathbf K，（mathbf K）的拟方程理论是不可判定的，并且（mathbf-K）相对于（mathbfM）有一个独立的拟方程基。介绍了一些应用。第一部分见[作者，代数逻辑57，No.6，445-462（2019；Zbl 1439.08008号); 《代数逻辑》57，第6期，684–710（2018）的译文]。审核人：基思·卡恩斯（博尔德） 引用于1审查引用于12文件 MSC公司： 08C15年 准变种 08B15号 品种格 08B05号 等式逻辑，Mal'tsev条件 03B25号 理论和句子集的可判定性 关键词：准同一性;准变分;成员资格问题;不可判定理论;独立基础;\（Q\）-普适性 引文：Zbl 1439.08008号 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Kravchenko}等人，《代数逻辑》58，第2期，第123--136页（2019年；Zbl 1444.08005）；《代数逻辑》58，No.2，179--199（2019）的译文 全文： 内政部 参考文献： [1] A.V.Kravchenko、A.M.Nurakunov和M.V.Schwidefsky，“拟簇格的结构。II.独立公理化”，《代数与逻辑》，第57期，第6期，第445-462页（2018年）·Zbl 1439.08008号 ·doi:10.1007/s10469-019-09516-4 [2] A.Basheyeva、A.M.Nurakunov、M.V.Schwidefsky和A.Zamojska-Dzienio，“子类的晶格。III，”Sib。El.Mat.Izv.公司。，14, 252-263 (2017); http://semr.math.nsc.ru/v14/p252-263.pdf。 ·Zbl 1375.08001号 [3] A.I.Mal'tsev，《代数系统（俄语）》，瑙卡，莫斯科（1970年）·Zbl 0223.08001号 [4] W.Dziobiak，“代数系统的拟变种中的选定主题”，在Comput研讨会上发表的讲义手稿。代数与应用。半群理论（葡萄牙里斯本大学代数中心，1997年11月17日至21日）。 [5] V.A.Gorbunov，拟变分代数理论，Sib。阿尔法学校。日志。[俄语]，Nauch。克尼加，新西伯利亚（1999）·Zbl 0986.08002号 [6] S.S.Goncharov和Yu。L.Ershov，《建构模型》，兄弟出版社。阿尔法学校。日志。[俄语]，Nauch。克尼加，新西伯利亚（1996）。 [7] V.K.Kartashov，“有限圈数的一元代数的拟变种”，《代数与逻辑》，第19卷第2期，第106-120页（1980年）·Zbl 0462.08003号 ·doi:10.1007/BF01669836 [8] S.V.Sizyĭ，“图的拟变种”，Sib。数学。J.，35，第4期，783-794（1994）·邮编：0849.08012 ·doi:10.1007/BF02106622 [9] V.A.Gorbunov，“拟簇格中的覆盖与独立公理化”，《代数与逻辑》，第16期，第5期，第340-369页（1977年）·Zbl 0403.08009号 ·doi:10.1007/BF01669475 [10] V.Yu。波波夫，“关于独立可分拟恒等式系统”，Izv。乌拉尔。天哪。马特·梅赫大学。康普。Nauki，第36号，第139-144页（2005年）·Zbl 1194.08003号 [11] A.V.Kravchenko，“图和内接图的拟变种的格复杂性”，《代数与逻辑》，36，第3期，164-168（1997）·Zbl 0880.08006号 ·doi:10.1007/BF02671614 [12] M.E.Adams和W.Dziobiak，“代数的Q泛拟变种”，Proc。美国数学。Soc.，120，No.4，1053-1059（1994）·Zbl 0810.08007号 [13] M.S.Sheremet，“Cantor代数的拟变种”，Alg。大学，46，第1/2号，193-201（2001）·Zbl 1059.08006号 ·doi:10.1007/PL00000336 [14] A.M.Nurakunov，“尖Abelian群的拟变分格”，《代数与逻辑》，53，第3期，238-257（2014）·Zbl 1326.08004号 ·doi:10.1007/s10469-014-9286-5 [15] R.Freese，“作为投射模格的投射几何”，Trans。美国数学。Soc.，251，No.2，329-342（1979）·Zbl 0415.06006号 ·doi:10.1090/S0002-9947-1979-0531987-8 [16] G.Grätzer，《一般格理论》，弗拉格学院，柏林（1978年）·兹伯利0385.06014 ·doi:10.1007/978-3-0348-7633-9 [17] M.E.Adams和W.Dziobiak，“有限到有限泛拟簇是Q-泛的，<Emphasis Type=“Italic”>Alg。大学，46，第1/2号，253-283（2001）·Zbl 1059.08002号 [18] P.Goralík、V.Koubek和J.Sichler，“（0<Emphasis Type=“Italic”>，1）-晶格的通用变体”，加拿大。数学杂志。，42，第3期，470-490（1990年）·Zbl 0709.18003号 ·doi:10.4153/CJM-1990-024-0 [19] M.E.Adams和W.Dziobiak，“无向图的拟簇的格”，Alg。《大学》，第47卷，第1期，第7-11页（2002年）·Zbl 1059.08003号 ·doi:10.1007/s00012-002-8170-7 [20] A.V.Kravchenko，“图的Q泛拟变种”，《代数与逻辑》，第41期，第3期，第173-181页（2002年）·Zbl 1062.08013号 ·doi:10.1023/A:1016024925028 [21] W.Dziobiak，“带对合的Sugihara半格的拟变种”，《代数与逻辑》，39，第1期，26-36（2000）·兹比尔0954.06003 ·doi:10.1007/BF02681565 [22] M.E.Adams、V.Koubek和J.Sichler，“分配格的同态和自同态”，休斯顿数学杂志。，11, 129-145 (1985). ·Zbl 0576.06011号 [23] A.V.Kravchenko和A.V.Yakovlev，“图的拟变种和独立公理化”，Mat.Trudy，20，No.2，80-89（2017）·Zbl 1399.08004号 [24] A.V.Kravchenko、A.M.Nurakunov和M.V.Schwedfsky，“微分群胚和一元代数的拟等同基”，Sib。El.Mat.Izv.公司。，14, 1330-1337 (2017); http://semr.math.nsc.ru/v14/p1330-1337.pdf。 ·Zbl 1386.08003号 [25] A.V.Kravchenko，“各种一元代数的拟变分格的复杂性。II”，Sib。El.Mat.Izv.公司。，13, 388-394 (2016); http://semr.math.nsc.ru/v13/p388-394.pdf。 ·Zbl 1344.08004号 [26] A.Romanowska和J.D.Smith，《模式》，《世界科学》，新加坡（2002年）·Zbl 1012.08001号 ·数字对象标识代码：10.1142/4953 [27] A.V.Kravchenko，“各种一元代数的拟变分格的复杂性”，Mat.Trudy，4，No.2，113-127（2001）·Zbl 1017.08005号 [28] L.V.Shabunin，“康托变种的嵌入定理”，《代数与逻辑》，40，第3期，194-204（2001）·Zbl 0989.03031号 ·doi:10.1023/A：1010268503853 [29] A.V.Kravchenko，“各种微分群胚的拟变分格的复杂性”，Mat.Trudy，12，No.1，26-39（2009）·Zbl 1249.08012号 [30] M.V.Schwidefsky，“关于拟变分格的复杂性”，《代数与逻辑》，54，第3期，245-257（2015）·Zbl 1339.08005号 ·doi:10.1007/s10469-015-9344-7 [31] A.M.Nurakunov，“拟变种的无理格”，《国际代数杂志》。计算。，22，第3号，论文编号1250006（2012）·Zbl 1255.08002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。