{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T20:06:09Z","timestamp":1773259569912,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T00:00:00Z","timestamp":1566000000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T00:00:00Z","timestamp":1566000000000},"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":[[2020,5]]},"DOI":"10.1007\/s00153-019-00690-x","type":"journal-article","created":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T10:02:41Z","timestamp":1566036161000},"page":"293-312","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Detecting properties from descriptions of groups"],"prefix":"10.1007","volume":"59","author":[{"given":"Iva","family":"Bilanovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5754-6563","authenticated-orcid":false,"given":"Jennifer","family":"Chubb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Roven","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,17]]},"reference":[{"key":"690_CR1","first-page":"231","volume":"6","author":"SI Adian","year":"1957","unstructured":"Adian, S.I.: The unsolvability of certain algorithmic problems in the theory of groups. Trudy Moskov. Mat. Obsc. 6, 231\u2013298 (1957)","journal-title":"Trudy Moskov. Mat. Obsc."},{"key":"690_CR2","first-page":"9","volume":"117","author":"SI Adian","year":"1957","unstructured":"Adian, S.I.: Finitely presented groups and algorithms. Dokl. Akad. Nauk SSSR 117, 9\u201312 (1957)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"690_CR3","volume-title":"Computable Structures and the Hyperarithmetical Hierarchy","author":"C Ash","year":"2000","unstructured":"Ash, C., Knight, J.F.: Computable Structures and the Hyperarithmetical Hierarchy. Elsevier, Amsterdam (2000)"},{"key":"690_CR4","doi-asserted-by":"publisher","first-page":"185","DOI":"10.7146\/math.scand.a-10808","volume":"19","author":"WW Boone","year":"1966","unstructured":"Boone, W.W., Rogers Jr., H.: On a problem of J.H.C. Whitehead and a problem of Alonzo Church. Math. Scand. 19, 185\u2013192 (1966)","journal-title":"Math. Scand."},{"key":"690_CR5","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/s10469-006-0029-0","volume":"45","author":"W Calvert","year":"2006","unstructured":"Calvert, W., Harizanov, V.S., Knight, J.F., Miller, S.: Index sets of computable structures. Algebra Logic 45, 306\u2013325 (2006)","journal-title":"Algebra Logic"},{"key":"690_CR6","doi-asserted-by":"publisher","first-page":"5715","DOI":"10.1090\/S0002-9947-2012-05456-0","volume":"365","author":"J Carson","year":"2012","unstructured":"Carson, J., Harizanov, V., Knight, J., Lange, K., McCoy, C., Morozov, A., Quinn, S., Safranski, C., Wallbaum, J.: Describing free groups. Trans. Am. Math. Soc. 365, 5715\u20135728 (2012)","journal-title":"Trans. Am. Math. Soc."},{"key":"690_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF01220872","volume":"21","author":"DJ Collins","year":"1970","unstructured":"Collins, D.J.: On recognising properties of groups which have solvable word problem. Arch. Math. 21, 31\u201339 (1970)","journal-title":"Arch. Math."},{"key":"690_CR8","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/BF01456932","volume":"71","author":"M Dehn","year":"1911","unstructured":"Dehn, M.: \u00dcber unendliche diskontinuierliche Gruppen. Math. Ann. 71, 116\u2013144 (1911)","journal-title":"Math. Ann."},{"key":"690_CR9","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/BF01456725","volume":"72","author":"M Dehn","year":"1912","unstructured":"Dehn, M.: Transformation der Kurven auf zweiseitigen Fl\u00e4chen. Math. Ann. 72, 413\u2013421 (1912)","journal-title":"Math. Ann."},{"key":"690_CR10","doi-asserted-by":"publisher","first-page":"167","DOI":"10.4064\/fm-46-2-167-174","volume":"46","author":"L Fuchs","year":"1958","unstructured":"Fuchs, L.: Note on ordered groups and rings. Fund. Math. 46, 167\u2013174 (1958)","journal-title":"Fund. Math."},{"key":"690_CR11","volume-title":"Partially Ordered Algebraic Systems","author":"L Fuchs","year":"1963","unstructured":"Fuchs, L.: Partially Ordered Algebraic Systems. Pergamon Press, London (1963)"},{"key":"690_CR12","series-title":"Siberian School of Algebra and Logic","volume-title":"Right-Ordered Groups","author":"VM Kopytov","year":"1996","unstructured":"Kopytov, V.M., Medvedev, N.Ya.: Right-Ordered Groups. Siberian School of Algebra and Logic. Consultants Bureau, New York (1996)"},{"key":"690_CR13","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1017\/S0004972700031014","volume":"56","author":"S Lempp","year":"1997","unstructured":"Lempp, S.: The computation complexity of torsion-freeness of finitely presented groups. Bull. Austr. Math. Soc. 56, 273\u2013277 (1997)","journal-title":"Bull. Austr. Math. Soc."},{"key":"690_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01234319","volume":"37","author":"J Lockhart","year":"1981","unstructured":"Lockhart, J.: Decision problems in classes of group presentations with uniformly solvable word problem. Arch. Math. 37, 1\u20136 (1981)","journal-title":"Arch. Math."},{"key":"690_CR15","first-page":"21","volume":"2","author":"J \u0141o\u015b","year":"1954","unstructured":"\u0141o\u015b, J.: On the existence of linear order in a group. Bull. Acad. Pol. Sci. 2, 21\u201333 (1954)","journal-title":"Bull. Acad. Pol. Sci."},{"key":"690_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61896-3","volume-title":"Combinatorial Group Theory","author":"RC Lyndon","year":"2001","unstructured":"Lyndon, R.C., Schupp, P.E.: Combinatorial Group Theory. Springer, New York (2001)"},{"key":"690_CR17","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF01455888","volume":"106","author":"W Magnus","year":"1932","unstructured":"Magnus, W.: Das Identit\u00e4ts problem f\u00fcr Gruppen mit einer definierenden Relation. Math. Ann. 106, 295\u2013307 (1932)","journal-title":"Math. Ann."},{"key":"690_CR18","volume-title":"Combinatorial Group Theory","author":"W Magnus","year":"1966","unstructured":"Magnus, W., Karrass, A., Solitar, D.: Combinatorial Group Theory. Interscience Publishers, New York (1966)"},{"key":"690_CR19","first-page":"1","volume-title":"Algorithms and Classification in Combinatorial Group Theory, MSRI Publications No. 23","author":"CF Miller III","year":"1992","unstructured":"Miller III, C.F.: Decision problems for groups\u2013survey and reflections. In: Baumslag, G., Miiler III, C.F. (eds.) Algorithms and Classification in Combinatorial Group Theory, MSRI Publications No. 23, pp. 1\u201359. Springer, New York (1992)"},{"key":"690_CR20","series-title":"Lectures in Pure and Applied Mathematics","volume-title":"Orderable Groups","author":"RB Mura","year":"1977","unstructured":"Mura, R.B., Rhemtulla, A.: Orderable Groups. Lectures in Pure and Applied Mathematics. Marcel Dekker, New York (1977)"},{"key":"690_CR21","doi-asserted-by":"publisher","first-page":"4655","DOI":"10.1090\/S0002-9947-10-04959-7","volume":"362","author":"A Myasnikov","year":"2010","unstructured":"Myasnikov, A., Romankov, V., Ushakov, A., Vershik, A.: The word and geodesic problems in free solvable groups. Trans. Am. Math. Soc. 362, 4655\u20134682 (2010)","journal-title":"Trans. Am. Math. Soc."},{"key":"690_CR22","first-page":"17","volume":"4","author":"H Ohnishi","year":"1952","unstructured":"Ohnishi, H.: Linear order on a group. Osaka J. Math. 4, 17\u201318 (1952)","journal-title":"Osaka J. Math."},{"key":"690_CR23","doi-asserted-by":"publisher","first-page":"172","DOI":"10.2307\/1969933","volume":"67","author":"MO Rabin","year":"1958","unstructured":"Rabin, M.O.: Recursive unsolvability of group theoretic problems. Ann. Math. 67, 172\u2013194 (1958)","journal-title":"Ann. Math."},{"key":"690_CR24","volume-title":"Recursively enumerable sets and degrees, a study of computable functions and computably generated sets","author":"R Soare","year":"1987","unstructured":"Soare, R.: Recursively enumerable sets and degrees, a study of computable functions and computably generated sets. Springer, Berlin (1987)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00690-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-019-00690-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00690-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,15]],"date-time":"2020-08-15T23:57:56Z","timestamp":1597535876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-019-00690-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,17]]},"references-count":24,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2020,5]]}},"alternative-id":["690"],"URL":"https:\/\/doi.org\/10.1007\/s00153-019-00690-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8,17]]},"assertion":[{"value":"1 October 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 July 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 August 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}