亚历山大·伊万诺夫 \（S（\omega）\）和可计算性的Sofic配置文件。 （英语） Zbl 07334542号 架构（architecture）。数学。逻辑 60，编号3-4，477-494（2021）. 摘要：我们证明了对于每个sofic块（E\）都存在一个双射同态（f:E_c\rightarrow E\），其中（E_c\）是\（mathbb{N}\）的可计算置换组中的一个块，因此可以将\（E\。利用这一点，我们研究了与sofic块及其轮廓相关的一些有效性条件。 引用于1文件 MSC公司： 03D45号 计算理论，有效呈现结构 2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系（群体理论方面） 20B35码 对称群的子群 关键词：索菲克集团;排列群;可计算排列 PDF格式BibTeX公司 XML格式引用 \textit{A.Ivanov}，拱门。数学。逻辑60，编号3--4，477--494（2021；Zbl 07334542） 全文： 内政部 arXiv公司 参考文献： [1] Arzhantseva，G.，Cherix，P-A.：离散群的量化度量近似。arXiv:2008.12954年·Zbl 1069.05038号 [2] Capraro，V.，Lupini，M.：索菲克群、超线性群和康纳斯嵌入猜想简介。弗拉基米尔·佩斯托夫（Vladimir Pestov）的附录。数学课堂讲稿，2136。施普林格，商会（2015）·Zbl 1383.20002号 [3] Cavaleri，M.：顺从群体和非顺从群体中的算法和量化。萨皮恩扎罗马大学博士论文（2016） [4] Cavaleri，M.，Folner集的可计算性，国际代数计算杂志。，27, 819-830 (2017) ·Zbl 1483.20060号 ·doi:10.1142/S0218196717500382 [5] Cavaleri，M.，Folner函数和有限生成顺从群的泛函问题，J.代数，511388-404（2018）·Zbl 1427.20037号 ·doi:10.1016/j.jalgebra.2018.06.017 [6] de Cornulier，Y.，《克雷莫纳群的索菲克轮廓和可计算性》，密歇根州数学。J.，62，823-841（2013）·Zbl 1300.14015号 ·doi:10.1307/mmj/1387226167 [7] 埃里克·G。；Szabo，E.，超线性，本质上是自由作用和（L^2）-不变量。sofic属性，数学。《年鉴》，332421-441（2005）·Zbl 1070.43002号 ·doi:10.1007/s00208-005-0640-8 [8] Ershov，Y.L.：决策问题和可构造模型。瑙卡，莫斯科（俄罗斯）（1980年）·Zbl 0495.03009号 [9] Hołubowski，W.，《群和代数增长的新度量》，《代数i Analiz》，19，69-91（2007）·Zbl 1204.16018号 [10] 库萨诺夫，B。；Miasnikov，AG，Finitely提出了群、半群和代数的展开式，Trans。美国数学。《社会学杂志》，3661455-1474（2014）·Zbl 1349.03045号 ·doi:10.1090/S0002-9947-2013-05898-9 [11] Lyndon，R.C.，Schupp，P.E.：组合群理论。1977年版的再版。数学经典。施普林格，柏林（2001）·Zbl 0997.20037号 [12] 莫罗佐夫，A.S.：重新审视希格曼问题中的翻译。代数日志。39:78-83（2000年）·Zbl 0956.20025号 [13] Nies，A。；Sorbi，A.，通过等价关系的复杂性校准组的单词问题，数学。结构。计算。科学。，28, 457-471 (2018) ·doi:10.1017/S0960129516000335 [14] Odifreddi，P.G.：经典递归理论。自然数的函数和集合理论。带有G.E.Sacks的前言。《逻辑与数学基础研究》，第125页，北荷兰出版公司，阿姆斯特丹（1989）·Zbl 0661.03029号 [15] 佩斯托夫，V.，《超线性和索菲克群：简要指南》，公牛。符号。日志。，14, 449-480 (2008) ·Zbl 1206.20048号 ·doi:10.2178/bsl/1231081461 [16] Soare，RI，Turing computability（2016），柏林：理论与应用。柏林斯普林格-Verlag·Zbl 1350.03001号 ·doi:10.1007/978-3642-31933-4 [17] Thomas，S.，《关于通用沙发群的数量》，Proc。美国数学。《社会》，1382585-2590（2010）·Zbl 1196.03067号 ·doi:10.1090/S0002-9939-10-10280-9 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。