{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T01:56:58Z","timestamp":1792807018278,"version":"4.5.0"},"reference-count":26,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Math. Log."],"published-print":{"date-parts":[[2017,12]]},"abstract":"<jats:p> We solve a problem posed by Goncharov and Knight (Problem 4 in [S. Goncharov and J. Knight, Computable structure and antistructure theorems, Algebra Logika 41(6) (2002) 639\u2013681, 757]). More specifically, we produce an effective Friedberg (i.e. injective) enumeration of computable equivalence structures, up to isomorphism. We also prove that there exists an effective Friedberg enumeration of all isomorphism types of infinite computable equivalence structures. <\/jats:p>","DOI":"10.1142\/s0219061317500088","type":"journal-article","created":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T02:47:00Z","timestamp":1501555620000},"page":"1750008","source":"Crossref","is-referenced-by-count":6,"title":["A Friedberg enumeration of equivalence structures"],"prefix":"10.1142","volume":"17","author":[{"given":"Rodney G.","family":"Downey","sequence":"first","affiliation":[{"name":"School of Mathematics and Statistics, Victoria University of Wellington, P. O. Box 600, Wellington, New Zealand"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander G.","family":"Melnikov","sequence":"additional","affiliation":[{"name":"The Institute of Natural and Mathematical Sciences, Private Bag 102 904, NSMC Albany 0745, Auckland, New Zealand"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Keng Meng","family":"Ng","sequence":"additional","affiliation":[{"name":"Division of Mathematical Sciences, School of Physical and Mathematical Sciences, Nanyang Technological University, 21 Nanyang Link, Singapore 637371, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"219","published-online":{"date-parts":[[2017,11,27]]},"reference":[{"key":"S0219061317500088BIB001","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2013.8"},{"key":"S0219061317500088BIB002","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":"S0219061317500088BIB003","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-37-00308-9"},{"key":"S0219061317500088BIB004","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-008-0065-7"},{"key":"S0219061317500088BIB005","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.10.002"},{"key":"S0219061317500088BIB006","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80047-5"},{"key":"S0219061317500088BIB008","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2012.09.020"},{"key":"S0219061317500088BIB009","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2014-06115-1"},{"key":"S0219061317500088BIB010","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2016.04.016"},{"key":"S0219061317500088BIB011","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196714500465"},{"key":"S0219061317500088BIB012","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2015.04.003"},{"key":"S0219061317500088BIB013","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2008.06.007"},{"key":"S0219061317500088BIB014","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(99)80030-5"},{"key":"S0219061317500088BIB015","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4305-3"},{"key":"S0219061317500088BIB016","doi-asserted-by":"publisher","DOI":"10.1002\/malq.201020063"},{"key":"S0219061317500088BIB017","doi-asserted-by":"publisher","DOI":"10.2307\/2964290"},{"key":"S0219061317500088BIB018","series-title":"Pure and Applied Mathematics","volume-title":"Infinite Abelian Groups","volume":"1","author":"Fuchs L.","year":"1970"},{"key":"S0219061317500088BIB019","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021758312697"},{"key":"S0219061317500088BIB020","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1230396908"},{"key":"S0219061317500088BIB021","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1961.0132"},{"key":"S0219061317500088BIB022","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00087-2"},{"key":"S0219061317500088BIB023","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-2013-11586-8"},{"key":"S0219061317500088BIB024","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80050-5"},{"key":"S0219061317500088BIB025","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1039724885"},{"key":"S0219061317500088BIB026","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19870330106"},{"key":"S0219061317500088BIB028","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21717-7"}],"container-title":["Journal of Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0219061317500088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T16:34:06Z","timestamp":1565109246000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0219061317500088"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,27]]},"references-count":26,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2017,11,27]]},"published-print":{"date-parts":[[2017,12]]}},"alternative-id":["10.1142\/S0219061317500088"],"URL":"https:\/\/doi.org\/10.1142\/s0219061317500088","relation":{},"ISSN":["0219-0613","1793-6691"],"issn-type":[{"value":"0219-0613","type":"print"},{"value":"1793-6691","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,27]]}}}