{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:05Z","timestamp":1740108185512,"version":"3.37.3"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2021,5]]},"DOI":"10.1007\/s00153-020-00757-0","type":"journal-article","created":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T12:02:43Z","timestamp":1609502563000},"page":"477-494","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Sofic profiles of $$S(\\omega )$$ and computability"],"prefix":"10.1007","volume":"60","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5720-2864","authenticated-orcid":false,"given":"Aleksander","family":"Ivanov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,1]]},"reference":[{"key":"757_CR1","unstructured":"Arzhantseva, G., Cherix, P-A.: Quantifying metric approximations of discrete groups. arXiv:2008.12954"},{"key":"757_CR2","doi-asserted-by":"crossref","unstructured":"Capraro, V., Lupini, M.: Introduction to Sofic and Hyperlinear Groups and Connes\u2019 Embedding Conjecture. With an Appendix by Vladimir Pestov. Lecture Notes in Mathematics, 2136. Springer, Cham (2015)","DOI":"10.1007\/978-3-319-19333-5"},{"key":"757_CR3","unstructured":"Cavaleri, M.: Algorithms and quantifications in amenable and sofic groups. Ph.d., thesis, Sapienza Universita di Roma (2016)"},{"key":"757_CR4","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1142\/S0218196717500382","volume":"27","author":"M Cavaleri","year":"2017","unstructured":"Cavaleri, M.: Computability of Folner sets. Int. J. Algebra Comput. 27, 819\u2013830 (2017)","journal-title":"Int. J. Algebra Comput."},{"key":"757_CR5","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1016\/j.jalgebra.2018.06.017","volume":"511","author":"M Cavaleri","year":"2018","unstructured":"Cavaleri, M.: Folner functions and the generic word problem for finitely generated amenable groups. J. Algebra 511, 388\u2013404 (2018)","journal-title":"J. Algebra"},{"key":"757_CR6","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1307\/mmj\/1387226167","volume":"62","author":"Y de Cornulier","year":"2013","unstructured":"de Cornulier, Y.: Sofic profiles and computability of Cremona groups. Mich. Math. J. 62, 823\u2013841 (2013)","journal-title":"Mich. Math. J."},{"key":"757_CR7","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s00208-005-0640-8","volume":"332","author":"G Elek","year":"2005","unstructured":"Elek, G., Szabo, E.: Hyperlinearity, essentially free actions and $$L^2$$-invariants. The sofic property. Math. Ann. 332, 421\u2013441 (2005)","journal-title":"Math. Ann."},{"key":"757_CR8","unstructured":"Ershov, Y.L.: Decision Problems and Constructivizable Models. Nauka, Moscow (Russian) (1980)"},{"key":"757_CR9","first-page":"69","volume":"19","author":"W Ho\u0142ubowski","year":"2007","unstructured":"Ho\u0142ubowski, W.: A new measure of growth for groups and algebras. Algebra i Analiz 19, 69\u201391 (2007). (Russian)","journal-title":"Algebra i Analiz"},{"key":"757_CR10","doi-asserted-by":"publisher","first-page":"1455","DOI":"10.1090\/S0002-9947-2013-05898-9","volume":"366","author":"B Khoussainov","year":"2014","unstructured":"Khoussainov, B., Miasnikov, A.G.: Finitely presented expansions of groups, semigroups, and algebras. Trans. Am. Math. Soc. 366, 1455\u20131474 (2014)","journal-title":"Trans. Am. Math. Soc."},{"key":"757_CR11","doi-asserted-by":"crossref","unstructured":"Lyndon, R.C., Schupp, P.E.: Combinatorial Group Theory. Reprint of the 1977 edition. Classics in Mathematics. Springer, Berlin (2001)","DOI":"10.1007\/978-3-642-61896-3"},{"key":"757_CR12","doi-asserted-by":"crossref","unstructured":"Morozov, A.S.: Translation in Higman\u2019s question revisited. Algebra Log. 39:78\u201383 (2000)","DOI":"10.1007\/BF02681662"},{"key":"757_CR13","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1017\/S0960129516000335","volume":"28","author":"A Nies","year":"2018","unstructured":"Nies, A., Sorbi, A.: Calibrating word problems of groups via the complexity of equivalence relations. Math. Struct. Comput. Sci. 28, 457\u2013471 (2018)","journal-title":"Math. Struct. Comput. Sci."},{"key":"757_CR14","unstructured":"Odifreddi, P.G.: Classical recursion Theory. The theory of functions and sets of natural numbers. With a foreword by G.E. Sacks. Studies in Logic and the Foundations of Mathematics, 125, North-Holland Publishing Co., Amsterdam (1989)"},{"key":"757_CR15","doi-asserted-by":"publisher","first-page":"449","DOI":"10.2178\/bsl\/1231081461","volume":"14","author":"V Pestov","year":"2008","unstructured":"Pestov, V.: Hyperlinear and sofic groups: a brief guide. Bull. Symb. Log. 14, 449\u2013480 (2008)","journal-title":"Bull. Symb. Log."},{"key":"757_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31933-4","volume-title":"Turing computability","author":"RI Soare","year":"2016","unstructured":"Soare, R.I.: Turing computability. Theory and applications. Springer-Verlag, Berlin (2016)"},{"key":"757_CR17","doi-asserted-by":"publisher","first-page":"2585","DOI":"10.1090\/S0002-9939-10-10280-9","volume":"138","author":"S Thomas","year":"2010","unstructured":"Thomas, S.: On the number of universal sofic groups. Proc. Am. Math. Soc. 138, 2585\u20132590 (2010)","journal-title":"Proc. Am. Math. Soc."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00757-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-020-00757-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00757-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,5]],"date-time":"2021-04-05T15:03:35Z","timestamp":1617635015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-020-00757-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,1]]},"references-count":17,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2021,5]]}},"alternative-id":["757"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00757-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2021,1,1]]},"assertion":[{"value":"19 February 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 November 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 January 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Data sharing not applicable to this article as no datasets were generated or analysed during the current study.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Availability of data and materials"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Code availability"}}]}}