雷梅斯连尼科夫，V.N。;罗曼科夫，V.A。 群论中的模型理论和算法问题。 （英语） 兹比尔0573.20031 J.索夫。数学。 31, 2887-2939 (1985). 伊托基·诺基（Itogi Nauki Tekh.）翻译。，序列号。代数、拓扑、几何。21，3-79（俄语）（1983年；Zbl 0563.20032号). 引用于5文件 MSC公司： 2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系（群体理论方面） 20甲15 逻辑在群论中的应用 03C60型 模型理论代数 03D40号 可计算性和递归理论中的单词问题等 关键词：算法问题;单词问题;共轭问题;可解群;嵌入定理;群论中的模型理论方法;基本属性 引文：Zbl 0182.018号;Zbl 0563.20032号 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Remeslenikov}和\textit{V.A.Roman'kov}，J.Sov。数学。312887-2939（1985年；兹bl 0573.20031） 全文： DOI程序 参考文献： [1] A.I.Abakumov、E.A.Palyutin、M.A.Taitslin和Yu。E.Shishmarev，“范畴拟变种”，《代数逻辑》，第11期，第1期，第3–38页（1972年）·Zbl 0258.02050号 ·doi:10.1007/BF02218582 [2] 《古典群体的自同构》[俄文翻译]，米尔，莫斯科（1976年）。 [3] S.I.Adyan，“识别某些群属性问题的算法不可解性”，Dokl。阿卡德。Nauk SSSR，103，第4期，533–535（1955）·Zbl 0065.00901号 [4] S.I.Adyan，“有限呈现的组和算法”，Dokl。阿卡德。Nauk SSSR，117，第1期，第9-12页（1957年）·Zbl 0085.25102号 [5] S.I.Adyan，“有效完成群类中的算法问题”，Dokl。阿卡德。Nauk SSSR，123，No.1，13-18（1958）·Zbl 0090.01102号 [6] S.I.Adyan，“群论某些算法问题的不可解性”，Tr.Mosk。材料压扁。，6, 231–298 (1957). [7] S.I.Adyan，“群恒等式的无限不可约系统”，Izv。阿卡德。Nauk SSSR，序列号。Mat.，34，No.4，715-734（1970）·Zbl 0221.20047 [8] S.I.Adyan，“群体中的同一关系”，摘自：莫斯科瑙卡尼斯国际数学家大会（1972年），第7-13页。 [9] S.I.Adyan，Burnside问题和群体中的身份认同[俄语]，瑙卡，莫斯科（1975）·Zbl 0306.20045号 [10] S.I.Adyan，“自由周期群的正规子群”，Izv。阿卡德。Nauk SSSR，序列号。Mat.，45，No.5，931-947（1981）。 [11] S.I.Adyan，“组的周期产物”，Tr.Mat.Inst.Akad。瑙克SSSR，142，3–21（1976年）·Zbl 0424.20020 [12] V.N.Bezverkhnii，“一类群的发生问题的求解”，载于《群和半群理论中的问题》（俄语），图拉（1972），第3-86页。 [13] V.N.Bezverkhnii，“群体自由乘积的尼尔森抵消方法”，Sb.Nauch。Tr.Kafedr.卡费德。维什。马特·泰尔斯克。波利泰克。第1号研究所，44-70（1972年）。 [14] V.N.Bezverkhnii，“自由群有限生成子群的交集”，Sb.Nauch。Tr.Kafedr.卡费德。维什。Mat.Tul'sk公司。波利泰克。研究所，第2期，51–56页（1974年）。 [15] V.N.Bezverkhnii，“某类群发生问题的不可解性”，Sb.Nauch。Tr.卡费德。维什。Mat.Tul'sk公司。波利泰克。第2号研究所，117-121（1974年）。 [16] V.N.Bezverkhnii，“自由群合并自由积的子群共轭问题的不可解性”，Sb.Nauch。Tr.Kafedr.卡费德。维什。Mat.Tul'sk公司。波利泰克。第3号研究所，90-94（1975年）。 [17] V.N.Bezverkhnii，“一类群子群共轭问题的解决，I，II”，收录于：现代代数[俄语]，第6期，第16–23期，第24–32期（1977年）。 [18] V.N.Bezverkhnii，“HNN-群类中发生问题的求解”，收录于：群和半群理论中的算法问题[俄语]，Tula（1981），第20-62页。 [19] V.N.Bezverkhnii和V.A.Grinblat，“Artin群中的根问题”，收录于：群和半群理论中的算法问题[俄语]，Tula（1981），第72-81页。 [20] V.N.Bezverkhnii和V.A.Grinblat，“有限型Artin群中的发生问题”，Sib。材料Zh。，23，第4期，19-28（1982年）。 [21] I.S.Bezverkhnyaya，“群的自由积中有限子群集的共轭性”，收录于：群和半群理论中的算法问题[俄语]，图拉（1981），第102–116页。 [22] O.V.Belegradek，“代数闭群”，《代数逻辑》，第13卷第3期，239-255页（1974年）·Zbl 0319.20039号 ·doi:10.1007/BF01463347 [23] O.V.Belegradek，“代数闭群中的可定义性”，Mat.Zametki，16，第3期，375-380（1974）。 [24] O.V.Belegradek，“群的不稳定理论”，Izv。维什。乌切布。扎韦德。，材料，编号8，41-44（1978）·Zbl 0398.20001号 [25] O.V.Belegradek，“关于单词的m级问题”，Sib。材料Zh。，19，第61232-1236号（1978年）·Zbl 0408.03039号 [26] O.V.Belegradek，“代数闭群的基本性质”，基金会。数学。，98，第2期，83–101（1978年）·Zbl 0389.20030号 [27] O.V.Belegradek，“群理论算法问题可解性的代数等价物”，Sib。材料Zh。，20，第5期，953–963（1979）。 [28] V.Ya。Belyaev和M.A.Taitslin，“存在闭系统的基本性质”，Usp。马特·诺克，34，第2期，39-94（1979）。 [29] A.N.Bobrovskii，“具有共同合并的群的自由积中的子群和Schreier系统”，预印本，图拉国立教育学院，图拉（1979）；VINITI编号382-80。 [30] L.A.Bokut’，“关于Novikov群”，《代数逻辑学》，第6卷第1期，第25-38页（1967年）。 [31] L.A.Bokut'，“Boone群的一个性质”，代数Logika，5，No.5，5-23（1966）；二、 《代数逻辑》，6，第1期，15-24（1967）。 [32] L.A.Bokut，“有限呈现群共轭问题的不可解度”，《代数逻辑学》，第7期，第5期，第4-70页（1968年）·Zbl 0182.01803号 ·doi:10.1007/BF02220028 [33] V.V.Borisov，“具有不可判定身份问题的群体的简单示例”，Mat.Zametki，6，No.5，521-532（1969）。 [34] E.Brieskorn和K.Saito，“Artin-Gruppen和Coxeter-Gruppen”，《发明》。数学。，17, 245–271 (1972). ·Zbl 0243.20037号 ·doi:10.1007/BF01406235 [35] S.D.Brodskii，“群上的方程和具有一个定义关系的群”，印前，伊万诺沃大学，伊万诺沃（1980）；VINITI编号2214-80。 [36] M.K.Valiev，“关于G.Higman的一个定理”，《代数逻辑学》，第7期，第3期，第9-22页（1968年）·2010年02月29日 ·doi:10.1007/BF02218595 [37] M.K.Valiev，“通用有限呈现群的例子”，Dokl。阿卡德。Nauk SSSR，211，No.2，265–268（1973）；更正：Dokl。阿卡德。Nauk SSSR，215，No.1，10（1974）·Zbl 0291.20041号 [38] V.G.Vasil’ev，“关于基本等价的可解群”，Dokl。阿卡德。Nauk SSSR，208，第4期，761-763（1973）。 [39] V.G.Vasil'ev，“关于元素等价可解群”，载于：群和环理论中的一些问题[俄语]，克拉斯诺亚尔斯克（1973），第9-22页。 [40] é. S.Vasil'ev，“阿贝尔群两个基本模型的基本理论”，载于《代数》（俄语版），第2期，伊尔库茨克（1973），第62-68页。 [41] é. S.Vasil’ev，“具有p-adic拓扑的完全无扭阿贝尔群的初等理论”，Mat.Zametki，14，No.2201-208（1973）。 [42] é. S.Vasil'ev，“具有元素高度的Abelian p-群的基本理论”，收录于《代数系统》（俄语版），伊尔库茨克（1976），第17-20页。 [43] F.A.Garside，“编织组和其他组”，夸特。数学杂志。牛津第二爵士。，20, 235–254 (1969). ·Zbl 0194.03303号 ·doi:10.1093/qmath/201.235 [44] A.V.Gladkii，“具有{（delta）}基的群的幂零类”，Dokl。阿卡德。Nauk SSSR，125，第5期，963–965（1959年）。 [45] A.V.Gladkii，“基于k可取消基础的组”，Dokl。阿卡德。Nauk SSSR，134，No.1，16-18（1960）。 [46] A.I.Gol'berg，“不可能改善Greendlinger和Lyndon的某些结果”，Usp。Mat.Nauk，33岁，编号6202-202（1978年）。 [47] N.P.Gol'dina，“自由群和自由幂零群的一些算法问题的解决方案”，Usp。Mat.Nauk，第13期，第3期，183-189（1958年）。 [48] A.P.Goryushkin，“关于指数问题”，Uch。扎普。伊万诺夫。戈斯。佩德。研究所，117，59-76（1972）。 [49] A.V.Goryaga和A.S.Kirkinskii，“共轭问题的可解性不会延续到有限群扩张”，《代数逻辑》，14，第4期，393–406（1975）·Zbl 0367.20037号 ·doi:10.1007/BF01669000 [50] V.A.Grinblat，“某类群中同一性问题的可解性”，收录于：《工程问题理论与实践中的高等数学特别章节》（俄语），图拉（1978），第92-95页。 [51] V.A.Grinblat，“Artin群的正规化器”，载于《群和半群理论中的算法问题》（俄语版），图拉（1981），第82-94页。 [52] M.D.Greendlinger，“关于Magnus的广义单词问题”，Sib。材料Zh。，第5卷，第4期，955–957页（1964年）。 [53] M.D.Greendlinger，“利用广义Dehn算法解决一类与反中心重合的群的共轭问题”，Dokl。阿卡德。Nauk SSSR，158，第6期，1254–1256（1964）。 [54] M.D.Greendlinger，“某类群的两个定理的改进”，Sib。材料Zh。，第6卷，第5期，972-984（1965年）。 [55] M.D.Greendlinger，“关于单词和共轭问题”，Izv。阿卡德。Nauk SSSR，序列号。Mat.，29，No.2，245–268（1965）。 [56] M.D.Greendlinger，“共轭问题与群论中反中心的巧合”，Sib。材料Zh。，第7卷第4期，785–803页（1966年）·Zbl 0166.01402号 [57] M.D.Greendlinger，“用Dehn算法解决一类群的词问题，用Dehn's算法的推广解决共轭问题”，Dokl。阿卡德。瑙克SSSR，154，编号3，507–509（1964年）·Zbl 0134.25905号 [58] M.D.Greendlinger，“自由群正规子群关于互交换子的因子群的确定”，Mat.Zap。乌拉尔斯克。大学，第7期，第3期，72-76页（1970年）。 [59] M.D.Greendlinger，“自由群子群的共轭性”，Sib。材料Zh。，第11期，第5期，1178–1180（1970年）。 [60] G.A.Gurevich，“具有一个定义关系的群的共轭问题”，Dokl。阿卡德。Nauk SSSR，207，No.1，18-20（1972）；Tr.Mat.Inst.Akad.公司。Nauk SSSR，133，109-120（1973）·Zbl 0279.20026号 [61] 于。Sh.Gurevich，“有序阿贝尔群的基本性质”，《代数逻辑学》，第3期，第1期，第5-40页（1964年）。 [62] 于。Sh.Gurevich，“一类格序阿贝尔群的遗传不可解性”，代数Logika，6，No.1，45-62（1967）。 [63] 于。Sh.Gurevich，“格序阿贝尔群和K-线性的基本理论”，Dokl。阿卡德。Nauk SSSR，175，No.6，1213-1215（1967）·Zbl 0189.32604号 [64] 于。Sh.Gurevich，“有序阿贝尔群扩展理论的决策程序”，预印本，Sib编辑委员会。材料Zh。阿卡德。诺克SSSR，新西伯利亚（1973）；VINITI编号6708-73。 [65] 于。Sh.Gurevich和A.I.Kokorin，“有序Abelian群的普遍等价”，《代数逻辑学》，第2卷，第1期，第37–39页（1963年）。 [66] A.T.Dzhunisov，“具有有限可分子群的群的某些类”，Tr.Inst.Mat.Mekh。阿卡德。Nauk KazSSR，第2、18–27页（1971年）。 [67] V.G.Durnev，“自由幂零群上的方程组”，载于《群论和同调代数中的问题》（俄语版），Yaroclavl（1981），第66-69页。 [68] V.I.Epanchintsev和G.P.Kukin，“包含R2U的各种群中的平等问题”，《代数逻辑学》，第18卷第3期，第259-285页（1979年）·Zbl 0468.20033号 ·doi:10.1007/BF01674421 [69] 于。L.Ershov，“某些Abelian群类的初等理论的可判定性”，《代数逻辑学》，第1期，第6期，37-41页（1963年）·Zbl 0227.02027 [70] 于。L.Ershov，“对称和有限单群理论的不确定性”，Dokl。阿卡德。Nauk SSSR，158，No.4，777–779（1964）。 [71] 于。L.Ershov，“某些基本理论的可判定性”，《代数逻辑学》，第3期，第2期，45-47页（1964年）。 [72] 于。L.Ershov，“关于群的基本理论”，Dokl。阿卡德。Nauk SSSR，203，第6期，1240–1243（1972）。 [73] 于。L.Ershov，可判定性问题和构造模型[俄语]，瑙卡，莫斯科（1980）。 [74] 于。L.Ershov、I.A.Lavrov、A.D.Taimanov和M.A.Taitslin，“基本理论”，Usp。Mat.Nauk，20，第4期，37–108页（1965年）。 [75] 于。L.Ershov和E.A.Palyutin，《数学逻辑（俄语）》，瑙卡，莫斯科（1979年）。 [76] A.P.Zamyatin，“非阿贝尔群有一个不可判定的初等理论”，代数Logika，17，No.1，20-27（1978）·Zbl 0427.03009号 ·doi:10.1007/BF01670119 [77] B.I.Zil’ber，“两个基本等价、非同构、有限生成的metabelian群的示例”，《代数逻辑学》，第10期，第3期，309–315页（1971年）·Zbl 0256.20004号 ·doi:10.1007/BF02219731 [78] B.I.Zil’ber，“不可数范畴幂零群和李代数”，Izv。维什。乌切布。扎韦德。，Mat.，No.5，75（1982）。 [79] B.I.Zil’ber，“理论是绝对的群和环”，基金。数学。，95，第3期，173-188（1977年）。 [80] B.I.Zil’ber，“范畴理论模型的结构和有限公理化问题”，预印本，凯梅罗沃大学，凯梅洛沃（1977）；VINITI编号2800-77。 [81] K.A.Ivanov，“酉群和正交群的基本性质”，预印本，Izv编辑委员会。阿卡德。Nauk BSSR，序列号。菲兹-明斯克Mat.Nauk（1974年）；VINITI编号2735-74。 [82] S.G.Ivanov，“具有合并子群的群的自由积的发生问题”，Sib。材料Zh。，第16卷第6期，1155–1171页（1975年）。 [83] M.E.Iofinova，“具有一个定义关系的幂零群”，Vestn。莫斯科。马特·马赫大学。，第3期，第9-12页（1974年）·Zbl 0305.20017号 [84] M.I.Kargapolov，“子群格的基本理论”，《代数逻辑学》，第1期，第3期，46–53页（1962年）。 [85] M.I.Kargapolov，“阿贝尔群的基本理论”，《代数逻辑学》，第1期，第6期，26-36页（1963年）。 [86] M.I.Kargapolov，“按初等性质对有序Abelian群的分类”，《代数逻辑》，第2期，第2号，第31–46页（1963年）。 [87] M.I.Kargapolov，“可订购群。一、 《代数逻辑》，第2卷，第6期，第5-14页（1963年）·Zbl 0154.02604号 [88] M.I.Kargapolov，“超可解群关于共轭的剩余有限性”，《代数逻辑学》，第6期，第1期，63–68页（1967年）·Zbl 0166.28503号 [89] M.I.Kargapolov和Yu。I.Merzlyakov，《群论基础（俄语）》，瑙卡，莫斯科（1982年）·兹比尔0508.20001 [90] M.I.Kargapolov和V.N.Remeslennikov，“自由可解群的共轭问题”，《代数逻辑学》，第5期，第6期，第15-25页（1966年）·Zbl 0249.20017号 [91] M.I.Kargapolov、V.N.Remeslenikov、N.S.Romanovskii、V.A.Roman'kov和V.A.Churkin，“D动力群的算法问题”，《代数逻辑学》，第8卷第6期，第643-659页（1969年）·Zbl 0238.20050 ·doi:10.1007/BF02219648 [92] M.I.Kargapolov和E.I.Timoshenko，“关于偏倍群共轭的剩余有限性问题”，载于：第四届群论全国研讨会报告摘要，新西伯利亚（1973），第86–88页。 [93] E.V.Kashintsev，“关于身份问题”，Uch。扎普。伊万诺夫。戈斯。佩德。Inst.，61，136-147（1969）。 [94] E.V.Kashintsev，“Greendlinger结果的推广”，Uch。扎普。伊万诺夫。戈斯。教育学。Inst.，61，152–155（1969）。 [95] H.J.Keisler和C.C.Chang，模型理论，荷兰北部，阿姆斯特丹（1977年）。 [96] A.S.Kirkinskii和V.N.Remeslennikov，“可解群的同构问题”，Mat.Zametki，18，No.3，437-443（1975）·Zbl 0361.20031号 [97] V.P.Klassen，“某类群的发生问题”，《代数逻辑》，第9期，第3期，306–312页（1970年）·Zbl 0241.20025号 ·doi:10.1007/BF02218677 [98] V.P.Klassen，“某些群扩张的发生和共轭问题”，载于《群和半群理论中的问题》（俄语），图拉（1972），第87–95页。 [99] 于。G.Kleiman，“组中的身份和一些算法问题”，Dokl。阿卡德。Nauk SSSR，244，No.4，814-818（1979）。 [100] 于。G.Kleiman，“群体中的身份”，Tr.Mosk。材料压扁。，44, 62–108 (1982). ·Zbl 0495.20013号 [101] G.T.Kozlov，“有限Abelian p-群子群格的初等理论的不可判定性”，《代数逻辑学》，第9期，第2期，167-171页（1970年）·Zbl 0227.02026 ·doi:10.1007/BF02218979 [102] G.T.Kozlov，“具有子群链的Abelian群理论的不可判定性”，载于《代数》（俄语版），第1期，伊尔库茨克（1972），第21-24页。 [103] G.T.Kozlov和A.I.Kokorin，“带谓词区分子群的无扭Abelian群的基本理论”，《代数逻辑学》，第8卷第3期，第320–334页（1969年）·Zbl 0214.01503号 ·doi:10.1007/BF02306692 [104] G.T.Kozlov和A.I.Kokorin，“关于模型完备引理的证明”，《代数逻辑学》，第14期，第5期，533–535页（1975年）·Zbl 0382.03019号 ·doi:10.1007/BF01668810 [105] A.I.Kokorin和G.T.Kozlov，“有限串格序Abelian群的扩展初等和普适理论”，《代数逻辑学》，第7期，第1期，第91-103页（1968年）。 [106] A.I.Kokorin和V.I.Mart'yanov，“普遍扩展理论”，收录于《代数》（俄语版）第2期，伊尔库茨克（1973），第107–113页。 [107] A.I.Kokorin和A.G.Pinus，“扩展理论的可判定性问题”，Usp。Mat.Nauk，33，No.2，49–84（1978）·Zbl 0434.03014号 [108] A.I.Kokorin和N.G.Khisamiev，“有限串格序Abelian群的基本分类”，《代数逻辑》，第5期，第1期，第41–50页（1966年）。 [109] V.M.Kopytov，“代数数域上有限生成可解矩阵群发生问题的可解性”，《代数逻辑学》，第7期，第6期，第53–63页（1968年）·Zbl 0252.20049号 [110] V.M.Kopytov，“有限生成的可解矩阵群在有编号域上发生问题的可解性”，《代数逻辑》，第10期，第2期，169-182页（1971年）·Zbl 0248.20043号 ·doi:10.1007/BF0221997年6月 [111] V.M.Kopytov，“有序群体”，摘自《科学与工程进展》（Itogi Nauki i Tekhniki）。代数。拓扑结构。几何[俄语]，第19卷，VINITI（1981），第3-30页·兹伯利0479.06013 [112] R.H.Crowell和R.H.Fox，《结理论导论》，Ginn，Boston（1963年）。 [113] A.V.Kuznetsov，“作为代数系统操作的算法”，Usp。Mat.Nauk，第13期，第3期，240–241页（1958年）。 [114] G.P.Kukin和V.A.Roman'kov，“数学逻辑和代数算法问题学派”，Usp。Mat.Nauk，34，第3期，227-228（1979年）。 [115] A.B.Livchak，“具有可分辨子群的无扭阿贝尔群初等理论的决策程序”，Mat.Zap。乌拉尔。大学，第8期，第3期，73-81页（1973年）。 [116] A.B.Livchak，“具有不同子群的阿贝尔群理论中的平等消除”，载于《代数系统》（俄语版），伊尔库茨克（1976），第79-93页。 [117] A.B.Livchak，“关于A.B.Livchak的文章‘具有可分辨子群的无扭阿贝尔群的初等理论的决策过程’的评论”，Mat.Zap。乌拉尔。大学，12，No.1，161（1980）。 [118] V.Ya。林，“Artin辫子及其相关群和空间”，摘自《科学与工程进展》（Itogi Nauki i Tekhniki），代数。拓扑结构。几何[俄语]，第17卷，VINITI（1979），第159–228页。 [119] R.C.Lyndon和P.E.Schupp，组合群理论，Springer-Verlag（1977）。 [120] L.P.Lisovik，“群的自由积在正则子集中的出现问题”，预印本，Sib编辑委员会。垫，Zh。，新西伯利亚（1978）；VINITI编号3406-78。 [121] Z.K.Litvintseva，“群和半群的某些问题的复杂性”，Dokl。阿卡德。Nauk SSSR，191，第5期，989–992（1970）。 [122] A.A.Lorents，“自由群中一个未知方程组解集的表示”，Dokl。阿卡德。Nauk SSSR，178，No.2，290-292（1968）·Zbl 0175.29505号 [123] N.G.Lukovnikov和V.I.Mart'yanov，“阿贝尔群的普遍元素-子群理论”，收录于：代数系统的算法问题[俄语]，伊尔库茨克（1978），第42–57页。 [124] W.Magnus、A.Karrass和D.Solitar，组合群理论：群在生成者和关系方面的表现，跨科学（1966）·兹伯利0138.25604 [125] G.S.Makanin，“辫子群中的共轭问题”，Dokl。阿卡德。Nauk SSSR，182，第3期，495–496（1968）。 [126] G.S.Makanin，“自由群中的方程”，Izv。阿卡德。Nauk SSSR，序列号。材料，46，第6号，1199–1273（1982）·Zbl 0511.20019号 [127] T.A.Makanina，“编织群B n+1与n+1的发生问题”，Mat.Zametki，29，No.1，31–33（1981）。 [128] A.I.Mal'tsev，“关于将关联系统嵌入群”，Mat.Sb.，6，No.2，331–336（1939）；二、 Mat.Sb.，8，No.2，251-264（1940）。 [129] A.I.Mal’tsev，“关于幂零群的两个评论”，Mat.Sb.，37，第3期，567–575（1955）。 [130] A.I.Mal'tsev，“有限群上的同态”，Uch。扎普。伊万诺夫。戈斯。教育学。Inst.，18，No.5，49-60（1958）。 [131] A.I.Mal’tsev，“关于环和群之间的对应关系”，Mat.Sb.，50，第3期，257–266（1960）。 [132] A.I.Mal'tsev，“关于自由可解群”，Dokl。阿卡德。Nauk SSSR，130，第3期，495-498（1960）。 [133] A.I.Mal'tsev，“有限群初等理论的不确定性”，Dokl。阿卡德。Nauk SSSR，138，第4期，771-774（1961年）。 [134] A.I.Mal'tsev，“线性群的基本性质”，收录于：数学和力学问题[俄语]，苏联科学院西伯利亚分院，新西伯利亚（1961），第110–132页。 [135] A.I.Mal'tsev，《代数系统（俄语）》，瑙卡，莫斯科（1970年）。 [136] A.A.Markov，“关联系统理论中某些算法的不可能性”，Dokl。阿卡德。Nauk SSSR，77，19-20（1951年）·Zbl 0043.01101号 [137] A.A.Markov，“关于矩阵的可表示性问题”，Z.Math。日志。格兰德。数学。，第4卷第2期，157-168页（1958年）·Zbl 0092.00701号 ·doi:10.1002/毫克19580040707 [138] A.A.Markov，“同胚问题的不可溶性”，摘自：1958年国际数学家会议记录，剑桥大学出版社，伦敦-纽约（1960），第300-306页·Zbl 0092.00702号 [139] A.A.Markov，“同胚问题的不确定性”，Dokl。阿卡德。Nauk SSSR，121，No.2，218–220（1958）·Zbl 0092.00702号 [140] G.N.Markshaitis（Markšaitis），“单词问题对某些群体的可解性”，Liet。Mat.Rinkinys（Lit.Mat.Sb.），第20卷，第2期，第87–90页（1980年）。 [141] V.I.Mart'yanov，“具有谓词和自同构的某些Abelian群类的理论的可判定性”，收录于：代数[俄语]，第1期，伊尔库茨克（1972），第55-68页。 [142] V.I.Mart'yanov，“关于带谓词区分子群和带自同态操作的Abelian群的理论”，《代数逻辑学》，第14卷，第5期，第536–542页（1975年）·Zbl 0386.03014号 ·doi:10.1007/BF01668811 [143] V.I.Mart'yanov，“具有加法谓词和自同构的有限秩完全无扭阿贝尔群理论的可判定性”，载于《代数系统》[俄语]，伊尔库茨克（1976），第94-106页。 [144] V.I.Mart'yanov，“具有自同构的完全无扭阿贝尔群理论的可判定性”，收录于：代数系统的算法问题[俄语]，伊尔库茨克（1978），第58–72页。 [145] V.I.Mart'yanov，“具有自同构的Abelian群理论的不可判定性”，Mat.Zametki，23，第4期，515–520（1978）。 [146] W.Massey和J.Stallings，《代数拓扑：导论》[俄文翻译]，米尔，莫斯科（1977年）·Zbl 0361.55003号 [147] 于。I.Merzlyakov，“自由群上的正公式”，《代数逻辑学》，第5期，第4期，25-42页（1966年）·Zbl 0216.29402号 [148] 于。I.Merzlyakov，“线性群”，摘自：代数。拓扑结构。几何图形。1970年[俄语]，《科学进步》（Itogi Nauki），VINITI Akad。Nauk SSSR，莫斯科（1971），第75–110页。 [149] 于。I.Merzlyakov，“线性群”，摘自《科学与工程进展》（Itogi Nauki I Tekhniki）。代数。拓扑结构。几何[俄语]，第16卷，VINITI（1978），第35-89页。 [150] K.A.Mikhailova，“群体直接产品的发生问题”，Dokl。阿卡德。诺克SSSR，1191103-1105（1958）；Mat.Sb.，70，No.2，241-251（1966）。 [151] K.A.Mikhailova，“群体自由产品的发生问题”，Dokl。阿卡德。Nauk SSSR，127，No.4，746–748（1959）；Mat.Sb.，75（117），199-210（1968）。 [152] D.I.Moldavanskii，“自由群子群的共轭性”，《代数逻辑学》，第8期，第6期，691-694页（1969年）·Zbl 0229.20020 ·doi:10.1007/BF02219652 [153] D.I.Moldavanskii，“自由积子群的共轭性”，Uch。扎普。伊万诺夫。戈斯。教育学。Inst.，106123-135（1972年）。 [154] A.G.Myasnikov和V.N.Remeslennikov，“幂零幂零群的同构和基本性质”，Dokl。阿卡德。瑙克SSSR，258，编号51056-1059（1981）·Zbl 0512.20019号 [155] A.G.Myasnikov和V.N.Remeslennikov，“Mal'tsev基集合的公式化和有限维代数的基本理论。一、 II，“同胞。材料Zh。，23，第5期，152-167（1982）；24，第2期，97-113（1983年）·Zbl 0516.20022号 [156] A.G.Myasnikov和V.N.Remeslenikov，“幂零幂零群的同构和基本性质”，收录于：数学逻辑和算法理论（俄语），（Trudy Inst.Mat.），瑙卡，新西伯利亚（1982），第56–87页。 [157] N.M.Nagornyi，“具有非递归中心的群的示例”，Z.Math。日志。格兰德。数学。，第4卷，第4期，304–308页（1958年）·Zbl 0092.01001号 ·doi:10.1002/malq.19580041704 [158] A.I.Nekritukhin，“自由群关于共轭的近似。一、 “in：半群变体和自同态半群[俄语]，列宁格勒（1979），第138-142页。 [159] A.I.Nekritukhin，“自由群关于共轭的逼近”，Mat.Zametki，29，No.3，381-385（1981）。 [160] P.S.Novikov，“关于单词问题的算法不可解性”，Dokl。阿卡德。Nauk SSSR，85，第4期，709–712（1952）。 [161] P.S.Novikov，“群论中共轭问题的不可解性”，Izv。阿卡德。Nauk SSSR，序列号。材料，18，编号6，485–524（1954年）·Zbl 0057.01503号 [162] P.S.Novikov，“关于群论中单词问题的算法不可解性”，Tr.Mat.Inst.Akad。诺克SSSR，44，3-143（1955）。 [163] P.S.Novikov，“关于群中单词问题和代数其他一些问题的不可解性”，捷克语。数学。J.，6，第4期，450-454（1956年）·Zbl 0075.23504号 [164] P.S.Novikov，作品选集。集合与函数理论。数学逻辑和代数[俄语]，瑙卡，莫斯科（1979年）。 [165] P.S.Novikov和S.I.Adyan，“单边抵消半群的单词问题”，Z.Math。日志。格兰德。数学。，第4卷，第1期，第66–88页（1958年）·Zbl 0080.24102号 ·doi:10.1002/malq.19580040104 [166] P.S.Novikov和S.I.Adyan，“无限周期群。一、 II，III，“Izv。阿卡德。Nauk SSSR，序列号。材料，32，编号1，212-244，编号2，251-524，编号3，709-731（1968）。 [167] P.S.Novikov和S.I.Adyan，“定义奇数阶自由周期群的关系和词问题”，Izv。阿卡德。Nauk SSSR，序列号。Mat.，32，No.4，971–979（1968）。 [168] P.S.Novikov和S.I.Adyan，“奇数阶自由周期群中的交换子群和共轭问题”，Izv。阿卡德。Nauk SSSR，序列号。Mat.，32，No.5，1176-1190（1968）·Zbl 0204.34102号 [169] G.A.Noskov，“关于有限生成的几乎可解群的基本理论”，载于：第十六届代数会议，报告摘要，第一部分，列宁格勒（1981），第118页。 [170] G.A.Noskov，“metabelian群中的共轭性”，Mat.Zametki，31，No.4，495-507（1982）·Zbl 0492.20018号 [171] G.A.Noskov、V.N.Remeslenikov和V.A.Roman'kov，“无限群”，摘自《科学与工程进展》（Itogi Nauki i Tekhniki）。代数。拓扑结构。几何[俄语]，第17卷，VINITI（1979），第65-157页。 [172] A.余。Ol’shanskii，“关于群中的有限基问题”，Izv。阿卡德。Nauk SSSR，序列号。Mat.，34，No.2，376–384（1970）。 [173] A.余。Ol’shanskii，“具有循环子群的无限群”，Dokl。阿卡德。Nauk SSSR，245，No.4，785–787（1979）。 [174] A.余。Ol’shanskii，“无挠的无限简单Noetherian群”，Izv。阿卡德。Nauk SSSR，序列号。材料，43，第6号，1328–1393（1979）·Zbl 0431.20027 [175] A.余。Ol’shanskii，“素数阶子群的无限群”，Izv。阿卡德。Nauk SSSR，序列号。材料，44，第2号，309–321（1980）。 [176] R.D.Pavlov，“关于识别群属性的问题”，Mat.Zametki，10，No.2，169-180（1971）·Zbl 0222.20010号 [177] R.D.巴甫洛夫，“有限呈现群中某种形式的子群”，戈迪森。索菲亚。大学传真。马特·梅赫。，1973–1974,68, 59–80 (1977). ·Zbl 0388.20026号 [178] R.D.Pavlov，“关于在有界字母表中识别群性质的问题”，Serdika B lg。马特·斯皮萨尼（Mat.Spisanie），第5卷第3期，第252-271页（1979年）·Zbl 0463.20031号 [179] R.D.Pavlov，“关于识别有限呈现群的同态问题，”Serdika B“lg。马特·斯皮萨尼（Mat.Spisanie），第5卷第4期，370–373页（1979年）·Zbl 0446.20019 [180] M.Palasin’ski，“关于有限呈现群的单词和共轭问题”，Z.数学。日志。格兰德。数学。，26，第4期，311-326（1980）·Zbl 0456.20018号 ·doi:10.1002/malq.19800261903 [181] E.A.Palyutin，“范畴拟变种的描述”，《代数逻辑学》，第14卷，第2期，145-185页（1975年）·Zbl 0319.08004号 [182] E.D.Rabinovich，“最大阿贝尔群”，收录于：群理论中的问题（俄语），凯梅罗沃（1980），第42–53页；VINITI编号961-80。 [183] V.N.Remeslennikov，“幂零群子群的共轭性”，《代数逻辑学》，第6期，第2期，61-76页（1967年）。 [184] V.N.Remeslennikov，“多环群中的共轭性”，《代数逻辑学》，第8卷第6期，第712-725页（1969年）。 [185] V.N.Remeslennikov，“群关于共轭的剩余有限性”，Sib。材料Zh。，第12卷第5期，1085–1099页（1971年）。 [186] V.N.Remeslennikov，“群的一个例子，有限地出现在变量U 3中，有一个无法解决的单词问题”，《代数逻辑学》，第12卷，第5期，第577-602页（1973年）·Zbl 0294.02020号 ·doi:10.1007/BF02218590 [187] V.N.Remeslennikov，“关于幂零群和环的算法问题”，摘自：报告摘要，第六届全联合群论研讨会，基辅（1978），第50-51页。 [188] V.N.Remeslennikov，“关于幂零群和环的算法问题”，Sib。材料Zh。，20，第5期，1077–1081（1979）·Zbl 0426.20024号 [189] V.N.Remeslennikov，“非标准自由产品”，摘自：报告摘要，第七届联合国群论研讨会，克拉斯诺亚尔斯克（1980），第97页。 [190] V.N.Remeslenikov和V.G.Sokolov，“Magnus嵌入的一些性质”，《代数逻辑学》，第9期，第5期，566–578页（1970年）·Zbl 0247.20026号 ·doi:10.1007/BF02321898 [191] N.S.Romanovskii，“自由积相对于发生的剩余有限性”，Izv。阿卡德。Nauk SSSR，序列号。Mat.，33，No.6，1324-1329（1969）。 [192] N.S.Romanovskii，“可解群的一些算法问题”，《代数逻辑》，第13期，第1期，26-34页（1974年）·Zbl 0297.20043号 ·doi:10.1007/BF01462922 [193] N.S.Romanovski，“关于几乎多环基团的基本理论”，Mat.Sb.，111，No.1135-143（1980）。 [194] N.S.Romanovskii，“幂零群对Abelian群的扩张的发生问题”，Sib。材料Zh。，21，第2期，170–174页（1980年）。 [195] N.S.Romanovskii，“偏贝群中心的单词问题”，Sib。材料Zh。，23，第4期，201–205（1982年）。 [196] V.A.Roman'kov，“关于自由幂零群和自由环中内态可约性问题的不可解性”，《代数逻辑学》，16，第4期，457-471（1977）·Zbl 0411.20021号 ·doi:10.1007/BF01669283 [197] V.A.Roman'kov，“可解群的一些算法问题”，摘自：报告摘要，第六届联合国群论研讨会，基辅（1978），第52页。 [198] V.A.Roman'kov，“自由metabelian群中的方程”，Sib。材料Zh。，20，第3期，671-673（1979年）·Zbl 0419.20030号 [199] V.A.Roman'kov，“关于幂零群的普遍理论”，Mat.Zametki，25，第4期，487-495（1979）。 [200] G.E.Sacks，饱和模型理论，W.A.Benjamin，Reading，Massachusetts（1972）。 [201] O.A.Sarkisyan，“半群和无环群中的词和可分性问题”，Izv。阿卡德。Nauk SSSR，序列号。材料，45，编号6，1424-1440（1981）。 [202] R.A.Sarkisyan，“自由多项式群的共轭性”，《代数逻辑学》，第11期，第6期，694-710页（1972年）·Zbl 0276.20024号 ·doi:10.1007/BF02284596 [203] R.A.Sarkisyan，“adele群的发生问题”，Mat.Zametki，25，No.1，37-50（1979）。 [204] R.A.Sarkisyan，“整矩阵集合的共轭问题”，Mat.Zametki，25，No.6，811-824（1979）·Zbl 0407.1046号 [205] R.A.Sarkisyan，“伽罗瓦上同调和算法理论中的一些问题”，Mat.Sb.，111，No.4，579–609（1980）·Zbl 0474.12012号 [206] R.A.Sarkisyan，“线性代数群的算法问题。一、 II，“材料安全，113，编号2，179-216，编号3，400-436（1980）·Zbl 0446.20025号 [207] R.A.Sarkisyan，“伽罗瓦上同调的一个单词问题”，《代数逻辑学》，第19卷第6期，第707–725页（1980年）·Zbl 0484.20018号 ·doi:10.1007/BF01669331 [208] K.Seksenbaev，“幂零群有限扩张关于共轭的剩余有限性”，《代数逻辑学》，6，第6期，29-31（1967）·Zbl 0221.20049 [209] A.L.Semenov，“自由群中自由代数的解释”，Dokl。阿卡德。Nauk SSSR，252，第6期，1329–1332（1980）。 [210] A.M.Slobodskoi，“GL3（z）群的普遍理论”，载于《代数系统和计算机的算法问题》（俄语），伊尔库茨克（1979），第200-217页。 [211] A.M.Slobodskoi，“有限群的普遍理论的不可解释性”，代数Logika，20，第2207-230号（1981）·Zbl 0519.03006号 ·doi:10.1007/BF01735740 [212] A.M.Slobodskoi和é。I.Fridman，“具有区分子群的谓词的阿贝尔群理论”，代数Logika，14，第5期，572-575（1975）·Zbl 0386.03015号 ·doi:10.1007/BF01668813 [213] A.M.Slobodskoi和é。I.Fridman，“Abelian群子群格的不可判定普适理论”，《代数逻辑学》，第15期，第2期，227-234页（1976年）·Zbl 0357.02044号 ·doi:10.1007/BF01877238 [214] V.G.Sokolov，“一类可解群的单词相等算法”，Sib。材料Zh。，第12卷第6期，1405-1410页（1971年）。 [215] V.V.Soldatova，“具有{\（\delta\）}基的群；1/4和附加条件“Sib。材料Zh。，第7号，第3627-637页（1966年）·Zbl 0166.01501号 [216] V.V.Soldatova，“关于一类有限呈现群”，Dokl。阿卡德。Nauk SSSR，172，No.6，1276–1277（1967）·Zbl 0178.01603号 [217] P.V.Stender，“筛法在解决具有可数生成元素集和可数定义关系集的特定群体的单词问题中的应用”，Mat.Sb.，32，No.1，97-107（1953）。 [218] M.A.Taitslin，“子群格的基本理论”，《代数逻辑学》，第9期，第4期，473-483页（1970年）·Zbl 0225.02038号 ·doi:10.1007/BF02219448 [219] V.A.Tartakovskii，“关于取消过程”，Dokl。阿卡德。诺克SSSR，581605-1608（1947）。 [220] V.A.Tartakovskii，“关于某些类型群体的单词问题”，Dokl。阿卡德。诺克SSSR，581909-1910（1947）。 [221] V.A.Tartakovskii，“用k>；6，“Izv。阿卡德。Nauk SSSR，序列号。材料，13，483–494（1949年）。 [222] V.A.Tartakovskii，“群论中的筛法”，Mat.Sb.，25，3–50（1949）。 [223] V.A.Tartakovskii，“筛法在解决某些类型组中的单词问题中的应用”，Mat.Sb.，25，251-274（1949）。 [224] V.A.Tartakovskii，“关于原始成分”，Mat.Sb.，30，39–52（1952）。 [225] 模型理论。《数理逻辑参考书》（俄文译本），第一部分，瑙卡，莫斯科（1982年）。 [226] E.I.Timoshenko，“自由变倍群中的共轭”，代数Logika，6，第2期，89–94（1967）·Zbl 0166.28201号 [227] E.I.Timoshenko，“花环积的初等和普适等价的保持”，《代数逻辑》，第7卷第4期，114-119页（1968年）·Zbl 0196.04502号 ·doi:10.1007/BF02218669 [228] E.I.Timoshenko，“metabelian群的一些算法问题”，《代数逻辑》，第12卷第2期，232-240页（1973年）·Zbl 0282.20026号 ·doi:10.1007/BF02219297 [229] E.I.Timoshenko，“花环产品的一些基本特性”，印前，新西伯利亚土木工程学院，新西比利亚（1977年）；VINITI编号：4360-77。 [230] E.I.Timoshenko，“花环积的基本理论”，载于《群论和同调代数中的问题》（俄语版），第2期，Yaroslavl（1979），第169-174页。 [231] 余先生。Trofimov，“代数闭群中的可定义性”，《代数逻辑》，第14期，第3期，320–327页（1975年）·Zbl 0373.02035号 ·doi:10.1007/BF01668554 [232] D.K.Faddeev，“积分矩阵系统的等价性”，Izv。阿卡德。Nauk SSSR，序列号。Mat.，30，No.2，449–454（1966）。 [233] D.S.Faermark，“一种在由有限数量的生成器表示的群的幂零乘积中建立单词相等性并定义关系的算法，”Dokl。阿卡德。Nauk SSSR，137，No.2，291–294（1961）·兹伯利0156.01302 [234] V.I.Frenkel，“偏序群中的算法问题”，Usp。Mat.Nauk，17岁，第4期，第173–179页（1962年）。 [235] V.I.Frenkel’，“部分有序群中的算法问题”，Dokl。阿卡德。Nauk SSSR，152，第1期，67-70（1963年）。 [236] A.A.Fridman，“有限呈现群中单词问题和共轭问题之间的关系”，Tr.Mosk。材料压扁。，9, 329–356 (1960). [237] A.A.Fridman，“有限呈现群中单词问题的不可解程度”，Dokl。阿卡德。Nauk SSSR，第147页，第4期，第805–808页（1962年）·Zbl 0203.01301号 [238] A.A.Fridman，《有限呈现群体（俄语）单词问题的不可解程度》，瑙卡，莫斯科（1967年）。 [239] A.A.Fridman，“一类群中共轭问题的解”，Tr.Mat.Inst.Akad。Nauk SSSR，133，233-242（1973）·Zbl 0295.20041号 [240] é. I.Fridman，“具有有限纯子群集的无挠Abelian群初等理论的不可判定性”，载于《代数》（俄语版），第1期，伊尔库茨克（1972），第97–101页。 [241] é. I.Fridman，“群的子群格的普遍理论”，收录于：代数系统和计算机的算法问题[俄语]，伊尔库茨克（1979），第172-176页。 [242] O.G.Kharlampovich，“具有不可解单词问题的有限呈现可解群，”Izv。阿卡德。Nauk SSSR，序列号。Mat.，45，No.4，854–873（1981）·Zbl 0485.20023号 [243] 于。I.Khmelevskii，“自由群中的方程组。I、 二，“伊兹夫。阿卡德。Nauk SSSR，序列号。Mat.，35，No.6，1237–1268（1971）；36，第1期，第110–179页（1972年）。 [244] P.Hall，“无能群体”，Matematika。期间。佩雷沃德爵士。Inostr.公司。《Stat.（汇编翻译）》，第12卷，第1期，第3–36页（1968年）。 [245] N.P.Shatrova，《现代代数》中的“求解某类群共轭问题的算法复杂度的上界”。《半群构造（俄语）》，列宁格勒（1981），第105-127页。 [246] N.P.Shatrova，“求解某类群的单词和共轭问题的算法复杂度的估计”，载于：《群和半群理论的算法问题》（俄语），图拉（1981），第3–20页。 [247] N.G.Shakhova，“关于某些HNN-扩张发生的剩余有限性”，Vestn。莫斯科。戈斯。马特·梅赫大学。，第5期，57-62页（1981年）·Zbl 0473.20026号 [248] J.R.Shoenfield，《数理逻辑》，Addison Wesley，雷丁，马萨诸塞州（1967年）。 [249] V.L.Shirvanyan，“具有An=1形式定义关系递归集的群的单词问题”，Aikakan SSR Gitutyunneri Akad。杜克·泽库伊特纳。阿卡德。Nauk ArmSSR，71，第4期，193-197（1980）·Zbl 0471.20022号 [250] A.L.Shmel'kin，“自由产品的一些因子组”，Tr.研讨会，im。I.G.彼得罗夫斯科戈。莫斯科。戈斯。大学（I.G.Petrovskii研讨会，莫斯科州立大学），第5期（1979年），第208-216页。 [251] G.G.Shchepin，“有限呈现群的幂零积的发生问题”，Dokl。阿卡德。Nauk SSSR，160，No.2，294–297（1965）。 [252] G.G.Shchepin，“有限呈现群中的发生问题”，Sib。材料Zh。，9，第2期，443–448（1968年）·Zbl 0203.32101号 ·doi:10.1007/BF02204796 [253] G.G.Yabanzhi，“品种N2A中某些群体的单词问题”，Bul。阿卡德。Shtiintse RSS手册。，伊兹夫。阿卡德。Nauk MoldSSR，序列号。菲兹-泰克。Mat.Nauk，第1期，39–44页（1981年）·Zbl 0467.20031号 [254] S.Aandera，“用群的Britton扩张证明Higman嵌入定理”，载于：《单词问题、决策问题和群论中的Burnside问题》，阿姆斯特丹-朗顿（1973），第1-18页·兹比尔0265.20033 [255] S.Aandera和D.E.Cohen，“模块化机器，有限呈现群的单词问题和Collins定理”，收录于：单词问题II，北荷兰人，阿姆斯特丹-纽约-Oxford（1980），第1-16页·Zbl 0445.20016号 [256] S.Aandera和D.E.Cohen，“模块化机器和Higman-Clapham-Valiev嵌入定理”，收录于：单词问题II，北荷兰语，阿姆斯特丹-纽约-Oxford（1980），第17-28页·兹比尔0441.20023 [257] S.I.Adyan（Adian），“关于周期关系定义的群的单词问题”，见：数学讲义，第806卷，Springer-Verlag（1980），第41-46页。 [258] S.I.Adyan（Adian），“周期词的分类及其在群论中的应用”，摘自：数学课堂笔记，第806卷，Springer-Verlag（1980），第1-40页。 [259] M.Anshel，“HNN群的共轭问题和交换半群的单词问题”，Proc。美国数学。Soc.，61，No.2，223–224（1976）·Zbl 0359.20022号 ·doi:10.1090/S0002-9939-1976-0422457-9 [260] M.Anshel，“向量组和向量加法系统的等式问题”，数学。计算。，32，第142、614–616号（1978年）·Zbl 0437.03006号 ·doi:10.1090/S0025-5718-1978-0482272-7 [261] M.Anshel，“HNN群和交换半群的决策问题”，休斯顿数学杂志。，4，第2期，137-142（1978年）·兹伯利03911.2024 [262] M.Anshel和P.Stebe，“某些HNN群共轭问题的可解性”，布尔。美国数学。Soc.，80，No.2，266–270（1974）·Zbl 0294.20036号 ·doi:10.1090/S0002-9904-1974-13455-5 [263] M.Anshel和P.Stebe，“将自由产品中的权力与合并结合”，休斯顿数学杂志。，第2期，第139-147页（1976年）·Zbl 0344.20032号 [264] K.I.Appel和P.E.Schupp，“任何驯服的交替结群的共轭问题都是可以解决的”，Proc。美国数学。Soc.，33，No.2，329-336（1972）·Zbl 0243.20036号 ·doi:10.1090/S0002-9939-1972-0294460-X [265] H.Applegate和H.Onishi，“SL2（Z）中的连分式和共轭问题”，Commun。《代数》，9，第11期，1121-1130（1981）·Zbl 0458.20045号 ·doi:10.1080/00927878108822637 [266] J.Avenhaus和K.Madlener，“Komplexit ala tsuntersuchungen für Einrelateorgruppen”，Z.Angew。数学。机械。，57，第5号，T313-T314（1977）·Zbl 0359.02044号 ·doi:10.1002/zamm.19770570510 [267] J.Avenhaus和K.Madlener，“KomplexitÉt bei Gruppen:Der Einbettungssatz von Higman”，Z.Angew。数学。机械。，51，第5号，T314-T315（1977）·Zbl 0363.20030号 [268] J.Avenhaus和K.Madlener，“Sub-rekusive Komplexitït bei Gruppen”，《信息学报》，第9期，第1期，87-104页（1977年）·兹伯利0371.02019 ·doi:10.1007/BF00263767 [269] J.Avenhaus和K.Madlener，“Subrekursive Komplexit Ta t bei Gruppen。二、。Der Einbettungssatz von Higman für entscheidbare Gruppen，《学报》，第9卷，第2期，183-193页（1978年）·Zbl 0371.02020号 ·doi:10.1007/BF00289077 [270] J.Avenhaus和K.Madlener，“自由群中的字符串匹配和算法问题”，Rev.Colomb。Mat.，14，No.1，1-15（1980）·Zbl 0431.03031号 [271] J.Avenhaus和K.Madlener，“HNN扩展中单词问题的算法及其复杂性对组表示的依赖”，RAIRO。Théor公司。，15，第4期，355–371（1981年）·兹伯利0494.20020 ·doi:10.1051/ita/1981150403551 [272] J.Avenhaus和K.Madlener，“如何计算自由群子群交集的代”，摘自：《计算机科学讲义》，第112卷（1981年），第88-100页·Zbl 0466.68036号 ·doi:10.1007/3-540-10828-9_56 [273] J.T.Baldwin，“稳定性理论和代数”，J.Symbol。日志。，44，第4期，599–608（1979年）·Zbl 0437.03013号 ·doi:10.2307/2273298 [274] J.T.Baldwin和J.Saxl，“群论中的逻辑稳定性”，J.Austral。数学。Soc.，21，No.3，267–276（1976）·Zbl 0342.02036号 ·doi:10.1017/S144678870018553 [275] S.A.Basarab，“关于Abelian超定义群和Abelian扭群的基本理论”，Rev.Roum。数学。Pures应用。，22，第3期，299–309（1977年）·Zbl 0388.03013号 [276] A.Baudisch，“Theorien abelscher Gruppen mit einem einstellungen Pr sta dikat”，基金。数学。，83，第2期，121-127（1974年）·Zbl 0289.02035号 [277] A.Baudisch，“Die elementare Theorye der Gruppen vom Typ pmit Untergruppen”，《数学杂志》。日志。格兰德。数学。，21，第4期，347-352（1975年）·兹伯利0319.02038 ·doi:10.1002/malq.19750210142 [278] A.Baudisch，“关于无扭阿贝尔群的基本理论的注记，子群有一个谓词”，Wiss。洪堡大学柏林分校。数学-自然。威斯。R.，26，第5611–612号（1977年）·Zbl 0423.03036号 [279] A.Baudisch，“舍尔舍夫-威特定理在群和李代数理论中的应用。附录，“准备。阿卡德。威斯。DDR。天顶星。数学。和机械。，第30号（1980）。 [280] A.Baudisch，“具有纯子群m链的Abelian群的基本理论”，Prepr。阿卡德。威斯。DDR。天顶星。数学。和机械。，第5期，第1-26页（1979年）·兹伯利0413.03022 [281] A.Baudisch，“具有纯子群m链的Abelian群的基本理论”，基金会。数学。，112，第2期，148-157页（1981年）·Zbl 0477.20005年 [282] G.Baumslag、W.W.Boone和B.H.Neumann，“关于群的元素和子群的一些无法解决的问题”，《数学》。扫描。，7，第1期，191-201（1959年）·Zbl 0104.00704号 ·doi:10.7146/math.scanda.a-10572 [283] G.Baumslag、F.B.Cannonito和C.F.Miller，III，“有限呈现群的无限生成子群。一、 “数学。Z.，153，No.2，117–134（1977）·Zbl 0332.20009 ·doi:10.1007/BF01179785 [284] G.Baumslag、F.B.Cannonito和C.F.Miller，III，“有限呈现群的无限生成子群。第二部分，“数学。Z.，172，No.2，97-105（1980）·Zbl 0415.20023号 ·doi:10.1007/BF01182395 [285] G.Baumslag、F.B.Cannonito和C.F.Miller，III，“可解群的一些可识别性质”，《数学》。Z.，178，No.3，289–295（1981）·Zbl 0455.20027号 ·doi:10.1007/BF01214868 [286] G.Bamslag、F.B.Cannonito和C.F.Miller，III，“可计算代数和群嵌入”，《代数杂志》，69，第1期，186–212（1981）·Zbl 0497.20023号 ·doi:10.1016/0021-8693（81）90138-1 [287] G.Baumslag和F.Levin，“代数上闭的2类无扭幂零群”，Commun。《代数》，4533–560（1976）·Zbl 0379.20032号 ·doi:10.1080/00927877608822120 [288] W.Baur，“带子群的阿贝尔群理论的不可判定性”，Proc。美国数学。Soc.，55，No.1，125-128（1976）·Zbl 0328.02032号 ·doi:10.1090/S0002-9939-1976-0416890-9 [289] W.Baur，“带谓词的子群Abelian群理论的可判定性和不可判定性”，合著。数学。，31，第1期，第23–30页（1975年）·Zbl 0335.02032号 [290] W.Baur、G.Cherlin和A.Macintyre，“完全范畴群和环”，《代数杂志》，57，第2期，407-440（1979）·Zbl 0401.03012号 ·doi:10.1016/0021-8693（79）90230-8 [291] D.Berthier，“非模型完备理论的稳定性：产品、组”，J.London Math。Soc.，11，No.4，453-464（1975）·Zbl 0328.02034号 ·doi:10.1112/jlms/s2-11.4.453 [292] R.Bieri和R.Strebel，“估值和有限预测的metabelian群”，Proc。伦敦数学。Soc.，41，No.3，439–464（1980）·Zbl 0448.20029号 ·doi:10.1112/plms/s3-41.3.439 [293] N.Blackburn，“幂零群中的共轭性”，Proc。美国数学。Soc.，16，No.1，143-148（1965）·Zbl 0127.01302号 ·doi:10.1090/S0002-9939-1965-0172925-5 [294] J.Boler，“Abelian-by-cycle群中的共轭性”，Proc。美国数学。Soc.，55，No.1，17-21（1976）·Zbl 0298.20031号 ·doi:10.1090/S0002-9939-1976-0399266-2 [295] W.W.Boone，“群论中某些简单的、无法解决的问题”，Proc。科恩。内德·阿卡德。韦滕施。，A57，编号3，231-237，编号5，492-497（1954）；A58，编号2，252-256，编号5，571-577（1955）；印度。数学。，16，第3231-237号，第5492-497号（1954年）；第17期，第2期，第252-256期，第5期，第571-577期（1955年）·Zbl 0055.00602号 ·doi:10.1016/S1385-7258（54）50033-8 [296] 布恩，“群论中某些简单的、无法解决的问题。五、 VI，“程序。科恩。内德·阿卡德。韦滕施。，A60，编号1，22-27，编号2，227-232（1957）；印度。数学。，19，第1号，第22–27号，第2号，第227–232号（1957年）。 ·doi:10.1016/S1385-7258（57）50003-6 [297] W.W.Boone，“单词问题”，Proc。美国国家科学院。科学。美国，44，No.10，1061–1065（1958）·Zbl 0086.24701号 ·doi:10.1073/pnas.44.10.1061 [298] W.W.Boone，“单词问题”，Ann.Math。，70，第2期，207–265（1959年）·Zbl 0102.00902号 ·doi:10.307/1970103 [299] W.W.Boone，“关于单词问题和递归可枚举不可解程度的部分结果”，布尔。美国数学。Soc.，68，No.6，616–623（1962）·Zbl 0118.25204号 ·doi:10.1090/S002-9904-1962-10876-3 [300] W.W.Boone，“最终提出了一个组，其单词问题与任意给定的Thue系统（Britton方法的应用）具有相同的程度，”Proc。美国国家科学院。科学。美国，53，第2号，265–269（1965）·兹标0173.01401 ·doi:10.1073/pnas.53.2.265 [301] W.W.Boone，“单词问题和递归可枚举的不可解程度。关于有限呈现组的续集，“Ann.Math。，84，第1期，49–84页（1966年）·Zbl 0173.01301号 ·doi:10.2307/1970530 [302] W.W.Boone，“关于代数和逻辑系统的决策问题，作为其和递归可枚举的不可解程度”，载于：对数学逻辑的贡献（汉诺威学术讨论会，1966年），阿姆斯特丹北霍兰德（1968年），第13-33页。 [303] W.W.Boone，“单词问题和递归可枚举的不可解程度。校订，“Ann.Math。，94，第3期，389–391（1971）·Zbl 0234.02031 ·数字对象标识代码：10.2307/1970762 [304] W.W.Boone、W.Haken和V.Poenaru，“关于拓扑中递归无法解决的问题及其分类”，摘自：《对数学逻辑的贡献》，北荷兰，阿姆斯特丹（1968），第37-74页·兹比尔0246.57015 [305] W.W.Boone和G.Higman，“具有可解单词问题的群的代数特征”，J.Austral。数学。Soc.，18，No.1，41-53（1974年）·Zbl 0303.20028号 ·doi:10.1017/S1446788700019108 [306] W.W.Boone和H.Rogers，Jr.，“关于J.H.C.Whitehead的问题和Alonzo Church的问题”，《数学》。结疤。，19，第2期，185-192（1966年）·Zbl 0166.26503号 ·doi:10.7146/math.scanda.a-10808 [307] Y.Boydron，“联合国集团自由”，C.R.Acad。科学。，276，第22号，A1447-A1448（1973）·Zbl 0273.20019 [308] Y.Boydron，“Algorithmes dans les produits libres”，C.R.Acad。科学。，282，第3期，A135-A138（1976年）·Zbl 0321.20020 [309] Y.Boydron和B.Truffault，“Problème de l'ordre généralesépour les groupes libres”，C.R.Acad。科学。，A279，第25号，第843–845页（1974年）·Zbl 0291.20043号 [310] Y.Boydron和B.Truffault，“班级双打自由舞”，C.R.Acad。科学。，A279，第21号，773–775（1974年）·Zbl 0291.20044号 [311] N.B.Boöović，“群论中一些不可判定结果的推广注记”，Publ。数学研究所。，26, 61–63 (1979). [312] N.B.Boöović，“关于群的某些不可识别性质的类”，Publ。数学研究所。，26, 65–68 (1979). [313] T.R.Brahana，“关于有限生成的无扭类2幂零群的同构问题”，Glas。Mat.，7，No.2，167-172（1972）·Zbl 0251.20031号 [314] E.Brieskorn和K.Saito，“Artin-Gruppen和Coxeter-Gruppen”，《发明》。数学。，17，第4期，245–271（1972年）·Zbl 0243.20037号 ·doi:10.1007/BF01406235 [315] R.C.Brightman，“关于纯无限群的同构问题”，Commun。纯应用程序。数学。，24，第6期，789–796（1971）·Zbl 0217.07703号 ·doi:10.1002/cpa.3160240605 [316] J.L.Britton，“某些类型群体的单词问题的解决方案。一、 II，“程序。格拉斯哥数学。协会。，第3期，第1期，第45-54期，第2期，第68-90期（1956年）·兹伯利0079.25203 ·doi:10.1017/S2040618500033426 [317] J.L.Britton，“群体问题”，Proc。伦敦数学。Soc.，8，No.32，493–506（1958）·Zbl 0092.00801 ·doi:10.1112/plms/s3-8.4.493 [318] J.L.Britton，“单词问题”，《数学年鉴》。，77，第1期，第16–32页（1963年）·Zbl 0112.25803号 ·doi:10.2307/1970200 [319] J.L.Britton，“关于共轭问题和差分方程”，J.London Math。Soc.，17，No.2，240–250（1978）·Zbl 0378.20027号 ·doi:10.1112/jlms/s2-172.240 [320] J.L.Britton，“阿贝尔群HNN扩张的共轭问题”，《数学》。科学。，4，第2期，85–92页（1979年）·Zbl 0415.20027号 [321] R.M.Bryant和J.R.J.Groves，“群的圈积和超积”，Q.J.数学。，29，第115号，301–308（1978）·Zbl 0388.20022号 ·doi:10.1093/qmath/29.3.301 [322] R.G.Burns，“关于自由产物的有限生成子群”，J.Austral。数学。Soc.，12，No.3，358–364（1971）·Zbl 0218.20026号 ·doi:10.1017/S1446788700009824 [323] W.Buszkowski，“格序群理论的不确定性”，Funct。et近似值（PRL），7，23–28（1979）·Zbl 0408.03010号 [324] F.B.Canonito，“组中单词问题的代数不变性”，收录于：单词问题、决策问题和群论中的伯恩赛德问题，阿姆斯特丹-朗登（1973），第348–364页·Zbl 0274.02016 [325] F.B.Cannonito，“一类可解群上的两个可判定Markov性质”，《代数逻辑》，19，第6期，646–658（1980）·Zbl 0475.20026号 ·doi:10.1007/BF01669325 [326] F.B.Canonito和R.W.Gatterdam，“群结构的可计算性。第一部分，“在：群论中的单词问题、决策问题和Burnside问题”，阿姆斯特丹-伦敦（1973），第365-400页·Zbl 0274.02017 [327] F.B.Canonito和R.W.Gatterdam，“多环群中的单词问题是基本的”，作文。数学。，27，第1期，39–45页（1973年）·兹伯利0279.20028 [328] F.B.Canonito和R.W.Gatterdam，“1-relator组中的单词问题和幂问题是原始递归的”，Pac。数学杂志。，第61卷第2期，第351-359页（1975年）·Zbl 0335.02029号 ·doi:10.2140/pjm.1975.61.351 [329] G.Cherlin，模型理论代数。数学选修课笔记，第521卷，施普林格-弗拉格出版社（1976年）·Zbl 0332.02056号 [330] G.Cherlin，《小莫利等级群体》，《数学年鉴》。日志。，第1-2、1-28号（1979年）·Zbl 0427.20001 ·doi:10.1016/0003-4843（79）90019-6 [331] G.Cherlin和J.G.Rosenstein，“关于范畴Abelian-by-inite群”，《代数杂志》，第53期，第1期，188-226页（1978年）·Zbl 0381.20003号 ·doi:10.1016/0021-8693（78）90212-0 [332] G.Cherlin和S.Shelah，“超级稳定字段和组”，《数学年鉴》。日志。，18，第3期，227–270（1980年）·Zbl 0475.03012号 ·doi:10.1016/0003-4843（80）90006-6 [333] E.Chiti，“Modelli saturati per particolari teorie di gruppi abeliani ordination”，波尔。Unione Mat.意大利语。，2，补遗，145–155（1980）·Zbl 0448.03020号 [334] C.R.J.Clapham，“有限地向群体提出了具有任意程度不可解性的单词问题”，Proc。伦敦数学。Soc.，14，No.56，633-676（1964）·Zbl 0232.20063号 ·doi:10.1112/plms/s3-14.633 [335] C.R.J.Clapham，“有限生成群的嵌入定理”，Proc。伦敦数学。Soc.，17，No.3，419-430（1967）·Zbl 0152.00204号 ·doi:10.1112/plms/s3-17.3.419 [336] C.R.J.Clapham，“合并自由积的共轭问题”，Arch。数学。，22，第4期，358–362（1971）·Zbl 0239.20041号 ·doi:10.1007/BF01222587 [337] F.Clare，“群的初等类的运算”，代数大学，第5期，第1期，120-124页（1975年）·兹伯利0328.20045 ·doi:10.1007/BF02485241 [338] A.Cobham，“群论中的不确定性”，不是。美国数学。《社会学杂志》，第9406页（1962年）。 [339] W.H.Cockcroft，“群扩展中的单词问题”，Q.J.Math。，牛津第二爵士。，2, 123–134 (1951). ·Zbl 0042.02202号 ·doi:10.1093/qmath/2.1.123 [340] D.E.Cohen，组合群理论。拓扑方法，伦敦玛丽女王学院（伦敦大学），伦敦（1978年）·Zbl 0389.20024号 [341] D.J.Collins，“关于嵌入群和共轭问题”，J.London Math。Soc.，1，No.4，674-682（1969年）·Zbl 0185.05101号 ·doi:10.1112/jlms/s2-1.1.674 [342] D.J.Collins，“只有少数定义关系的群体中的单词和共轭问题”，《数学杂志》。日志。格兰德。数学。，15，编号4305-324（1969年）·Zbl 0188.02903号 ·doi:10.1002/malq.19690152001 [343] D.J.Collins，“递归可数度和共轭问题”，《数学学报》。，122，编号1-2，115-160（1969年）·Zbl 0175.27501号 ·doi:10.1007/BF02392008 [344] D.J.Collins，《关于认可霍普夫集团》，Arch。数学。，20，第3期，235-240（1969年）·Zbl 0184.04102号 ·doi:10.1007/BF01899291 [345] D.J.Collins，“关于识别具有可解决单词问题的组的属性”，Arch。数学。，21，第1期，31–39页（1970年）·Zbl 0195.02001 ·doi:10.1007/BF01220872 [346] D.J.Collins，“真实学位和Boone团体”，《数学年鉴》。，94，第3期，392–396（1971）·Zbl 0234.02032号 ·数字对象标识代码：10.2307/1970763 [347] D.J.Collins，“有限呈现群中的词、幂和序问题”，收录于：群论中的词问题、决策问题和伯恩赛德问题，阿姆斯特丹-朗顿（1973），第401-420页。 [348] D.J.Collins，“共轭性和Higman嵌入定理”，收录于：单词问题II，北荷兰语，阿姆斯特丹-纽约-Oxford（1980），第81-85页·兹比尔0431.20031 [349] D.J.Collins和C.F.Miller，III，“有限指标的共轭问题和子群”，Proc。伦敦数学。Soc.，34，No.3，535–556（1977年）·Zbl 0364.20043号 ·doi:10.1112/plms/s3-3.3.535 [350] L.P.Comerford，Jr.，“小型取消组中的权力和魔力”，Arch。数学。，26，第4期，353–360（1975年）·Zbl 0314.20026号 ·doi:10.1007/BF01229751 [351] L.P.Comerford，Jr.，“关于权力结合的注释”，休斯顿数学杂志。，第3期，第337–341页（1977年）·Zbl 0374.20048号 [352] L.P.Comerford，Jr.，“小抵消群的子群”，J.London Math。Soc.，17，No.3，422-424（1978）·Zbl 0387.20031号 [353] L.P.Comerford，Jr.，“小对消群上的二次方程”，《代数杂志》，69，第1期，175-185（1981）·Zbl 0461.20016号 ·doi:10.1016/0021-8693（81）90137-X [354] L.P.Comerford，Jr.和C.C.Edmunds，“自由群和自由积上的二次方程”，《代数杂志》，68，第2期，276–297（1981）·Zbl 0526.20024号 ·doi:10.1016/0021-8693（81）90265-9 [355] L.P.Comerford，Jr.和B.Truffault，“具有循环合并的第六群自由积的共轭问题”，数学。Z.，149，No.2，169-181（1976）·Zbl 0316.20029号 ·doi:10.1007/BF01301574 [356] M.Dehn，“duber die Topologie des dreidimensional Raumes”，《数学》。安，69，137–168（1910）。 ·doi:10.1007/BF01455155 [357] R.Deissler，“无挠阿贝尔群完整理论的极小和素数模型”，代数大学，第9期，第2期，250-265页（1979年）·Zbl 0428.03026号 ·doi:10.1007/BF02488037 [358] Do Long Van，“Problèmes des mots et de concugaison pour une class de groupes de présentation finie”，C.R.Acad。科学。，Sér。1292，第17期，773–776（1981）·Zbl 0483.20019 [359] M.J.Dugopolski，“交替结和链接基本组中单词问题的新解决方案”，转。美国数学。Soc.，272，第1375-382号（1982年）·Zbl 0508.57003号 ·doi:10.1090/S0002-9947-1982-0656495-5 [360] J.L.Dyer，“用有限群分离自由共轭物”，J.London Math。Soc.，20，No.2，215–221（1979）·Zbl 0424.20027号 ·doi:10.1112/jlms/s2-20.2015 [361] J.L.Dyer，“分离合并游离产物中的偶联物和HNN延伸”，J.Austral。数学。Soc.，A29，No.1，35-51（1980）·Zbl 0429.20033号 ·网址：10.1017/S1446788700020917 [362] V.H.Dyson，“单词问题和剩余有限群”，不是。美国数学。《社会学杂志》，第11743页（1964年）。 [363] C.C.Edmunds，“一个等价于自由群自同态问题可解性的条件”，Proc。美国数学。Soc.，76，No.1，23-24（1979）·Zbl 0399.20032号 ·网址：10.1090/S0002-9939-1979-0534382-6 [364] C.C.Edmunds，“关于自由群的自同态问题。二、 “程序。伦敦数学。Soc.，38，No.1，153-168（1979）·兹比尔0408.20024 ·doi:10.1112/plms/s3-38.1.153 [365] P.C.Eklof，“Abelian群的一些模型理论”，J.Symbol。日志。，37，第2期，335–342（1972年）·Zbl 0259.02042号 ·doi:10.2307/2272976 [366] P.C.Eklof，“阿贝尔群论中的逻辑方法”，摘自：数学讲义，第616卷，Springer-Verlag（1977），第251-269页。 [367] P.C.Eklof和E.R.Fischer，“阿贝尔群的基本理论”，《数学年鉴》。日志。，第4卷第2期，第115–171页（1972年）·Zbl 0248.02049号 ·doi:10.1016/0003-4843（72）90013-7 [368] P.C.Eklof和G.Sabbagh，“模型补全和模块”，《数学年鉴》。日志。，第2卷第3期，第251-295页（1970年）·Zbl 0227.02029 ·doi:10.1016/0003-4843（71）90016-7 [369] 于。L.Ershov，“非阿贝尔群变种理论”，载于：Tarski研讨会论文集，加州伯克利，1971年（Proc.Symp.Pure Math.，第25卷），Providence，R.I.（1974），第255-264页。 [370] B.Evans，“一类在循环合并下闭合的{\（\pi\）}c-群”，布尔。美国数学。Soc.，79，No.1200-201（1973）·兹布尔0269.20024 ·doi:10.1090/S0002-9904-1973-13153-2 [371] B.Evans，“单词问题”，公牛。美国数学。Soc.，84，编号5，789–802（1978年）·Zbl 0389.03018号 ·doi:10.1090/S0002-9904-1978-14516-9 [372] U.Felgner，“关于分类超特殊p-群”，Log。分析。，18，编号71–72，407–498（1975年）。 [373] U.Felgner，“非阿贝尔群体的稳定性和分类”，载于：牛津学术讨论会，1976年，阿姆斯特丹北荷兰特（1977年），第301-324页。 [374] U.Felgner，“分类稳定群”，数学。Z.，160，第1号，27-49（1978）·Zbl 0357.02048号 ·doi:10.1007/BF01182328 [375] U.Felgner，“Kategorizitát”，Jahresber。德国。数学-第82版，第1号，第12–32页（1980年）·Zbl 0453.03033号 [376] U.Felgner，“FC-群的模型理论”，载于《数学》。逻辑拉丁美洲，程序。第四拉丁美洲交响乐团。，圣地亚哥，1978年12月18日至22日，阿姆斯特丹（1980年），第163至190页。 [377] U.Felgner，“阿贝尔群的霍恩理论”，载于：数学讲义，第834卷，Springer-Verlag（1980），第163-173页·Zbl 0457.03033号 [378] H.Finkelstein，“分组求解方程：Frobenius定理综述”，《周期》。数学。挂。，9，第3期，187-204（1978年）·Zbl 0452.20026号 ·doi:10.1007/BF02018086 [379] E.Formanek，“多环群中的共轭可分性”，《代数杂志》，第42期，第1期，第1-10页（1976年）·Zbl 0345.20031号 ·doi:10.1016/0021-8693（76）90021-1 [380] A.M.Gaglione和N.V.Waldinger，“换向器微积分中括号过程的推广”，Commun。《代数》，第8期，第10期，961-981（1960）·Zbl 0432.20031 ·网址：10.1080/0092787800822502 [381] R.W.Gatterdam，“本原递归群的Higman定理——初步报告”，载于：群论中的单词问题、决策问题和Burnside问题，阿姆斯特丹-朗登（1973），第421-425页·Zbl 0263.02024号 [382] A.M.W.Glass和K.R.Pierce，“存在完全阿贝尔格序群”，Trans。美国数学。Soc.，261，No.1，255-270（1980）·Zbl 0482.06011号 ·doi:10.1090/S0002-9947-1980-0576874-2 [383] A.M.W.Glass和K.R.Pierce，“存在完全格序群”，以色列数学杂志。，36，第3–4号，第257–272号（1980年）·Zbl 0454.06007号 ·doi:10.1007/BF02762049 [384] M.Greendlinger，“Dehn的共轭和单词问题算法及其应用”，Commun。纯应用程序。数学。，13，编号4641–677（1960年）·Zbl 0156.01303号 ·doi:10.1002/cpa.3160130406 [385] M.Greendlinger，“Dehn的单词问题算法”，Commun。纯应用程序。数学。，13，第1期，67-83（1960年）·Zbl 0104.01903号 ·doi:10.1002/cpa.3160130108 [386] M.Greendlinger，“Magnus定理的类似物”，Arch。数学。，12，第2期，94-96（1961年）·Zbl 0103.25603号 ·doi:10.1007/BF01650530 [387] M.Greendlinger，“一类所有元素都有琐碎中心化子的群”，数学。Z.，78，No.1，91-96（1962）·兹伯利0111.02801 ·doi:10.1007/BF01195154 [388] F.Grunewald，“某些算术组中的共轭问题的解决方法”，收录于：单词问题II，北霍兰德，阿姆斯特丹（1979），第101-139页。 [389] F.Grunewald和D.Segal，“关于算术组的注释”，公牛。伦敦数学。Soc.，10，No.3，297–302（1978）·Zbl 0403.2030号 ·doi:10.1112/blms/10.3.297 [390] F.Grunewald和D.Segal，“多环群中的共轭性”，Commun。《代数》，6，第8期，775–798（1978）·Zbl 0391.20025号 ·网址：10.1080/00927877808822268 [391] F.Grunewald和D.Segal，“某些决策问题在算术和代数中的溶解度”，布尔。美国数学。Soc.（新系列），1，No.6，915-918（1979）·Zbl 0431.20029 ·doi:10.1090/S0273-0979-1979-14692-5 [392] F.Grunewald和D.Segal，“一些通用算法。I.算术组。二、。无效组，“Ann.Math。，112，第3期，531–583，585–617（1980）·Zbl 0457.20047号 ·doi:10.2307/1971091 [393] C.K.Gupta，“关于F/R的共轭问题”，Proc。美国数学。Soc.，85，No.2，149-153（1982）·Zbl 0465.20031号 [394] C.K.Gupta和N.D.Gupta，“广义马格努斯嵌入和一些应用”，数学。Z.，160，第1号，75-87（1978）·Zbl 0362.20031号 ·doi:10.1007/BF01182332 [395] W.Haken，“Zun Identitïtsproblem bei Gruppen”，数学。Z.，56，335–362（1952）·Zbl 0048.01301号 ·doi:10.1007/BF01686754 [396] W.Haken，“常态理论”。Ein Isotopiekriterium für den Kreisknoten，“数学学报。，105，第3-4、245-375号（1961年）·Zbl 0100.19402号 ·doi:10.1007/BF02559591 [397] H.Heineken和P.M.Neumann，“群体的相同关系和决策程序”，J.Austral。数学。Soc.，7，No.1，39-47（1967）·Zbl 0147.00902号 ·网址：10.1017/S1446788700005073 [398] G.Hemion，“关于2-流形的同胚分类和3-流形的分类”，数学学报。，142，第1–3、123–155号（1979年）·Zbl 0402.57027号 ·doi:10.1007/BF02395059 [399] P.J.Higgins和R.C.Lyndon，“自由群自同构下元素的等价性”，《伦敦数学杂志》。Soc.，8，No.2，254–258（1974）·Zbl 0288.20027号 ·doi:10.1112/jlms/s2-8.2.254 [400] P.Higman，“有限呈现群的子群”，Proc。R.Soc.伦敦，A262，No.1311，455–475（1961）·Zbl 0104.02101号 ·doi:10.1098/rspa.1961.0132 [401] P.Hilton和J.Roitberg，“布莱克本定理的Profinite补全和推广”，《代数杂志》，第60期，第1期，289-306页（1979年）·Zbl 0422.20027号 ·doi:10.1016/0021-8693（79）90123-6 [402] J.Hirschfeld和W.H.Wheeler，《强迫、算术、除法环》，数学课堂讲稿，第454卷，Springer-Verlag（1975）·Zbl 0304.02024号 [403] W.C.Holland和S.H.McCleary，“自由格序群中词问题的可解性”，休斯顿数学杂志。，第5卷，第1期，99–105页（1979年）·Zbl 0387.06011号 [404] K.J.Horadam，“单相关群非同构的快速测试”，Proc。美国数学。Soc.，81，第2195-200号（1981年）·Zbl 0426.20022 ·doi:10.1090/S0002-9939-1981-0593456-3 [405] V.Huber-Dyson，“群自由积的归纳理论”，代数大学。，9，第1号，35-44页（1979年）·Zbl 0412.20003号 ·doi:10.1007/BF02488014 [406] V.Huber-Dyson，“有限群开放句问题的简化”，Bull。伦敦数学。Soc.，13，No.4，331–338（1981）·Zbl 0441.20002号 ·doi:10.1112/blms/13.4331 [407] B.Hurley，“关于小组单词问题的注释”，Q.J.数学。，31，第123号，329–334（1980）·Zbl 0441.20022号 ·doi:10.1093/qmath/31.329 [408] R.D.Hurwitz，“关于具有交换子群的自由积中的共轭问题”，数学。《年鉴》，第221卷，第1期，第1-8页（1976年）·兹比尔0308.20027 ·doi:10.1007/BF01434960 [409] R.D.Hurwitz，“关于循环子群和共轭问题”，Proc。美国数学。Soc.，79，No.1，1-8（1980）·Zbl 0401.20031号 ·doi:10.1090/S0002-9939-1980-0560573-2 [410] W.Jaco，《三重拓扑讲座》，美国数学学会，普罗维登斯，R.I.（1980）·Zbl 0433.57001号 [411] P.Jaffard，“群的公理理论”，公牛。科学。数学。，(2)75, 114–128 (1951). ·Zbl 0044.01202号 [412] C.G.Jockusch，Jr.，“对Boone‘代数系统’的补充”，摘自：《对数学逻辑的贡献》（汉诺威学术讨论会，1966年），阿姆斯特丹北荷兰特（1968年），第34-36页。 [413] C.G.Jockusch，Jr.，“消除半群的精细度词问题”，Z.数学。日志。格兰德。数学。日志。格兰德。数学。，26，第1期，93–95（1980）·Zbl 0443.03019号 ·doi:10.1002/malq.19800260111 [414] D.L.Johnson，《小组陈述理论专题》，伦敦数学。Soc.讲座笔记系列，第42期（1980年）·Zbl 0437.20026号 [415] K.A.Kalorkoti，“群论中的决策问题”，Proc。伦敦数学。Soc.，44，No.2，312–332（1982）·兹伯利048520022 ·doi:10.1112/plms/s3-44.2.312 [416] M.I.Kargapolov，“可溶群理论中的一些问题”，摘自：数学课堂讲稿，第372卷，Springer-Verlag（1974），第389-394页·Zbl 0298.20025号 [417] Y.Komori，“关于有序阿贝尔群和嵌入关系的理论的完整性”，名古屋数学。J.，77，33–39（1980）·Zbl 0404.03014号 ·doi:10.1017/S0027763000018638 [418] L.Larsen，“具有合并的某些自由积的共轭问题的可解性”，《代数杂志》，第43期，第1期，第28–41页（1976年）·Zbl 0354.20027号 ·doi:10.1016/0021-8693（76）90141-1 [419] L.Larsen，“共轭问题和循环HNN构造”，J.Austral。数学。Soc.，A23，No.4，385–401（1977）·Zbl 0373.20040号 ·doi:10.1017/S1446788700019546 [420] L.Larsen，“群体中的决策问题和最小身份”，Scr。Agder Distriktshogsk公司。法格塞克。材料，第1号（1979年）。 [421] D.Lazard，“Algorithmes fondamentaux en algèbre communive”，《Astérisque》，第38–39、131–138号（1976年）。 [422] T.Lewin，“关于自由群体的根源”，密歇根数学。J.，27，第1期，31-38（1980）·Zbl 0413.20033号 ·doi:10.1307/mmj/1029002306 [423] S.Lipschutz，“S群中具有平凡中心化子的元素”，Commun。纯应用程序。数学。，13，第4期，679–683（1960年）·Zbl 0156.01601号 ·doi:10.1002/cpa.3160130407 [424] S.Lipschutz，“关于S群中元素的幂”，Proc。美国数学。Soc.，13，No.2，181–186（1962）·Zbl 0105.02001号 [425] S.Lipschutz，“关于八组的平方根”，Commun。纯应用程序。数学。，第15卷第1期，第39–43页（1962年）·Zbl 0142.25605号 ·doi:10.1002/cpa.3160150103 [426] S.Lipschutz，“Greendlinger关于单词问题的结果的扩展”，Proc。美国数学。Soc.，15，No.1，37-43（1964年）·Zbl 0199.05702号 [427] S.Lipschutz，“第八组的力量”，Proc。美国数学。Soc.，16，No.5，1105–1106（1965）·Zbl 0135.04301号 ·doi:10.1090/S0002-9939-1965-0181667-1 [428] S.Lipschutz，“Dehn关于共轭问题的结果的推广”，Proc。美国数学。Soc.，17，No.3，759–762（1966）·Zbl 0145.02301号 [429] S.Lipschutz，“关于群的广义自由积的幂”，Arch。数学。，19，第6期，575–576（1969年）·Zbl 0169.33702号 ·doi:10.1007/BF01899383 [430] S.Lipschutz，“关于共轭问题和Greendlinger的八群”，Proc。美国数学。Soc.，23，No.1，101-106（1969）·Zbl 0186.31701号 [431] S.Lipschutz，“关于Greendlinger集团”，Commun。纯应用程序。数学。，23，第5期，743–747（1970年）·Zbl 0196.04402号 ·doi:10.1002/网址：316030503 [432] S.Lipschutz和C.F.Miller，III，“具有某些可解和不可解决策问题的群”，Commun。纯应用程序。数学。，24，第1期，第7-15页（1971年）·Zbl 0209.05202号 ·doi:10.1002/cpa.3160240103 [433] S.Lipschutz，“关于单词问题和T-fourth-groups”，载于《群论中的单词问题、决策问题和伯恩赛德问题》，阿姆斯特丹-朗登（1973），第443-451页·Zbl 0265.20034号 [434] S.Lipschutz，“小命名群中的恒等定理”，Commun。纯应用程序。数学。，26，编号5-6，775-780（1973）·Zbl 0291.20046号 ·doi:10.1002/cpa.3160260519 [435] S.Lipschutz，“共轭问题和循环合并”，公牛。美国数学。Soc.，81，No.1，114-116（1975）·Zbl 0329.20020 ·doi:10.1090/S0002-9904-1975-13661-5 [436] S.Lipschutz，“具有可解共轭问题的群”，伊利诺伊州数学杂志。，24，第2期，192-195（1980）·Zbl 0429.20037号 [437] S.Lipschutz和M.Lipschoutz，“关于群体中根决策问题的注释”，Can。数学杂志。，25，第4期，702–705（1973）·Zbl 0231.20009 ·doi:10.415/CJM-1973-071-8 [438] J.Lockhart，“小组演讲中的决策问题与统一可解决的单词问题”，Arch。数学。，37，第1、1–6号（1981年）·Zbl 0443.20031号 ·doi:10.1007/BF0123419文件 [439] R.C.Lyndon，“次级产品中保留的属性”，Pac。数学杂志。，9，第1期，155-164页（1959年）·Zbl 0093.01102号 ·doi:10.2140/pjm.1959.9.155 [440] R.C.Lyndon，“同态下保持的属性”，Pac。数学杂志。，9，第1期，143-154（1959年）·Zbl 0093.01101号 ·doi:10.2140/pjm.1959.9.143 [441] R.C.Lyndon，“代数结构下保留的属性”，布尔。美国数学。Soc.，65，No.5，287-299（1959）·Zbl 0087.00903号 ·doi:10.1090/S0002-9904-1959-10321-9 [442] R.C.Lyndon，“具有参数指数的群”，Trans。美国数学。Soc.，96，No.3，518–533（1960）·Zbl 0108.02501号 ·doi:10.1090/S0002-9947-1960-0151502-6 [443] R.C.Lyndon，“关于Dehn算法”，数学。《年鉴》，166，第3期，208-228（1966）·Zbl 0138.25702号 ·doi:10.1007/BF01361168 [444] R.C.Lyndon，“组中的方程”，Bol。巴西国家统计局，Mat.，11，No.1，79-102（1980）·Zbl 0463.20030号 ·doi:10.1007/BF02584882 [445] R.C.Lyndon和P.E.Schupp，组合群理论，Springer-Verlag，柏林（1977）。 [446] R.C.Lyndon和M.J.Wicks，“自由群中的换向器”，可以。数学。公牛。，24，第1期，101-106（1981年）·Zbl 0453.20027号 ·doi:10.4153/CBM-1981-016-1 [447] A.Macintyre，“关于{\（\Omega\）}阿贝尔群的1-范畴理论”，基金会。数学。，70，第3期，253-270（1971）·Zbl 0234.02035号 [448] A.Macintyre，“在泛型结构中省略无量词类型”，J.Symbol。日志。，37，第3期，512-520（1972年）·Zbl 0273.02038号 ·doi:10.2307/2272737 [449] 麦金太尔，“马丁公理应用于存在闭群”，数学。扫描。，32，第1期，46–56页（1973年）·Zbl 0268.02038号 ·doi:10.7146/math.scanda.a-11445 [450] A.Macintyre，“关于代数闭群”，《数学年鉴》。，96，第1期，第53–97页（1972年）·Zbl 0254.20021号 ·数字对象标识代码：10.2307/1970894 [451] A.Macintyre，“存在封闭结构和Jensen原理”，以色列数学杂志。，25，第3-4、202-210号（1976年）·Zbl 0374.02034号 ·doi:10.1007/BF02757000 [452] W.Magnus，“Das Identity ada tsproblem für Gruppen mit einer definereden Relation”，《数学》。安，106295–307（1932年）。 ·doi:10.1007/BF01455888 [453] W.Magnus，《非核素镶嵌及其群体》，学术出版社，纽约（1974年）。 [454] B.J.Maier，《Existenziell abgeschlossene lokal endliche p-Gruppen》。数学。，37，第2期，113-128页（1981年）·Zbl 0474.20015号 ·doi:10.1007/BF01234334 [455] J.Matthews，“花环产品和自由metabelian群中的共轭问题”，转。美国数学。Soc.，121，No.2，329–339（1966）·Zbl 0136.27602号 ·doi:10.1090/S0002-9947-1966-0193130-8 [456] B.H.Mayoh，“具有可解单词问题的群和半群”，Proc。美国数学。Soc.，18，No.6，1038-1039（1967）·Zbl 0153.34902号 ·doi:10.1090/S0002-9939-1967-0228571-X [457] J.McCool，“自由积六群中的有限阶元”，格拉斯哥数学。J.，9，第2期，128–145（1968）·Zbl 0197.01902号 ·doi:10.1017/S001708950000410 [458] J.McCool，“自由积第六组的顺序问题和功率问题”，格拉斯哥数学。J.，10，第1期，第1-9页（1969年）·Zbl 0195.30602号 ·doi:10.1017/S001708950000458 [459] J.McCool，“具有可解单词问题的群中的不可解问题”，Can。数学杂志。，22，第4期，836–838页（1970年）·Zbl 0216.08702号 ·doi:10.4153/CJM-1970-094-6 [460] J.McCool，“具有一个定义关系子的群体的权力问题”，Proc。美国数学。Soc.，28，No.2，427–430（1971）·Zbl 0223.20036号 ·doi:10.1090/S0002-9939-1971-0274563-5 [461] J.McCool和A.Pietrowski，“关于两个无限循环群合并的自由积”，《代数杂志》，第18期，第3期，377–383页（1971年）·Zbl 0232.20054号 ·doi:10.1016/0021-8693（71）90067-6 [462] J.McCool和A.Pietrowski，“关于识别某些单关系陈述”，Proc。美国数学。Soc.，36，No.1，31-33（1972）·Zbl 0268.20024号 ·doi:10.1090/S0002-9939-1972-0306333-4 [463] T.P.McDonough，“自由群体中的根封闭”，J.伦敦数学。Soc.，2，No.1，191-192（1970）·兹比尔0187.29201 ·doi:10.1112/jlms/s2-2.1.191 [464] R.McKenzie和R.J.Thompson，“群论中不可解单词问题的基本构造”，载于《群论中的单词问题、决策问题和伯恩赛德问题》，阿姆斯特丹-朗登（1973），第457-478页·Zbl 0286.02047号 [465] S.Meskin，“一个有限生成的剩余有限群与一个无法解决的单词问题”，Proc。美国数学。Soc.，43，No.1，8-10（1974）·Zbl 0261.20020号 ·doi:10.1090/S0002-9939-1974-0335645-5 [466] C.F.Miller，III，“关于Britton定理A”，Proc。美国数学。Soc.，19，No.5，1151-1154（1968）·Zbl 0185.05102号 ·doi:10.2307/2036047 [467] C.F.Miller，III，《关于群体理论决策问题及其分类》，《数学年鉴》。螺柱，第68号（1971）·Zbl 0277.20054号 [468] C.F.Miller，III，“群代数类中的决策问题（一项调查）”，收录于：单词问题、决策问题和群理论中的伯恩赛德问题，阿姆斯特丹-朗登（1973），第507–523页·Zbl 0288.20052号 [469] C.F.Miller，III，“群商中的单词问题”，收录于：有效代数方面（Clayton，1979）（1981），第246-250页。 [470] C.F.Miller，III和P.E.Schupp，“Higman-Neumann-Numann扩展的几何”，Commun。纯应用程序。数学。，第26卷，第5–6期，第787–802页（1973年）·Zbl 0282.20029号 ·doi:10.1002/cpa.3160260522 [471] J.W.Milnor，“两个同胚但组合上不同的复合物”，Ann.Math。，74，第3期，575–590页（1961年）·Zbl 0102.38103号 ·数字对象标识代码：10.2307/1970299 [472] A.W.Mostowski，“关于特殊类群中一些问题的可决策性”，基金。数学。，59，第2期，第123–135页（1966年）·Zbl 0143.03701号 [473] A.W.Mostowski，“决定群理论问题的统一算法”，收录于：群论中的单词问题、决策问题和伯恩赛德问题，阿姆斯特丹-朗顿（1973）·Zbl 0269.02017 [474] A.W.Mostowski，《群论中的决策问题》，《技术报告》，第19期，爱荷华大学（1969年）·Zbl 0228.02037号 [475] O.Mutzbauer，“Klassifizierung torsionsfrier abelscher Gruppen des Ranges 2（2。Teil），“Rend。帕多瓦大学Sem.Mat.Univ.Padova，58163-174（1977年）·Zbl 0411.20033号 [476] B.Neumann，“代数闭群的注记”，J.London Math。Soc.，27，No.2，247–249（1952）·兹比尔0046.24802 ·doi:10.1112/jlms/s1-27.2.247 [477] B.Neumann，“代数闭群的同构问题”，收录于：群论中的单词问题、决策问题和伯恩赛德问题，阿姆斯特丹-朗顿（1973），第553-562页。 [478] P.S.Novikov，“关于群论中单词问题的算法不可解性”，《美国数学》。Soc.翻译。序列号。2,9, 1–122 (1958). ·Zbl 0093.01304号 [479] F.Oger，“Des groupes nilpotents de classe 2 sans torsion de type fini ayant les mámes images finies peuvent ne pas e lélém entairementéequivalents”，C.R.Acad。科学。，Sér。1294年，第1期，1-4期（1982年）·Zbl 0489.20029号 [480] P.Olin，“群的无V乘积的基本性质”，《代数杂志》，47，第1期，105–114页（1977年）·Zbl 0365.02039号 ·doi:10.1016/0021-8693（77）90212-5 [481] C.D.Papakyriakopoulos，“关于Dehn引理和结的非球面性”，《数学年鉴》。，66，第1期，1-26页（1957年）·Zbl 0078.16402号 ·数字对象标识代码：10.2307/1970113 [482] N.Peczynski和W.Reiewer，“关于HNN组中的取消”，数学。Z.，158，第1号，79-86页（1978年）·Zbl 0352.20025号 ·doi:10.1007/BF01214568 [483] J.Perraud，《小简化条件和Dehn算法》，C.R.Acad。科学。，284，第12号，A659-A662（1977年）·Zbl 0359.02045号 [484] J.Perraud，“小型简化条件与自由生产”，C.R.Acad。科学。，284，编号13，A735-A737（1977）·Zbl 0353.20028号 [485] J.Perraud，“Dehn dans un produit libre算法的使用”，C.R.Acad。科学。，284，第21号，A1341-A1344（1977年）·Zbl 0356.20038号 [486] J.Perraud，“小简化条件C”（1/2）et T（4），C'（1/4）et T*（4）dans un produit libre，“C.R.Acad。科学。，AB286，第23号，1095–1098（1978）·Zbl 0388.20029号 [487] J·佩罗（J.Perraud），“群商和自由生产商的问题”，公牛。社会数学。法国，108，第3号，285–331（1980）·Zbl 0449.20047号 ·doi:10.24033/bsmf.1921 [488] J.Perraud，“小简化条件C'（1/6）dans un produit libre amalgamé”，C.R.Acad。科学。，AB291，第4号，A247-A250（1980年）·Zbl 0461.20010号 [489] P.F.Pickel，“具有同构有限商的有限生成幂零群”，Trans。美国数学。《社会》，第160、327–341页（1971年）·Zbl 0235.20027 ·doi:10.1090/S0002-9947-1971-0291287-3 [490] P.F.Pickel，“具有相同有限商的Metabelian群”，公牛。南方的。数学。Soc.，11，No.1，115–120（1974）·Zbl 0279.20025号 ·doi:10.1017/S0004972700043689 [491] P.F.Pickel，“有限生成剩余有限群的一个性质”，Bull。南方的。数学。Soc.，15，No.3，347-350（1976）·Zbl 0354.20024号 ·doi:10.1017/S0004972700022772 [492] A.Pietrowski，“具有非平凡中心的单关系群的同构问题”，数学。Z.，136，第2期，95-106（1974）·Zbl 0264.20029 ·doi:10.1007/BF01214345 [493] B.Poizat，“Sous-groupes définishables d’un groupe stable”，J.Symbol。日志。，46，第1期，137-146（1981年）·Zbl 0476.03038号 ·doi:10.2307/2273265 [494] E.Post，“可递归枚举的正整数集及其决策问题”，Bull。美国数学。Soc.，50，No.5，284–316（1944）·Zbl 0063.06328号 ·doi:10.1090/S002-9904-1944-08111-1 [495] E.Post，“Thue问题的递归不可解性”，J.Symbol。日志。，12, 1–11 (1947). ·兹比尔1263.03030 ·doi:10.2307/2267170 [496] H.Presburger，über die Vollst Al ndigheit eines gewissen Systems der Arithmetik ganzen Zahlen，摘自《welchem die Additionals einige Operation hervortritt》，摘自：《计算机会议》，华沙（1929），第92–101页，第395页。 [497] S.J.Pride，“具有扭转的两生成元单关系群的同构问题是可解的”，Trans。美国数学。《社会学杂志》，第227、109–139页（1977年）·Zbl 0356.20037号 ·doi:10.1090/S0002-9947-1977-0430085-X [498] M.O.Rabin，“群理论问题的递归不可解性”，《数学年鉴》。，67，第1期，172-194（1958年）·Zbl 0079.24802 ·doi:10.2307/1969933 [499] M.O.Rabin，“不可判定性证明的简单方法和一些应用”，摘自：《逻辑与科学方法论和哲学》，阿姆斯特丹（1965年），第58-68页。 [500] J.Reineke，《极小Gruppen》，Z.Math。日志。格兰德。数学。，22，第4期，357–379（1975年）·Zbl 0312.02045号 ·doi:10.1002/malq.19750210145 [501] V.N.Remeslennikov和N.S.Romanovskii，“可解群的算法问题”，收录于：单词问题II，北荷兰语，阿姆斯特丹-纽约-Oxford（1980），第337-346页。 [502] E.Rips，“有限生成群的另一个特征与可解决的单词问题”，Bull。伦敦数学。Soc.，14，No.1，43-44（1982）·Zbl 0481.20021号 ·doi:10.1112/blms/14.143 [503] E.Rips，“小型取消组的子组”，公牛。伦敦数学。Soc.，14，No.1，45-47（1982）·Zbl 0481.20020号 ·doi:10.1112/blms/14.145 [504] A.Robinson，“关于非交换群和域的代数闭性概念”，J.Symbol。日志。，36，第3441-444号（1971年）·Zbl 0231.02065号 ·doi:10.2307/2269952 [505] A.Robinson和E.Zakon，“有序Abelian群的基本性质”，Trans。美国数学。Soc.，96，No.2，222-235（1960）·Zbl 0096.24504号 ·doi:10.1090/S0002-9947-1960-0114855-0 [506] P.Rogers，“各种幂零群中饱和和稳定性的保持”，符号学杂志。日志。，46，第3期，499–512页（1981年）·Zbl 0497.03027号 ·doi:10.2307/2273752 [507] G.Rosenberger，“Zun同构问题für Gruppen mit einer definierenden Relation”，伊利诺伊州数学杂志。，第20卷第4期，第614-621页（1976年）·Zbl 0339.20008号 [508] G.Rosenberger，“弗洛伊恩·格鲁彭的普罗杜克特·冯·波滕岑和科姆穆塔托伦”，《代数杂志》，53，第2期，416–422页（1978年）·Zbl 0384.20023号 ·doi:10.1016/0021-8693（78）90288-0 [509] G.Rosenberger，“尼尔森约化方法在群论组合问题求解中的应用：一项调查”，载于《伦敦数学》。《Soc.课堂讲稿系列》，第36期（1979年），第339-358页·Zbl 0424.20021号 [510] G.Rosenberger，“Gleichungen in Freien Produkten mit Amalgam”，《数学》。Z.，173，第1号，1-11（1980）·Zbl 0418.20035号 ·doi:10.1007/BF01215519 [511] J.Rosenstein，“群的分类”，《代数》，25，第3期，435–467（1973）·Zbl 0256.20003号 ·doi:10.1016/0021-8693（73）90092-6 [512] P.Rothaler，“Total transzendente abelsche Gruppen und Morley-Rang”，报告。阿卡德。威斯。DDR。天顶星。数学。机械。，第5号（1978年）·Zbl 0388.03012号 [513] J.J.Rotman，《群体理论：导论》，Allyn和Bacon，波士顿（1973）·Zbl 0262.20001号 [514] G.Sabbagh，“Cate goricitéet stabilityé：quelques examples parmi les groupes et anneaux”，C.R.Acad。科学。，280，第10号，A603-A606（1975）·Zbl 0327.02045号 [515] G.Sabbagh，“Cate goricitéen et stabilityé：constructions les préserve et conditions de chaine”，C.R.Acad。科学。，280，编号9，A531-A533（1975）·Zbl 0327.02044号 [516] G.S.Sacerdote，“有限呈现群子群的特征”，布尔。美国数学。Soc.，82，No.4，609-611（1976）·Zbl 0377.20028号 ·doi:10.1090/S0002-9904-1976-14131-6 [517] G.S.Sacerdote，“Boone-Higman定理和共轭问题”，《J.代数》，49，第1期，212-221（1977）·兹比尔0401.20030 ·doi:10.1016/0021-8693（77）90281-2 [518] G.S.Sacerdote，“几乎所有群的自由积都有相同的正理论”，《代数杂志》，第27期，第3期，475-485页（1973年）·Zbl 0284.02028号 ·doi:10.1016/0021-8693（73）90058-6 [519] G.S.Sacerdote，“自由群的基本性质”，Trans。美国数学。《社会学杂志》，178127-138（1973）·Zbl 0268.02037号 ·doi:10.1090/S0002-9947-1973-0320146-4 [520] G.S.Sacerdote，“有限呈现群的子群”，Proc。伦敦数学。Soc.，35，No.2 193–212（1977年）·Zbl 0373.20041号 ·doi:10.1112/plms/s3-35.2193 [521] C.M.Sanchez，“二级自由群中的最小单词”，J.Pure Appl。《代数》，17，第3期，333–337（1980）·Zbl 0438.20016 ·doi:10.1016/0022-4049（80）90055-9 [522] H.P.Sankappanavar，“决策问题：历史和方法”，数学。逻辑。程序。首先是巴西。Conf.，1977年，《纽约基础》（1978），第241-91页。 [523] D.Saracino，“圈积与存在完全可解群”，转。美国数学。《社会学杂志》，197，327–339（1974）·Zbl 0311.02065号 ·doi:10.1090/S0002-9947-1974-0342391-5 [524] D.Saracino，“存在完全幂零群”，以色列J.数学。，25，第4期，241-248（1976年）·Zbl 0347.02034号 ·doi:10.1007/BF02757003 [525] D.Saracino，“存在完全无扭幂零群”，J.Symbol。日志。，43，第1期，第126-134页（1978年）·Zbl 0397.03018号 ·doi:10.2307/2271955 [526] D.Saracino和C.Wood，“周期存在闭幂零群”，《代数杂志》，第58期，第1期，189-207页（1979年）·Zbl 0673.03024号 ·doi:10.1016/0021-8693（79）90199-6 [527] D.Saracino和C.Wood，摘要78T-E47，非。美国数学。Soc.，25，A-441（1978年）。 [528] D.Saracino和C.Wood，“周期存在闭幂零群”，《代数》，58，第1期，189–207（1979）·Zbl 0673.03024号 ·doi:10.1016/0021-8693（79）90199-6 [529] H.Schiek，《高等数学学报》。，96，编号3–4，157–252（1956年）·Zbl 0071.25201号 ·doi:10.1007/BF02392362 [530] H.Schubert，“Bestimmung der Primfaktorzerlegung von Verkettungen”，《数学》。Z.，76，No.2，116-148（1961）·Zbl 0097.16302号 ·doi:10.1007/BF01210965 [531] P.E.Schupp，“关于Dehn算法和共轭问题”，《数学》。《年鉴》，178，第2期，119-130（1968）·Zbl 0164.01901号 ·doi:10.1007/BF01350654 [532] P.E.Schupp，“关于自由群的替换问题”，Proc。美国数学。Soc.，23，No.2，421-423（1969）·兹比尔0186.03601 ·doi:10.1090/S0002-9939-1969-0245657-6 [533] P.E.Schupp，“关于组中递归可枚举谓词的注释”，基金会。数学。，66，第1期，61-63页（1969年）·Zbl 0193.31702号 [534] P.E.Schupp，“关于Greendlinger引理”，Commun。纯应用程序。数学。，23，第2期，233-240（1970年）·Zbl 0194.03205号 ·doi:10.1002/cpa.3160230209 [535] P.E.Schupp，“嵌入简单组”，J.London Math。Soc.，13，No.1，90-94（1976）·兹比尔0363.20026 ·doi:10.1112/jlms/s2-1.1.90 [536] W.Scott，“代数闭群”，Proc。美国数学。《社会学杂志》，第2期，第118-121页（1951年）·Zbl 0043.02302号 ·doi:10.1090/S0002-9939-1951-0040299-6 [537] A.Seidenberg，“代数中的构造”，Trans。美国数学。《社会学杂志》，197273–313（1974）·Zbl 0356.13007号 ·doi:10.1090/S0002-9947-1974-0349648-2 [538] S.Shelah和M.Ziegler，“具有大基数的代数闭群”，J.Symbol。日志。，44，第4期，522-532（1979年）·Zbl 0427.03025号 ·doi:10.2307/2273291 [539] R.L.Smith，“profinite群的有效方面”，符号杂志。日志。，46，第4期，851-863（1981年）·Zbl 0519.03036号 ·doi:10.2307/2273233 [540] C.Soulé，SL3（z）同系物，“C。R.学院。科学。，280，第5号，A251-A254（1975）。 [541] C.Soulé，“SL3（z）的上同调”，《拓扑学》，第17卷，第1期，第1-22页（1978年）·Zbl 0382.57026号 ·doi:10.1016/0040-9383（78）90009-5 [542] J.R.Stallings，“关于3流形群表示集的递归性”，基金会。数学。，51，第2期，191-194（1962）·Zbl 0121.40006号 [543] P.F.Stebe，“某些群的剩余性质”，Proc。美国数学。Soc.，26，No.1，37-42（1970）·兹比尔0205.003005 ·doi:10.1090/S0002-9939-1970-0260874-5 [544] P.F.Stebe，“某些自由产物与合并的共轭可分性”，转。美国数学。Soc.，156，May，119-129（1971）·Zbl 0216.08504号 ·网址：10.1090/S0002-9947-1971-0274597-5 [545] P.F.Stebe，“某些Fuchsian群的共轭可分性”，转。美国数学。1972年1月，第163页，第173页至第188页·Zbl 0242.20055号 ·doi:10.1090/S0002-9947-1972-0292949-5 [546] P.F.Stebe，“幂零群中方程的剩余可解性”，Proc。美国数学。《社会》，54，57–58（1976）·Zbl 0334.20014号 ·doi:10.1090/S0002-9939-1976-0387410-2 [547] P.F.Stebe，“幂零群中的巢”，休斯顿数学杂志。，2，第3期，419-426（1976年）·Zbl 0356.20039号 [548] J.Stillwell，经典拓扑和组合群理论，Springer-Verlag，纽约-海德堡-柏林（1980）·Zbl 0453.57001号 [549] J.Stillwell，“组的单词问题和同构问题”，Bull。美国数学。Soc.，6，No.1，33-56（1982）·兹伯利048320018 ·doi:10.1090/S0273-0979-1982-14963-1 [550] S.E.Stonehewer，“无限群中的模子群结构”，Proc。伦敦数学。Soc.，32，No.1，63-100（1976年）·兹伯利0345.20040 ·doi:10.1112/plms/s3-32.1.63 [551] T.Szele，“Ein Analogen der Körpertheories für abelsche Gruppen”，J.Reine Angew。数学。，188, 167–192 (1950). ·Zbl 0054.01003号 [552] W.Szmielew，“Abelian群的基本性质”，基金。数学。，41，第2期，203-271（1955年）·Zbl 0064.00803号 [553] A.Tarski，“群论中的不确定性”，J.Symbol。日志。，14, 76–77 (1949). [554] A.Tarski、A.Mostowski和R.M.Robinson，《不确定理论》，荷兰北部，阿姆斯特丹（1953年）。 [555] R.S.D.Thomas和B.T.Paley，“Garside的辫子结合解决方案的实施”，Util。数学。，6, 321–335 (1974). ·兹比尔0294.55002 [556] R.J.Thompson，“嵌入到保留单词问题的有限生成的简单群中”，收录于：单词问题II，北荷兰语，阿姆斯特丹-纽约-Oxford（1980）·Zbl 0431.20030号 [557] W.Thurston，讲义，普林斯顿数学。普林斯顿大学系（1977年）。 [558] B.Truffault，“Greendlinger集团的实际问题”，C.R.Acad。科学。，267，第1号，A1-A3（1968）·Zbl 0169.03202号 [559] A.M.Turing，“关于可计算N数及其在Entscheidungsproblem中的应用”，Proc。伦敦数学。Soc.，2，No.42，230-265（1936）·Zbl 0016.09701号 [560] A.M.Turing，“带消去的半群中的单词问题”，《数学年鉴》。，52, 491–505 (1950). ·Zbl 0037.30103号 ·doi:10.2307/1969481 [561] M.K.Valiev，“关于递归表示群嵌入有限表示群下单词问题的多项式可约性”，Lect。注释计算。科学。，32, 432–438 (1975). ·Zbl 0323.02055号 ·doi:10.1007/3-540-07389-2-229 [562] M.K.Valiev，“具有21个定义关系的通用群”，《离散数学》。，17，第2期，207–213（1977年）·Zbl 0365.20044号 ·doi:10.1016/0012-365X（77）90153-4 [563] E.R.van Kampen，“关于群论中的一些引理”，《美国数学杂志》。，55, 268–273 (1933). ·Zbl 0006.39204号 ·数字对象标识代码：10.2307/2371129 [564] F.Waldhausen，“足够大的不可约三流形基本群中的单词问题”，《数学年鉴》。，88，第272-280号（1968年）·Zbl 0167.52103号 ·doi:10.2307/1970574 [565] F.Waldhausen，“关于足够大的3流形的最新结果”，Proc。交响乐团。纯数学。，美国数学。《社会学杂志》，32，21–38（1978）·Zbl 0391.57011号 ·doi:10.1090/pspum/032.2/520520 [566] J.W.Wamsley，“计算可溶群”，摘自：数学课堂讲稿，第573卷，Springer-Verlag（1977），第118-125页·Zbl 0358.20031号 [567] B.A.F.Wehrfritz，“不可共轭分离的可溶群的两个例子”，《伦敦数学杂志》。Soc.，7，No.2，312–316（1973）·Zbl 0272.20048号 ·doi:10.1112/jlms/s2-7.2.312 [568] B.A.F.Wehrfritz，“分离自由群表示的共轭”，Proc。美国数学。Soc.，40，No.1，52-56（1973）·Zbl 0266.20025 ·doi:10.1090/S0002-9939-1973-0374269-X [569] B.A.F.Wehrfritz，“不可共轭分离的可溶性基团的另一个例子”，J.London Math。Soc.，第14期，第2期，第380–382页（1976年）·Zbl 0341.20036号 [570] C.M.Weinbaum，“将单词问题可视化，并应用于第六组”，Pac。数学杂志。，16，第3期，557–578（1966年）·Zbl 0146.03302号 ·doi:10.2140/pjm.1966.16.557 [571] C.M.Weinbaum，“任何温顺、质数、交替结的结群的单词和共轭问题”，Proc。美国数学。Soc.，30，No.1，22-26（1971）·Zbl 0228.55004号 ·doi:10.1090/S0002-9939-1971-0279169-X [572] J.H.C.Whitehead，“关于自由群中元素的等价集”，《数学年鉴》。，37, 782–800 (1936). ·Zbl 0015.24804号 ·doi:10.2307/1968618 [573] M.Ziegler，“Gruppen mit vorgeschreibenem Wortproblem”，《数学》。Ann.，219，No.1，43-51（1976）·兹比尔0302.02013 ·doi:10.1007/BF01360857 [574] H.Zieschang，“freien Produkten mit Amalgam中的Nielsensche Kürzungsmethode”，《发明》。数学。，第10卷，第1期，第4-37页（1970年）·兹比尔0185.05203 ·doi:10.1007/BF01402968 [575] H.Zieschang、E.Vogt和H.-D.Coldewey，《Fl ala chen und Ebene Diskontinuierliche Gruppen，Springer-Verlag，Berlin-Heidelberg-New York》（1970年）·Zbl 0204.24002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。