{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:09Z","timestamp":1740108189388,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T00:00:00Z","timestamp":1656115200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T00:00:00Z","timestamp":1656115200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1007\/s00153-022-00833-7","type":"journal-article","created":{"date-parts":[[2022,6,25]],"date-time":"2022-06-25T11:03:48Z","timestamp":1656155028000},"page":"55-65","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Computable scott sentences for quasi\u2013Hopfian finitely presented structures"],"prefix":"10.1007","volume":"62","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8266-362X","authenticated-orcid":false,"given":"Gianluca","family":"Paolini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,6,25]]},"reference":[{"key":"833_CR1","unstructured":"Alvir, R., Knight, J.F., McCoy, C.F.D.: Complexity of Scott Sentences. Preprint"},{"key":"833_CR2","series-title":"Graduate Texts in Mathematics","volume-title":"Combinatorics of Coxeter Groups.","author":"Andreas Bjorner","year":"2005","unstructured":"Bjorner, Andreas, Brenti, Francesco: Combinatorics of Coxeter Groups. Graduate Texts in Mathematics, Springer-Verlag, New York (2005)"},{"key":"833_CR3","unstructured":"Calvert, W., Harizanov, V.S., Knight, J.F., Miller, S.: Index Sets of Computable Models. Algebra Logika 45(05), 538-574, 631-632, (2006)"},{"key":"833_CR4","doi-asserted-by":"publisher","first-page":"5715","DOI":"10.1090\/S0002-9947-2012-05456-0","volume":"364","author":"J Carson","year":"2012","unstructured":"Carson, J., Harizanov, V., Knight, J.F., Lange, K., McCoy, C., Morozov, A., Quinn, S., Safranski, C., Wallbaum, J.: Describing Free Groups. Trans. of the Amer. Math. Soc. 364, 5715\u20135728 (2012)","journal-title":"Trans. of the Amer. Math. Soc."},{"key":"833_CR5","series-title":"London Mathematical Society Monographs Series","volume-title":"The Geometry and Topology of Coxeter Groups","author":"MM Davis","year":"2008","unstructured":"Davis, M.M.: The Geometry and Topology of Coxeter Groups. London Mathematical Society Monographs Series, Princeton University Press, Princeton, NJ (2008)"},{"key":"833_CR6","unstructured":"Elman,Richard: Lectures on Abstract Algebra. Preliminary version, available on the web"},{"key":"833_CR7","unstructured":"Green, E.R.: Graph Products. PhD thesis, University of Warwick, (1991)"},{"key":"833_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.4171\/GGD\/153","volume":"06","author":"M Gutierrez","year":"2012","unstructured":"Gutierrez, M., Piggott, A., Ruane, K.: On the Automorphisms of a Graph Product of Abelian Groups. Groups Geom. Dyn. 06, 125\u2013153 (2012)","journal-title":"Groups Geom. Dyn."},{"key":"833_CR9","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1090\/S0002-9947-1943-0008892-4","volume":"54","author":"M Hall","year":"1943","unstructured":"Hall, M.: Projective Planes. Trans. Amer. Math. Soc. 54, 229\u2013277 (1943)","journal-title":"Trans. Amer. Math. Soc."},{"key":"833_CR10","unstructured":"Harrison-Trainor, M.: Describing Finitely Presented Algebraic Structures. To appear, available on the ArXiv"},{"key":"833_CR11","doi-asserted-by":"publisher","first-page":"2223","DOI":"10.1090\/proc\/13458","volume":"145","author":"Meng-Che Ho","year":"2017","unstructured":"Ho, Meng-Che.: Describing Groups. Proc. Amer. Math. Soc 145, 2223\u20132239 (2017)","journal-title":"Proc. Amer. Math. Soc"},{"issue":"10","key":"833_CR12","doi-asserted-by":"publisher","first-page":"4473","DOI":"10.1090\/proc\/14063","volume":"146","author":"Meng-Che Ho","year":"2018","unstructured":"Ho, Meng-Che., Harrison-Trainor, M.: On Optimal Scott Sentences of Finitely Generated Algebraic Structures. Proc. Amer. Math. Soc. 146(10), 4473\u20134485 (2018)","journal-title":"Proc. Amer. Math. Soc."},{"key":"833_CR13","doi-asserted-by":"crossref","unstructured":"Hodges,W.: Model Theory. Cambridge University Press, (1993)","DOI":"10.1017\/CBO9780511551574"},{"key":"833_CR14","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1112\/plms.12090","volume":"116","author":"RB Howlett","year":"2018","unstructured":"Howlett, R.B., M\u00fchlherr, B., Nuida, K.: Intrinsic Reflections and Strongly Rigid Coxeter Groups. Proc. London Math. Soc. (3) 116, 534\u2013574 (2018)","journal-title":"Proc. London Math. Soc. (3)"},{"key":"833_CR15","series-title":"Cambridge Studies in Advanced Mathematics","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511623646","volume-title":"Reflection Groups and Coxeter Groups","author":"James E Humphreys","year":"1990","unstructured":"Humphreys, James E.: Reflection Groups and Coxeter Groups. Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge (1990)"},{"key":"833_CR16","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01111307","volume":"125","author":"ML Johnson","year":"1972","unstructured":"Johnson, M.L.: Homomorphisms of Free Planes. Math. Z. 125, 255\u2013263 (1972)","journal-title":"Math. Z."},{"issue":"03\u201304","key":"833_CR17","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/s00153-017-0578-z","volume":"57","author":"JF Knight","year":"2018","unstructured":"Knight, J.F., Saraph, V.: Scott Sentences for Certain Groups. Arch. Math. Logic 57(03\u201304), 453\u2013472 (2018)","journal-title":"Arch. Math. Logic"},{"issue":"2","key":"833_CR18","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1134\/S0037446618020131","volume":"59","author":"NT Kobaev","year":"2018","unstructured":"Kobaev, N.T.: Complexity of the Isomorphism Problem for Computable Free Projective Planes of Finite Rank. Sib. Math. J. 59(2), 295\u2013308 (2018)","journal-title":"Sib. Math. J."},{"key":"833_CR19","unstructured":"Laurence, M.R.: Automorphisms of Graph Products of Groups. Ph.D Thesis, QMW College, University of London, (1992)"},{"key":"833_CR20","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1112\/jlms\/52.2.318","volume":"52","author":"MR Laurence","year":"1995","unstructured":"Laurence, M.R.: A Generating Set for the Automorphism Group of a Graph Group. J. London Math. Soc. (2) 52, 318\u2013334 (1995)","journal-title":"J. London Math. Soc. (2)"},{"issue":"I","key":"833_CR21","first-page":"61","volume":"22","author":"AA Nikitin","year":"1983","unstructured":"Nikitin, A.A.: On Freely Generated Projective Planes. Algebra Logika 22(I), 61\u201378 (1983)","journal-title":"Algebra Logika"},{"key":"833_CR22","first-page":"341","volume":"95","author":"MO Rabin","year":"1960","unstructured":"Rabin, M.O.: Computable Algebra, General Theory, and Theory of Computable Fields. Trans. Amer. Math. Soc. 95, 341\u2013360 (1960)","journal-title":"Trans. Amer. Math. Soc."},{"key":"833_CR23","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1090\/S0002-9947-1963-0145403-X","volume":"107","author":"R Sandler","year":"1963","unstructured":"Sandler, R.: The Collineation Groups of Free Planes. Trans. Amer. Math. Soc. 107, 129\u2013139 (1963)","journal-title":"Trans. Amer. Math. Soc."},{"key":"833_CR24","first-page":"181","volume":"16","author":"R Sandler","year":"1965","unstructured":"Sandler, R.: The Collineation Groups of Free Planes II: A Presentation for the Group $$G_2$$. Proc. Amer. Math. Soc. 16, 181\u2013186 (1965)","journal-title":"Proc. Amer. Math. Soc."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00833-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-022-00833-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00833-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T13:03:37Z","timestamp":1674047017000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-022-00833-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,25]]},"references-count":24,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["833"],"URL":"https:\/\/doi.org\/10.1007\/s00153-022-00833-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2022,6,25]]},"assertion":[{"value":"13 September 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 June 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}