{"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":1740108189165,"version":"3.37.3"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T00:00:00Z","timestamp":1642636800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T00:00:00Z","timestamp":1642636800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000121","name":"Division of Mathematical Sciences","doi-asserted-by":"publisher","award":["DMS-160025"],"award-info":[{"award-number":["DMS-160025"]}],"id":[{"id":"10.13039\/100000121","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000893","name":"Simons Foundation","doi-asserted-by":"publisher","award":["429466","626304"],"award-info":[{"award-number":["429466","626304"]}],"id":[{"id":"10.13039\/100000893","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,7]]},"DOI":"10.1007\/s00153-021-00811-5","type":"journal-article","created":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T12:07:10Z","timestamp":1642680430000},"page":"813-825","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the isomorphism problem for some classes of computable algebraic structures"],"prefix":"10.1007","volume":"61","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6626-5074","authenticated-orcid":false,"given":"Valentina S.","family":"Harizanov","sequence":"first","affiliation":[]},{"given":"Steffen","family":"Lempp","sequence":"additional","affiliation":[]},{"given":"Charles F. D.","family":"McCoy","sequence":"additional","affiliation":[]},{"given":"Andrei S.","family":"Morozov","sequence":"additional","affiliation":[]},{"given":"Reed","family":"Solomon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,1,20]]},"reference":[{"key":"811_CR1","unstructured":"Alvir, R., Calvert, W.C., Goodman, G., Harizanov, V.S., Knight, J.F., Morozov, A.S., Miller, R.G., Soskova, A.A., Weisshaar, R.: Interpreting a field in its Heisenberg group (preprint)"},{"key":"811_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible sets and structures","author":"KJ Barwise","year":"1975","unstructured":"Barwise, K.J.: Admissible sets and structures. Springer, Berlin (1975)"},{"key":"811_CR3","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s00153-004-0219-1","volume":"43","author":"WC Calvert","year":"2004","unstructured":"Calvert, W.C.: The isomorphism problem for classes of computable fields. Arch. Math. Logic 43, 327\u2013336 (2004)","journal-title":"Arch. Math. Logic"},{"key":"811_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.apal.2005.10.002","volume":"141","author":"WC Calvert","year":"2006","unstructured":"Calvert, W.C., Cenzer, D.A., Harizanov, V.S., Morozov, A.S.: Effective categoricity of equivalence structures. Ann. Pure Appl. Logic 141, 61\u201378 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"811_CR5","doi-asserted-by":"publisher","first-page":"2291","DOI":"10.1016\/j.jalgebra.2008.06.007","volume":"320","author":"RG Downey","year":"2008","unstructured":"Downey, R.G., Montalb\u00e1n, A.: The isomorphism problem for torsion-free abelian groups is analytic complete. J. Algebra 320, 2291\u20132300 (2008)","journal-title":"J. Algebra"},{"key":"811_CR6","doi-asserted-by":"publisher","first-page":"894","DOI":"10.2307\/2274750","volume":"54","author":"HM Friedman","year":"1989","unstructured":"Friedman, H.M., Stanley, L.J.: A Borel reducibility theory for classes of countable structures. J. Symb. Log. 54, 894\u2013914 (1989)","journal-title":"J. Symb. Log."},{"key":"811_CR7","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1023\/A:1021758312697","volume":"41","author":"SS Goncharov","year":"2002","unstructured":"Goncharov, S.S., Knight, J.F.: Computable structure and non-structure theorems. Algebra Logic 41, 351\u2013373 (2002)","journal-title":"Algebra Logic"},{"key":"811_CR8","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s11202-005-0043-9","volume":"46","author":"SS Goncharov","year":"2005","unstructured":"Goncharov, S.S., Harizanov, V.S., Knight, J.F., Morozov, A.S., Romina, A.V.: On automorphic tuples of elements in computable models. Sib. Math. J. 46, 405\u2013412 (2005)","journal-title":"Sib. Math. J."},{"key":"811_CR9","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1090\/S0002-9947-1968-0244049-7","volume":"131","author":"JA Harrison","year":"1968","unstructured":"Harrison, J.A.: Recursive pseudo well-orderings. Trans. Am. Math. Soc. 131, 526\u2013543 (1968)","journal-title":"Trans. Am. Math. Soc."},{"key":"811_CR10","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/S0168-0072(01)00094-X","volume":"115","author":"DR Hirschfeldt","year":"2002","unstructured":"Hirschfeldt, D.R., Khoussainov, B.M., Shore, R.A., Slinko, A.M.: Degree spectra and computable dimension in algebraic structures. Ann. Pure Appl. Logic 115, 233\u2013277 (2002)","journal-title":"Ann. Pure Appl. Logic"},{"key":"811_CR11","doi-asserted-by":"crossref","unstructured":"Mal\u2019cev, A.I.: On a correspondence between rings and groups. Am. Math. Soc. Trans (ser. 2) 45, 221\u2013232 (1965)","DOI":"10.1090\/trans2\/045\/14"},{"key":"811_CR12","first-page":"311","volume-title":"Handbook of recursive mathematics","author":"AS Morozov","year":"1998","unstructured":"Morozov, A.S.: Groups of computable automorphisms. In: Ershov, Y.L., Goncharov, S.S., Nerode, A., Remmel, J.B. (eds.) Handbook of recursive mathematics, vol. 1, pp. 311\u2013345. Elsevier, Amsterdam (1998)"},{"key":"811_CR13","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/BF02260930","volume":"32","author":"AS Morozov","year":"1993","unstructured":"Morozov, A.S.: Functional trees and automorphisms of models. Algebra Logic 32, 28\u201338 (1993)","journal-title":"Algebra Logic"},{"key":"811_CR14","unstructured":"Rabin, M.O., Scott, D.S.: The undecidability of some simple theories (unpublished manuscript)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-021-00811-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-021-00811-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-021-00811-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T23:19:15Z","timestamp":1657667955000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-021-00811-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,20]]},"references-count":14,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2022,7]]}},"alternative-id":["811"],"URL":"https:\/\/doi.org\/10.1007\/s00153-021-00811-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2022,1,20]]},"assertion":[{"value":"8 February 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 October 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 January 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}