{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:08Z","timestamp":1740108188826,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2022,3,3]],"date-time":"2022-03-03T00:00:00Z","timestamp":1646265600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,3,3]],"date-time":"2022-03-03T00:00:00Z","timestamp":1646265600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["UMO-2018\/30\/M\/ST1\/00668"],"award-info":[{"award-number":["UMO-2018\/30\/M\/ST1\/00668"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2022,11]]},"DOI":"10.1007\/s00153-022-00819-5","type":"journal-article","created":{"date-parts":[[2022,3,3]],"date-time":"2022-03-03T17:18:43Z","timestamp":1646327923000},"page":"891-902","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On decidability of amenability in computable groups"],"prefix":"10.1007","volume":"61","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2115-9702","authenticated-orcid":false,"given":"Karol","family":"Duda","sequence":"first","affiliation":[]},{"given":"Aleksander","family":"Ivanov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,3,3]]},"reference":[{"issue":"3","key":"819_CR1","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1070\/IM1983v021n03ABEH001799","volume":"21","author":"S Adyan","year":"1983","unstructured":"Adyan, S.: Random walks on free periodic groups. Math. USSR Izv. 21(3), 425\u2013434 (1983)","journal-title":"Math. USSR Izv."},{"key":"819_CR2","doi-asserted-by":"crossref","unstructured":"Ash, C.J.: Isomorphic recursive structures. In: Ershov, Y.L., Goncharov, S.S., Nerode, A., Remmel, J.B., Marek, V.W. (eds.) Handbook of Recursive Mathematics, vol. 1, pp. 167\u2013181. Studies in Logic and the Foundations of Mathematics, 138. North-Holland, Amsterdam (1998)","DOI":"10.1016\/S0049-237X(98)80004-9"},{"key":"819_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0168-0072(96)00026-7","volume":"87","author":"CJ Ash","year":"1997","unstructured":"Ash, C.J., Knight, J.F.: Possible degrees in recursive copies. II. Ann. Pure Appl. Log. 87, 151\u2013165 (1997)","journal-title":"Ann. Pure Appl. Log."},{"key":"819_CR4","unstructured":"Ash C.J., Nerode, A.: Intrinsically recursive relations. In: Crossley, J.N. (ed.) Aspects of Effective Algebra (Clayton, 1979), pp. 26\u201341. Upside Down A Book Co., Yarra Glen (1981)"},{"key":"819_CR5","doi-asserted-by":"publisher","first-page":"191","DOI":"10.7146\/math.scand.a-10572","volume":"7","author":"G Baumslag","year":"1959","unstructured":"Baumslag, G., Boon, W.W., Neumann, B.H.: Some unsolvable problems about elements and subgroups of groups. Math. Scand. 7, 191\u2013201 (1959)","journal-title":"Math. Scand."},{"key":"819_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542749","volume-title":"Kazhdan\u2019s Property (T), New Mathematical Monographs, 11","author":"B Bekka","year":"2008","unstructured":"Bekka, B., de la Harpe, P., Valette, A.: Kazhdan\u2019s Property (T), New Mathematical Monographs, 11. Cambridge University Press, Cambridge (2008)"},{"key":"819_CR7","unstructured":"Bogopolski, O., Ivanov, A.: Notes about decidability of exponential equations. arXiv:2105.06842"},{"key":"819_CR8","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1142\/S0218196717500382","volume":"27","author":"M Cavaleri","year":"2017","unstructured":"Cavaleri, M.: Computability of F\u00f8lner sets. Int. J. Algebra Comput. 27, 819\u2013830 (2017)","journal-title":"Int. J. Algebra Comput."},{"key":"819_CR9","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.: F\u00f8lner functions and the generic word problem for finitely generated amenable groups. J. Algebra 511, 388\u2013404 (2018)","journal-title":"J. Algebra"},{"key":"819_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14034-1","volume-title":"Cellular Automata and Groups. Springer Monographs in Mathematics","author":"T Ceccherini-Silberstein","year":"2010","unstructured":"Ceccherini-Silberstein, T., Coornaert, M.: Cellular Automata and Groups. Springer Monographs in Mathematics. Springer, Berlin (2010)"},{"key":"819_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02773526","volume":"146","author":"Ch Champetier","year":"2005","unstructured":"Champetier, Ch., Guirardel, V.: Limit groups as limits of free groups: compactifying the set of free groups. Isr. J. Math. 146, 1\u201375 (2005)","journal-title":"Isr. J. Math."},{"key":"819_CR12","series-title":"Progress in Mathematics 197","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8237-8","volume-title":"Groups with the Haagerup Property","author":"P-A Cherix","year":"2001","unstructured":"Cherix, P.-A., Cowling, M., Jolissaint, P., Julg, P., Valette, A.: Groups with the Haagerup Property. Progress in Mathematics 197, Birkh\u00e4user, Basel (2001)"},{"key":"819_CR13","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1112\/plms\/s3-17.3.419","volume":"17","author":"CRJ Clapham","year":"1967","unstructured":"Clapham, C.R.J.: An embedding theorem for finitely generated groups. Proc. Lond. Math. Soc. 17, 419\u2013430 (1967)","journal-title":"Proc. Lond. Math. Soc."},{"key":"819_CR14","doi-asserted-by":"publisher","first-page":"4923","DOI":"10.1080\/00927872.2014.955579","volume":"43","author":"A Darbinyan","year":"2015","unstructured":"Darbinyan, A.: Group embeddings with algorithmic properties. Commun. Algebra 43, 4923\u20134935 (2015)","journal-title":"Commun. Algebra"},{"key":"819_CR15","doi-asserted-by":"publisher","first-page":"1588","DOI":"10.1017\/jsl.2020.34","volume":"85","author":"A Darbinyan","year":"2020","unstructured":"Darbinyan, A.: Computability, orders, and solvable groups. J. Symb. Log. 85, 1588\u20131598 (2020)","journal-title":"J. Symb. Log."},{"key":"819_CR16","unstructured":"Duda, K.: Amenability and computability. arXiv:1904.02640"},{"key":"819_CR17","first-page":"299","volume":"47","author":"SV Ivanov","year":"2003","unstructured":"Ivanov, S.V.: On subgroups of free Burnside groups of large odd exponent. Ill. J. Math. 47, 299\u2013304 (2003)","journal-title":"Ill. J. Math."},{"key":"819_CR18","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1090\/S0002-9947-01-02840-9","volume":"354","author":"I Kapovich","year":"2001","unstructured":"Kapovich, I.: Subgroup properties of fully residually free groups. Trans. Am. Math. Soc. 354, 335\u2013362 (2001)","journal-title":"Trans. Am. Math. Soc."},{"key":"819_CR19","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/j.jalgebra.2006.03.033","volume":"302","author":"O Kharlampovich","year":"2006","unstructured":"Kharlampovich, O., Myasnikov, A.: Elementary theory of free non-abelian groups. J. Algebra 302, 451\u2013552 (2006)","journal-title":"J. Algebra"},{"key":"819_CR20","volume-title":"Combinatorial Group Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete 89","author":"RC Lyndon","year":"1977","unstructured":"Lyndon, R.C., Schupp, P.E.: Combinatorial Group Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete 89. Springer, Berlin (1977)"},{"key":"819_CR21","first-page":"1","volume-title":"Algorithms and Classification in Combinatorial Group Theory","author":"CF Miller III","year":"1992","unstructured":"Miller, C.F., III.: Decision problems for groups\u2014survey and reflections. In: Baumslag, G., et al. (eds.) Algorithms and Classification in Combinatorial Group Theory, pp. 1\u201359. Springer, New York (1992)"},{"key":"819_CR22","doi-asserted-by":"publisher","first-page":"1269","DOI":"10.1007\/s00224-017-9822-5","volume":"62","author":"N Moriakov","year":"2018","unstructured":"Moriakov, N.: On effective Birkhoff\u2019s ergodic theorem for computable actions of amenable groups. Theory Comput. Syst. 62, 1269\u20131287 (2018)","journal-title":"Theory Comput. Syst."},{"key":"819_CR23","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0021-8693(02)00665-8","volume":"263","author":"A Nies","year":"2003","unstructured":"Nies, A.: Aspects of free groups. J. Algebra 263, 119\u2013125 (2003)","journal-title":"J. Algebra"},{"key":"819_CR24","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":"819_CR25","doi-asserted-by":"crossref","unstructured":"Olshanskii, A.Yu., Sapir, M.V.: The conjugacy problem and Higman embeddings. Memoirs of the AMS 170, no. 804 (2004)","DOI":"10.1090\/memo\/0804"},{"key":"819_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S0218196705002670","volume":"15","author":"AY Olshanskii","year":"2005","unstructured":"Olshanskii, A.Y., Sapir, M.V.: Subgroups of finitely presented groups with solvable conjugacy problem. Int. J. Algebra Comput. 15, 1\u201310 (2005)","journal-title":"Int. J. Algebra Comput."},{"key":"819_CR27","unstructured":"Olshanskii, A.Yu., Sapir, M.V.: Algorithmic problems in groups with quadratic Dehn function. arXiv:2012.10417"},{"key":"819_CR28","volume-title":"Turing Computability, Theory and Applications","author":"RI Soare","year":"2016","unstructured":"Soare, R.I.: Turing Computability, Theory and Applications. Springer, Berlin (2016)"},{"key":"819_CR29","volume-title":"The Banach\u2013Tarski Paradox (Encyclopedia of Mathematics and Its Applications)","author":"G Tomkowicz","year":"2019","unstructured":"Tomkowicz, G., Wagon, S.: The Banach\u2013Tarski Paradox (Encyclopedia of Mathematics and Its Applications), 2nd edn. Cambridge University Press, Cambridge (2019)","edition":"2"},{"key":"819_CR30","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10240-001-8188-y","volume":"93","author":"Z Sela","year":"2001","unstructured":"Sela, Z.: Diophantine geometry over groups I: Makanin\u2013Razborov diagrams. Publ. Math. l\u2019IHES 93, 31\u2013105 (2001)","journal-title":"Publ. Math. l\u2019IHES"},{"key":"819_CR31","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1070\/IM1991v036n01ABEH001946","volume":"36","author":"E Zelmanov","year":"1991","unstructured":"Zelmanov, E.: Solution of the restricted Burnside problem for groups of odd exponent. Math. USSR Izv. 36, 41\u201360 (1991)","journal-title":"Math. USSR Izv."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00819-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-022-00819-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00819-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,11]],"date-time":"2022-10-11T21:03:37Z","timestamp":1665522217000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-022-00819-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,3]]},"references-count":31,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2022,11]]}},"alternative-id":["819"],"URL":"https:\/\/doi.org\/10.1007\/s00153-022-00819-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2022,3,3]]},"assertion":[{"value":"11 August 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 January 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 March 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}