{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T06:09:29Z","timestamp":1774591769588,"version":"3.50.1"},"reference-count":38,"publisher":"World Scientific Pub Co Pte Lt","issue":"07","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2014,11]]},"abstract":"<jats:p> This paper contributes to the theory of recursively presented (see Higman [Subgroups of finitely presented groups, Proc. R. Soc. Ser. A\u00a0262 (1961) 455\u2013475]) infinitely generated abelian groups with solvable word problem. Mal'cev [On recursive Abelian groups, Dokl. Akad. Nauk SSSR\u00a0146 (1962) 1009\u20131012] and independently Rabin [Computable algebra, general theory and theory of computable fields, Trans. Amer. Math. Soc.\u00a095 (1960) 341\u2013360] initiated the study of such groups in the early 1960's. In this paper, we develop a technique that we call iterated effective embeddings. The significance of our new technique is that it extends existing methods from the realm of iterated 0\u2033 arguments to iterated 0\u2034 ones. This is a new phenomenon in computable algebra. We use this technique to confirm a 30 year-old conjecture of Ash, Knight and Oates [Recursive abelian p-groups of small length, https:\/\/dl.dropbox.com\/u\/4752353\/Homepage\/AKO.pdf ]. More specifically, Ash, Knight and Oates [Recursive abelian p-groups of small length. https:\/\/dl.dropbox.com\/u\/4752353\/Homepage\/AKO.pdf ] conjectured that there exists a computable reduced abelian p-group of Ulm type \u03c9 such that its effective invariants, defined using limitwise monotonic functions, cannot be found uniformly. We construct a computable reduced abelian p-group of Ulm type \u03c9 where its invariants are at the maximum possible level of non-uniformity. The result confirms the conjecture in a strong way, and it provides us with an explanation of why computable reduced p-groups of Ulm type \u03c9 seem hard to classify in general. We also use p-basic trees and their iterated embeddings to solve a problem posed in [W. Calvert, D. Cenzer, V. S. Harizanov and A. Morozov, Effective categoricity of abelian p-groups, Ann. Pure Appl. Logic\u00a0159(1\u20132) (2009) 187\u2013197]. <\/jats:p>","DOI":"10.1142\/s0218196714500465","type":"journal-article","created":{"date-parts":[[2014,11,7]],"date-time":"2014-11-07T04:06:00Z","timestamp":1415333160000},"page":"1055-1084","source":"Crossref","is-referenced-by-count":6,"title":["Iterated effective embeddings of abelian p-groups"],"prefix":"10.1142","volume":"24","author":[{"given":"Rod","family":"Downey","sequence":"first","affiliation":[{"name":"School of Mathematics, Statistics and Operations Research, Victoria University of Wellington, P. O. Box 600, Wellington, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander G.","family":"Melnikov","sequence":"additional","affiliation":[{"name":"Department of Mathematics, UC Berkeley, 970 Evans Hall, Berkeley, CA 94720, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"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"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2014,12,9]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl.7704020"},{"key":"rf2","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Computable Structures and the Hyperarithmetical Hierarchy","volume":"144","author":"Ash C. J.","year":"2000"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.11.003"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006031314563"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1102022214"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.2307\/2270903"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.2307\/2269957"},{"key":"rf9","unstructured":"R. G.\u00a0Downey, Complexity, Logic and Recursion Theory, Lecture Notes in Pure and Applied Mathematics\u00a0187 (Dekker, New York, 1997)\u00a0pp. 157\u2013205."},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80047-5"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2012.09.020"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4305-3"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.1956.0003"},{"key":"rf17","series-title":"Pure and Applied Mathematics","volume-title":"Infinite Abelian Groups","volume":"36","author":"Fuchs L.","year":"1970"},{"key":"rf18","series-title":"Pure and Applied Mathematics","volume-title":"Infinite Abelian Groups","volume":"36","author":"Fuchs L.","year":"1973"},{"key":"rf19","series-title":"Siberian School of Algebra and Logic","volume-title":"Countable Boolean Algebras and Decidability","author":"Goncharov S. S.","year":"1997"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1016\/S0001-8708(02)00042-7"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1230396908"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1961.0132"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-01-05923-8"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1143468311"},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1187031407"},{"key":"rf26","unstructured":"N. G.\u00a0Hisamiev, Theoretical and Applied Problems in Mathematics and Mechanics (\"Nauka\" Kazakh. SSR, Alma, 1977)\u00a0pp. 299\u2013303."},{"key":"rf27","first-page":"51","volume":"86","author":"Hisamiev N. G.","year":"1981","journal-title":"Izv. Akad. Nauk Kazakh. SSR Ser. Fiz.-Mat."},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-008-0077-3"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-2013-11586-8"},{"key":"rf30","volume-title":"Infinite Abelian Groups","author":"Kaplansky I.","year":"1969"},{"key":"rf31","first-page":"68","volume":"2","author":"Khisamiev N. G.","year":"1992","journal-title":"Siberian Adv. Math."},{"key":"rf32","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80050-5"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1039724885"},{"key":"rf34","doi-asserted-by":"publisher","DOI":"10.2307\/2273759"},{"key":"rf35","first-page":"1009","volume":"146","author":"Mal'cev A. I.","year":"1962","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"rf36","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(77)90015-8"},{"key":"rf37","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(79)90011-1"},{"key":"rf38","author":"Nurtazin A. T.","year":"1974","journal-title":"Math. Inst. SB USSRAS"},{"key":"rf39","first-page":"341","volume":"95","author":"Rabin M. O.","year":"1960","journal-title":"Trans. Amer. Math. Soc."},{"key":"rf40","unstructured":"J. B.\u00a0Remmel, Handbook of Boolean Algebras\u00a03 (North-Holland, Amsterdam, 1989)\u00a0pp. 1097\u20131165."},{"key":"rf41","first-page":"333","volume":"227","author":"Rogers L. A.","year":"1977","journal-title":"Trans. Amer. Math. Soc."},{"key":"rf43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196714500465","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T15:59:42Z","timestamp":1565107182000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196714500465"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":38,"journal-issue":{"issue":"07","published-online":{"date-parts":[[2014,12,9]]},"published-print":{"date-parts":[[2014,11]]}},"alternative-id":["10.1142\/S0218196714500465"],"URL":"https:\/\/doi.org\/10.1142\/s0218196714500465","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11]]}}}