{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T11:37:14Z","timestamp":1770982634987,"version":"3.50.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2017,8,19]],"date-time":"2017-08-19T00:00:00Z","timestamp":1503100800000},"content-version":"unspecified","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":[[2018,5]]},"DOI":"10.1007\/s00153-017-0578-z","type":"journal-article","created":{"date-parts":[[2017,8,19]],"date-time":"2017-08-19T06:10:16Z","timestamp":1503123016000},"page":"453-472","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Scott sentences for certain groups"],"prefix":"10.1007","volume":"57","author":[{"given":"Julia F.","family":"Knight","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3453-5797","authenticated-orcid":false,"given":"Vikram","family":"Saraph","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,19]]},"reference":[{"key":"578_CR1","unstructured":"Alvir, R., Knight, J.F., McCoy, C.: Complexity of Scott sentences"},{"key":"578_CR2","volume-title":"Computable Structures and the Hyperarithmetical Hierarchy","author":"CJ Ash","year":"2000","unstructured":"Ash, C.J., Knight, J.F.: Computable Structures and the Hyperarithmetical Hierarchy. Elsevier, Amsterdam (2000)"},{"key":"578_CR3","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2140\/pjm.1951.1.169","volume":"1","author":"RA Beaumont","year":"1951","unstructured":"Beaumont, R.A., Zuckerman, H.S.: A characterization of the subgroups of the additive rationals. Pacific Journal of Mathematics 1, 169\u2013177 (1951)","journal-title":"Pacific Journal of Mathematics"},{"key":"578_CR4","first-page":"1188","volume":"269","author":"M Benois","year":"1969","unstructured":"Benois, M.: Parties rationnells du group libre. C. R. Acad. Sci. Paris Ser. A-B 269, 1188\u20131190 (1969)","journal-title":"C. R. Acad. Sci. Paris Ser. A-B"},{"key":"578_CR5","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1023\/B:ALLO.0000048827.30718.2c","volume":"43","author":"W Calvert","year":"2004","unstructured":"Calvert, W., Cummins, D., Knight, J.F., Miller, S.: Comparing classes of finite structures. Algebra Log. 43, 374\u2013392 (2004)","journal-title":"Algebra Log."},{"key":"578_CR6","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/s00153-004-0219-1","volume":"75","author":"W Calvert","year":"2004","unstructured":"Calvert, W.: The isomorphism problem for classes of computable fields. Arch. Math. Log. 75, 327\u2013336 (2004)","journal-title":"Arch. Math. Log."},{"key":"578_CR7","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2178\/jsl\/1107298523","volume":"70","author":"W Calvert","year":"2005","unstructured":"Calvert, W.: The isomorphism problem for computable abelian p-groups of bounded length. J. Symb. Log. 70, 331\u2013345 (2005)","journal-title":"J. Symb. Log."},{"key":"578_CR8","doi-asserted-by":"crossref","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 Log. 45, 306\u2013315 (2006)","journal-title":"Algebra Log."},{"key":"578_CR9","doi-asserted-by":"crossref","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. Am. Math. Soc. 364, 5715\u20135728 (2012)","journal-title":"Trans. Am. Math. Soc."},{"key":"578_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1305\/ndjfl\/1143468308","volume":"47","author":"BF Csima","year":"2006","unstructured":"Csima, B.F., Montalb\u00e1n, A., Shore, R.A.: Boolean algebras, Tarski invariants, and index sets. Notre Dame J. Form. Log. 47, 1\u201323 (2006)","journal-title":"Notre Dame J. Form. Log."},{"key":"578_CR11","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF01979674","volume":"22","author":"VP Dobritsa","year":"1983","unstructured":"Dobritsa, V.P.: Complexity of the index set of a constructive model. Algebra Log. 22, 269\u2013276 (1983)","journal-title":"Algebra Log."},{"key":"578_CR12","doi-asserted-by":"crossref","first-page":"585","DOI":"10.2178\/jsl\/1082418544","volume":"69","author":"SS Goncharov","year":"2004","unstructured":"Goncharov, S.S., Knight, J.F., Harizanov, V., Shore, R.A.: \n                        $$\\varPi ^1_1$$\n                        \n                            \n                                \n                                    \u03a0\n                                    1\n                                    1\n                                \n                            \n                        \n                     relations and paths through \n                        $$\\cal{O}$$\n                        \n                            \n                                O\n                            \n                        \n                    . J. Symb. Log. 69, 585\u2013611 (2004)","journal-title":"J. Symb. Log."},{"key":"578_CR13","doi-asserted-by":"crossref","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 Log. 41, 351\u2013373 (2002)","journal-title":"Algebra Log."},{"key":"578_CR14","unstructured":"Harrison-Trainor, M., Ho, M-C.: On optimal Scott sentences of finitely generated algebraic structures (pre-print)"},{"key":"578_CR15","doi-asserted-by":"crossref","first-page":"2223","DOI":"10.1090\/proc\/13458","volume":"145","author":"M Ho","year":"2017","unstructured":"Ho, M.: Describing groups. Proc. Am. Math. Soc 145, 2223\u20132239 (2017)","journal-title":"Proc. Am. Math. Soc"},{"key":"578_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00208-004-0570-x","volume":"331","author":"I Kapovich","year":"2005","unstructured":"Kapovich, I., Schupp, P.E.: Genericity, the Arzhantseva\u2013Ol\u2019shanskii method, and the isomorphism problem for one-relator groups. Math. Ann. 331, 1\u201319 (2005)","journal-title":"Math. Ann."},{"key":"578_CR17","doi-asserted-by":"crossref","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":"578_CR18","volume-title":"Model Theory for Infinitary Logic","author":"HJ Keisler","year":"1971","unstructured":"Keisler, H.J.: Model Theory for Infinitary Logic. North-Holland, Amsterdam (1971)"},{"key":"578_CR19","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/s00153-014-0377-8","volume":"53","author":"JF Knight","year":"2014","unstructured":"Knight, J.F., McCoy, C.: Index sets and Scott sentences. Arch. Math. Log. 53, 519\u2013524 (2014)","journal-title":"Arch. Math. Log."},{"key":"578_CR20","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1090\/conm\/425\/08116","volume":"425","author":"S Lempp","year":"2007","unstructured":"Lempp, S., Slaman, T.A.: The complexity of the index sets of the \n                        $$\\aleph _0$$\n                        \n                            \n                                \n                                    \u2135\n                                    0\n                                \n                            \n                        \n                    -categorical theories and of Ehrenfeucht theories. Adv. Log. Contemp. Math. 425, 43\u201347 (2007)","journal-title":"Adv. Log. Contemp. Math."},{"key":"578_CR21","volume-title":"Combinatorial Group Theory","author":"RC Lyndon","year":"1977","unstructured":"Lyndon, R.C., Schupp, P.E.: Combinatorial Group Theory. Springer, Berlin (1977)"},{"key":"578_CR22","doi-asserted-by":"crossref","first-page":"5729","DOI":"10.1090\/S0002-9947-2012-05458-4","volume":"364","author":"C McCoy","year":"2012","unstructured":"McCoy, C., Wallbaum, J.: Describing free groups, Part II: \n                        $$\\varPi ^0_4$$\n                        \n                            \n                                \n                                    \u03a0\n                                    4\n                                    0\n                                \n                            \n                        \n                     hardness and no \n                        $$\\varSigma ^0_2$$\n                        \n                            \n                                \n                                    \u03a3\n                                    2\n                                    0\n                                \n                            \n                        \n                     basis. Trans. of the Amer. Math. Soc. 364, 5729\u20135734 (2012)","journal-title":"Trans. of the Amer. Math. Soc."},{"key":"578_CR23","first-page":"341","volume":"95","author":"MO Rabin","year":"1960","unstructured":"Rabin, M.O.: Computable algebra, general theory, and theory of computable fields. Trans. Am. Math. Soc. 95, 341\u2013360 (1960)","journal-title":"Trans. Am. Math. Soc."},{"key":"578_CR24","unstructured":"Raz, A.: Index sets of some computable group. Ssenior Thesis, Wellesley College (2014)"},{"key":"578_CR25","unstructured":"Sela, Z.: Series of six papers appearing. In: Publications Math\u00e9matiques Institute des Hautes \u00c9tudes Scientiques, Israel Journal of Mathematics and Geometric and Functional Analysis"},{"key":"578_CR26","first-page":"329","volume-title":"The Theory of Models","author":"D Scott","year":"1965","unstructured":"Scott, D.: Logic with denumerably long formulas and finite strings of quantifiers. In: Addison, J., Henkin, L., Tarski, A. (eds.) The Theory of Models, pp. 329\u2013341. North-Holland, Amsterdam (1965)"},{"key":"578_CR27","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"1997","unstructured":"Sipser, M.: Introduction to the Theory of Computation. PWS Publishing Company, Boston (1997)"},{"key":"578_CR28","series-title":"Computability in Europe Series","volume-title":"Computability Theory and Applications: The Art of Classical Computability","author":"RI Soare","year":"2016","unstructured":"Soare, R.I.: Computability Theory and Applications: The Art of Classical Computability. Computability in Europe Series. Springer, Berlin, Heidelberg (2016)"},{"key":"578_CR29","doi-asserted-by":"crossref","first-page":"203","DOI":"10.4064\/fm-41-2-203-271","volume":"41","author":"W Szmielew","year":"1955","unstructured":"Szmielew, W.: Elementary properties of abelian groups. Fund. Math. 41, 203\u2013271 (1955)","journal-title":"Fund. Math."},{"key":"578_CR30","unstructured":"White, W.: Characterizations for Computable Structures, PhD dissertation, Cornell University, (2000)"},{"key":"578_CR31","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1002\/malq.200310066","volume":"49","author":"W White","year":"2003","unstructured":"White, W.: On the complexity of categoricity in computable structures. Math. Log. Q. 49, 603\u2013614 (2003)","journal-title":"Math. Log. Q."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0578-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0578-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0578-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,24]],"date-time":"2018-03-24T02:04:11Z","timestamp":1521857051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0578-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,19]]},"references-count":31,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["578"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0578-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,19]]}}}