A.G.米亚斯尼科夫。;新南威尔士州罗曼诺夫斯基。 可分割的刚性组。二： 稳定性、饱和度和基本子模型。 （英语。俄文原件） Zbl 1485.03126号 代数逻辑 57，第1号，29-38（2018）; 《代数逻辑》57，第1期，第43-56页（2018年）的译文。 摘要：如果一个群包含一个正规级数（G=G_1>G_2>dots>G_m>G_{m+1}=1），则称其为刚性群，其商（G_i/G_{i+1}）是阿贝尔的，并且被视为右模（mathbb{Z}[G/G_i]\）是无扭转的。如果商（G_i/G_{i+1}）的元素可以被环（mathbb{Z}[G/G_i]\）的非零元素整除，则刚性群（G\）是可整除的。每个刚性组都嵌入一个可分的组中。此前，有人表示{T} _米\)可分（m）-刚性群是完备的。这里证明了该理论是（ω）稳定的。此外，我们描述了饱和模型，研究了任意模型的初等子模型，并在所有有限生成的m-刚性群的Fraíssé系统中找到了极限群形式的可数饱和模型的表示。此外，还证明了理论{T} _米\)允许将量词消去归结为\（\ for all \ exists \）-公式的布尔组合。第一部分见[第二作者，代数逻辑56，No.5，395-408（2017；兹比尔1403.20050); 翻译自代数罗技56，第593–612号（2017）]。 引用于1审查引用于8文件 MSC公司： 03C60型 模型理论代数 2014年1月20日 派生级数、中心级数和群的推广 03C45号机组 分类理论、稳定性和模型理论中的相关概念 03C10号机组 量词消除、模型完整性和相关主题 03元50分 具有特殊属性（饱和、刚性等）的模型 20层22 由子组链定义的其他组类 关键词：可分刚性群;理论;模型;稳定性;饱和;\（全部存在）-公式 引文：Zbl 1403.20050号 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Myasnikov}和\textit{N.S.Romanovskii}，《代数逻辑》57，第1期，第29--38页（2018；Zbl 1485.03126）；《代数逻辑》57，第1期，第43-56页的译文（2018） 全文： DOI程序 参考文献： [1] Romanovskii，NS，可分刚性群。代数封闭性与初等理论，代数与逻辑，56，395-408，（2017）·Zbl 1403.20050号 ·doi:10.1007/s10469-017-9461-6 [2] 米亚斯尼科夫，A；罗曼诺夫斯基，N，可解群的Krull维数，J.Alg。，324, 2814-2831, (2010) ·Zbl 1234.20052号 ·doi:10.1016/j.jalgebra.2010.07.013 [3] 罗曼诺夫斯基，NS，可分刚性群，代数与逻辑，47426-434，（2008）·Zbl 1245.20035号 ·doi:10.1007/s10469-008-9030-0 [4] 米亚斯尼科夫，A；罗曼诺夫斯基，N，《刚性可溶群的普遍理论》，代数与逻辑，50539-552，（2011）·Zbl 1263.20034号 ·doi:10.1007/s10469-012-9164-y [5] 于。L.Ershov和E.A.Palyutin，数学逻辑[俄语]，第6版。，Fizmatlit，莫斯科（2011年）。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。