{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T14:28:00Z","timestamp":1773239280710,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642139611","type":"print"},{"value":"9783642139628","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13962-8_36","type":"book-chapter","created":{"date-parts":[[2010,6,26]],"date-time":"2010-06-26T12:33:57Z","timestamp":1277555637000},"page":"321-330","source":"Crossref","is-referenced-by-count":6,"title":["Computable Ordered Abelian Groups and Fields"],"prefix":"10.1007","author":[{"given":"Alexander G.","family":"Melnikov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"publisher","first-page":"497","DOI":"10.2307\/2000633","volume":"298","author":"C.J. Ash","year":"1986","unstructured":"Ash, C.J.: Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees. Trans. of Amer. Math. Soc.\u00a0298, 497\u2013514 (1986)","journal-title":"Trans. of Amer. Math. Soc."},{"key":"36_CR2","volume-title":"Computable structures and the hyperarithmetical hyerarchy","author":"C.J. Ash","year":"2000","unstructured":"Ash, C.J., Knight, J.F.: Computable structures and the hyperarithmetical hyerarchy. Elsevier, Amsterdam (2000)"},{"key":"36_CR3","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0168-0072(94)00045-5","volume":"75","author":"E.J. Barker","year":"1995","unstructured":"Barker, E.J.: Back and forth relations for reduced abelian p-groups. Annals of Pure and Applied Logic\u00a075, 223\u2013249 (1995)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"36_CR4","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s00153-008-0112-4","volume":"48","author":"D. Cenzer","year":"2009","unstructured":"Cenzer, D., Csima, B.F., Khoussainov, B.: Linear orders with distinguished function symbol. Archive for Mathematical Logic, Special Issue: University of Florida Special Year in Logic\u00a048(1), 63\u201376 (2009)","journal-title":"Archive for Mathematical Logic, Special Issue: University of Florida Special Year in Logic"},{"key":"36_CR5","doi-asserted-by":"publisher","first-page":"2291","DOI":"10.1016\/j.jalgebra.2008.06.007","volume":"320","author":"R. Downey","year":"2008","unstructured":"Downey, R., Montolban, A.: The isomorphism problem for torsion-free abelian groups is analytic complete. Journal of Algebra\u00a0320, 2291\u20132300 (2008)","journal-title":"Journal of Algebra"},{"key":"36_CR6","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0168-0072(01)00087-2","volume":"115","author":"D. Hirschfeldt","year":"2002","unstructured":"Hirschfeldt, D., Khoussainov, B., Shore, R., Slinko, A.: Degree Spectra and Computable Dimensions in Algebraic Structures. Annals of Pure and Applied Logic\u00a0115, 71\u2013113 (2002)","journal-title":"Annals of Pure and Applied Logic"},{"key":"36_CR7","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/S0001-8708(02)00042-7","volume":"175","author":"S. Goncharov","year":"2003","unstructured":"Goncharov, S., Lempp, S., Solomon, R.: The computable dimension of ordered abelian groups. Advances in Mathematics\u00a0175, 102\u2013143 (2003)","journal-title":"Advances in Mathematics"},{"key":"36_CR8","unstructured":"Goncharov, S.: Countable Boolean algebras and decidability. In: Siberian School of Algebra and Logic, Novosibirsk, Nauchnaya Kniga (1996)"},{"key":"36_CR9","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF01669101","volume":"19","author":"S. Goncharov","year":"1980","unstructured":"Goncharov, S.: Autostability of models and abelian groups. Algebra and Logic\u00a019, 13\u201327 (1980) (English translation)","journal-title":"Algebra and Logic"},{"issue":"1","key":"36_CR10","first-page":"45","volume":"19","author":"S. Goncharov","year":"1980","unstructured":"Goncharov, S., Dzgoev, V.: Autostability of models. Algebra and Logic\u00a019(1), 45\u201358 (1980)","journal-title":"Algebra and Logic"},{"key":"36_CR11","volume-title":"Constructive models","author":"S. Goncharov","year":"2000","unstructured":"Goncharov, S., Ershov, Y.: Constructive models. Kluwer Academic Pub., Dordrecht (2000)"},{"issue":"6","key":"36_CR12","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1023\/A:1021758312697","volume":"41","author":"S. Goncharov","year":"2002","unstructured":"Goncharov, S., Knight, J.: Computable Structure and Non-Structure Theorems. Algebra and Logic\u00a041(6), 351\u2013373 (2002)","journal-title":"Algebra and Logic"},{"key":"36_CR13","volume-title":"Handbook of recursive mathematics, part 2","author":"N. Khisamiev","year":"1998","unstructured":"Khisamiev, N.: Constructive abelian groups. In: Handbook of recursive mathematics, part 2, vol.\u00a02. Elsevier, Amsterdam (1998)"},{"key":"36_CR14","volume-title":"Fully Ordered Groups","author":"A. Kopytov","year":"1974","unstructured":"Kopytov, A., Kokorin, V.: Fully Ordered Groups. John Wiley and Sons, Chichester (1974)"},{"key":"36_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0041-0","volume-title":"Algebra","author":"S. Lang","year":"2002","unstructured":"Lang, S.: Algebra. Springer, Heidelberg (2002)"},{"key":"36_CR16","first-page":"552","volume":"24","author":"P. Roche La","year":"1977","unstructured":"La Roche, P.: Recursively presented Boolean algebras. Notices AMS\u00a024, 552\u2013553 (1977)","journal-title":"Notices AMS"},{"issue":"1","key":"36_CR17","doi-asserted-by":"publisher","first-page":"151","DOI":"10.2178\/jsl\/1107298515","volume":"70","author":"S. Lempp","year":"2005","unstructured":"Lempp, S., McCoy, C., Miller, R., Solomon, R.: Computable Categoricity of Trees of Finite Height. Journal of Symbolic Logic\u00a070(1), 151\u2013215 (2005)","journal-title":"Journal of Symbolic Logic"},{"key":"36_CR18","unstructured":"Maltsev, A.I.: On Recursive Abelian Groups, transl. Soviet Math. Dokl.\u00a03"},{"key":"36_CR19","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0168-0072(02)00035-0","volume":"119","author":"C. McCoy","year":"2003","unstructured":"McCoy, C.: \n                  \n                    \n                  \n                  $\\Delta^0_2$\n                -Categoricity in Boolean algebras and linear orderings. Annals of Pure and Applied Logic\u00a0119, 85\u2013120 (2003)","journal-title":"Annals of Pure and Applied Logic"},{"key":"36_CR20","volume-title":"Proceedings of CiE 2009","author":"A.G. Melnikov","year":"2009","unstructured":"Melnikov, A.G.: 0\u2033-Categorical completely decomposable torsion-free abelian groups. In: Proceedings of CiE 2009. Springer, Heidelberg (2009)"},{"key":"36_CR21","unstructured":"Nurtazin, A.T.: Computable classes and algebraic criteria of autostability. Summary of Scientific Schools, Math. Inst., Novosibirsk (1974)"},{"key":"36_CR22","doi-asserted-by":"publisher","first-page":"341","DOI":"10.2307\/1993295","volume":"95","author":"M. Rabin","year":"1960","unstructured":"Rabin, M.: Computable algebra, general theory, and theory of com- putable elds. Transactions of the American Mathematical Society\u00a095, 341\u2013360 (1960)","journal-title":"Transactions of the American Mathematical Society"},{"key":"36_CR23","doi-asserted-by":"publisher","first-page":"387","DOI":"10.2307\/2043534","volume":"83","author":"J.B. Remmel","year":"1981","unstructured":"Remmel, J.B.: Recursively categorical linear orderings. Proc. Amer. Math. Soc.\u00a083, 387\u2013391 (1981)","journal-title":"Proc. Amer. Math. Soc."},{"key":"36_CR24","series-title":"LNM","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/BFb0090954","volume-title":"Logic Year 1979 - 80","author":"R.L. Smith","year":"1981","unstructured":"Smith, R.L.: Two theorems on autostability in p-groups. In: Logic Year 1979 - 80. LNM, vol.\u00a0859, pp. 302\u2013311. Springer, University of Connecticut, Berlin, Storrs (1981)"},{"key":"36_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees","author":"R.I. Soare","year":"1987","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees. Springer, New York (1987)"},{"key":"36_CR26","volume-title":"Infinite Abelian Groups","author":"L. Fuchs","year":"1975","unstructured":"Fuchs, L.: Infinite Abelian Groups, vol.\u00a0I. Academic Press, London (1975)"}],"container-title":["Lecture Notes in Computer Science","Programs, Proofs, Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13962-8_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:16:53Z","timestamp":1619785013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13962-8_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642139611","9783642139628"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13962-8_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}