{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T06:12:31Z","timestamp":1774591951518,"version":"3.50.1"},"reference-count":50,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Math. Log."],"published-print":{"date-parts":[[2018,6]]},"abstract":"<jats:p> We prove that for any computable successor ordinal of the form [Formula: see text] [Formula: see text] limit and [Formula: see text] there exists computable torsion-free abelian group [Formula: see text]TFAG[Formula: see text] that is relatively [Formula: see text] -categorical and not [Formula: see text] -categorical. Equivalently, for any such [Formula: see text] there exists a computable TFAG whose initial segments are uniformly described by [Formula: see text] infinitary computable formulae up to automorphism (i.e. it has a c.e. uniformly [Formula: see text]-Scott family), and there is no syntactically simpler (c.e.) family of formulae that would capture these orbits. As far as we know, the problem of finding such optimal examples of (relatively) [Formula: see text]-categorical TFAGs for arbitrarily large [Formula: see text] was first raised by Goncharov at least 10 years ago, but it has resisted solution (see e.g. Problem 7.1 in survey [Computable abelian groups, Bull. Symbolic Logic 20(3) (2014) 315\u2013356]). As a byproduct of the proof, we introduce an effective functor that transforms a [Formula: see text]-computable worthy labeled tree (to be defined) into a computable TFAG. We expect that this technical result will find further applications not necessarily related to categoricity questions. <\/jats:p>","DOI":"10.1142\/s0219061318500022","type":"journal-article","created":{"date-parts":[[2017,11,24]],"date-time":"2017-11-24T03:05:24Z","timestamp":1511492724000},"page":"1850002","source":"Crossref","is-referenced-by-count":3,"title":["Torsion-free abelian groups with optimal Scott families"],"prefix":"10.1142","volume":"18","author":[{"given":"Alexander G.","family":"Melnikov","sequence":"first","affiliation":[{"name":"The Institute of Natural and Mathematical Sciences, Private Bag 102 904, NSMC Albany 0745, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2018,6,3]]},"reference":[{"key":"S0219061318500022BIB001","doi-asserted-by":"publisher","DOI":"10.2178\/jsl.7704020"},{"key":"S0219061318500022BIB002","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1986-0860377-7"},{"key":"S0219061318500022BIB003","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90015-8"},{"key":"S0219061318500022BIB004","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Computable Structures and the Hyperarithmetical Hierarchy","volume":"144","author":"Ash C.","year":"2000"},{"key":"S0219061318500022BIB005","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-37-00308-9"},{"key":"S0219061318500022BIB006","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)00045-5"},{"key":"S0219061318500022BIB007","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-014-2148-9"},{"key":"S0219061318500022BIB008","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1107298523"},{"issue":"2","key":"S0219061318500022BIB009","first-page":"18","volume":"24","author":"Dobritsa V. P.","year":"1983","journal-title":"Sibirsk. Mat. Zh."},{"key":"S0219061318500022BIB010","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80047-5"},{"key":"S0219061318500022BIB011","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025971406116"},{"key":"S0219061318500022BIB012","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2014.09.022"},{"key":"S0219061318500022BIB013","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2012.09.020"},{"key":"S0219061318500022BIB014","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2014-06115-1"},{"key":"S0219061318500022BIB015","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196714500465"},{"key":"S0219061318500022BIB016","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2008.06.007"},{"key":"S0219061318500022BIB017","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1327068695"},{"key":"S0219061318500022BIB018","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1309952523"},{"key":"S0219061318500022BIB019","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.1956.0003"},{"key":"S0219061318500022BIB020","series-title":"Pure and Applied Mathematics","volume-title":"Infinite Abelian Groups","volume":"1","author":"Fuchs L.","year":"1970"},{"key":"S0219061318500022BIB021","series-title":"Pure and Applied Mathematics","volume-title":"Infinite Abelian Groups","volume":"2","author":"Fuchs L.","year":"1973"},{"key":"S0219061318500022BIB022","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021758312697"},{"key":"S0219061318500022BIB023","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2016.12"},{"key":"S0219061318500022BIB024","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2015.06.004"},{"key":"S0219061318500022BIB025","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1961.0132"},{"key":"S0219061318500022BIB026","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00087-2"},{"key":"S0219061318500022BIB027","doi-asserted-by":"publisher","DOI":"10.4064\/fm175-3-2"},{"key":"S0219061318500022BIB028","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1264433912"},{"key":"S0219061318500022BIB029","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80050-5"},{"issue":"6","key":"S0219061318500022BIB030","first-page":"1410","volume":"38","author":"Khisamiev N.","year":"1997","journal-title":"Sibirsk. Mat. Zh."},{"key":"S0219061318500022BIB031","first-page":"552","volume":"24","author":"LaRoche P.","year":"1977","journal-title":"Not. Amer. Math. Soc."},{"key":"S0219061318500022BIB032","volume-title":"Habilitationsschrift","author":"Levi F.","year":"1917"},{"issue":"5","key":"S0219061318500022BIB033","first-page":"531","volume":"41","author":"Mak-ko\u012d Ch. F. D.","year":"2002","journal-title":"Algebra Logika"},{"issue":"2","key":"S0219061318500022BIB034","first-page":"45","volume":"4","author":"Mal\u2019cev A.","year":"1938","journal-title":"Mat. Sb."},{"issue":"3","key":"S0219061318500022BIB035","first-page":"3","volume":"16","author":"Mal\u2019cev A.","year":"1961","journal-title":"Uspekhi Mat. Nauk"},{"key":"S0219061318500022BIB036","first-page":"1009","volume":"146","author":"Mal\u2019cev A.","year":"1962","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"S0219061318500022BIB037","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2016.73"},{"key":"S0219061318500022BIB038","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(02)00035-0"},{"key":"S0219061318500022BIB040","first-page":"75","volume":"41","author":"Melnikov A.","year":"2011","journal-title":"New Zealand J. Math."},{"key":"S0219061318500022BIB042","doi-asserted-by":"publisher","DOI":"10.1017\/bsl.2014.32"},{"key":"S0219061318500022BIB043","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2017-0006"},{"key":"S0219061318500022BIB044","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(77)90015-8"},{"key":"S0219061318500022BIB045","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(79)90011-1"},{"key":"S0219061318500022BIB047","series-title":"Summary of Scientific Schools","volume-title":"Computable Classes and Algebraic Criteria of Autostability","author":"Nurtazin A.","year":"1974"},{"key":"S0219061318500022BIB049","doi-asserted-by":"publisher","DOI":"10.2307\/1968438"},{"key":"S0219061318500022BIB050","first-page":"341","volume":"95","author":"Rabin M.","year":"1960","journal-title":"Trans. Amer. Math. Soc."},{"key":"S0219061318500022BIB051","doi-asserted-by":"publisher","DOI":"10.1090\/proc\/12509"},{"key":"S0219061318500022BIB052","volume-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers H.","year":"1987","edition":"2"},{"key":"S0219061318500022BIB053","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0090954"},{"key":"S0219061318500022BIB054","doi-asserted-by":"publisher","DOI":"10.1007\/BF01782374"}],"container-title":["Journal of Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0219061318500022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T18:00:03Z","timestamp":1565114403000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0219061318500022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":50,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2018,6,3]]},"published-print":{"date-parts":[[2018,6]]}},"alternative-id":["10.1142\/S0219061318500022"],"URL":"https:\/\/doi.org\/10.1142\/s0219061318500022","relation":{},"ISSN":["0219-0613","1793-6691"],"issn-type":[{"value":"0219-0613","type":"print"},{"value":"1793-6691","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6]]}}}