{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:01:04Z","timestamp":1725858064517},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319401881"},{"type":"electronic","value":"9783319401898"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40189-8_26","type":"book-chapter","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T15:34:07Z","timestamp":1465832047000},"page":"251-260","source":"Crossref","is-referenced-by-count":2,"title":["Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra"],"prefix":"10.1007","author":[{"given":"Rumen","family":"Dimitrov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentina","family":"Harizanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Morozov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,14]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/j.apal.2004.06.007","volume":"132","author":"R Dimitrov","year":"2005","unstructured":"Dimitrov, R., Harizanov, V., Morozov, A.S.: Dependence relations in computably rigid computable vector spaces. Ann. Pure Appl. Logic 132, 97\u2013108 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"26_CR2","series-title":"Studies in Logic and the Foundations of Mathematics","first-page":"997","volume-title":"Handbook of Recursive Mathematics, vol. 2","author":"RG Downey","year":"1998","unstructured":"Downey, R.G., Remmel, J.B.: Computable algebras, closure systems: coding properties. In: Ershov, Y., Goncharov, S.S., Nerode, A., Remmel, J.B. (eds.) Handbook of Recursive Mathematics, vol. 2. Studies in Logic and the Foundations of Mathematics, vol. 139, pp. 997\u20131039. North-Holland, Amsterdam (1998)"},{"key":"26_CR3","series-title":"Siberian School of Algebra and Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4305-3","volume-title":"Constructive Models","author":"YL Ershov","year":"2000","unstructured":"Ershov, Y.L., Goncharov, S.S.: Constructive Models. Siberian School of Algebra and Logic. Kluwer Academic\/Plenum Publishers, New York (2000). (English translation)"},{"key":"26_CR4","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1017\/CBO9781107338579.006","volume-title":"Turing\u2019s Legacy: Developments from Turing Ideas in Logic","author":"E Fokina","year":"2014","unstructured":"Fokina, E., Harizanov, V., Melnikov, A.: Computable model theory. In: Downey, R. (ed.) Turing\u2019s Legacy: Developments from Turing Ideas in Logic, pp. 124\u2013194. Cambridge University Press\/ASL, Cambridge (2014)"},{"key":"26_CR5","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s11202-005-0043-9","volume":"46","author":"S Goncharov","year":"2005","unstructured":"Goncharov, S., Harizanov, V., Knight, J., Morozov, A., Romina, A.: On automorphic tuples of elements in computable models. Siberian Math. J. 46, 405\u2013412 (2005). (English translation)","journal-title":"Siberian Math. J."},{"key":"26_CR6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0168-0072(83)90053-2","volume":"25","author":"DR Guichard","year":"1983","unstructured":"Guichard, D.R.: Automorphisms of substructure lattices in recursive algebra. Ann. Pure Appl. Logic 25, 47\u201358 (1983)","journal-title":"Ann. Pure Appl. Logic"},{"key":"26_CR7","doi-asserted-by":"crossref","first-page":"324","DOI":"10.2178\/jsl\/1174668398","volume":"72","author":"V Harizanov","year":"2007","unstructured":"Harizanov, V., Miller, R.: Spectra of structures and relations. J. Sym. Logic 72, 324\u2013348 (2007)","journal-title":"J. Sym. Logic"},{"key":"26_CR8","doi-asserted-by":"crossref","first-page":"1034","DOI":"10.2307\/2273915","volume":"51","author":"JF Knight","year":"1986","unstructured":"Knight, J.F.: Degrees coded in jumps of orderings. J. Sym. Logic 51, 1034\u20131042 (1986)","journal-title":"J. Sym. Logic"},{"key":"26_CR9","first-page":"147","volume":"11","author":"G Metakides","year":"1977","unstructured":"Metakides, G., Nerode, A.: Recursively enumerable vector spaces. Ann. Pure Appl. Logic 11, 147\u2013171 (1977)","journal-title":"Ann. Pure Appl. Logic"},{"key":"26_CR10","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/BF01978299","volume":"27","author":"AS Morozov","year":"1988","unstructured":"Morozov, A.S.: Permutations and implicit definability. Algebra Logic 27, 12\u201324 (1988). (English translation)","journal-title":"Algebra Logic"},{"key":"26_CR11","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1007\/BF02674629","volume":"38","author":"AS Morozov","year":"1997","unstructured":"Morozov, A.S.: Turing reducibility as algebraic embeddability. Siberian Math. J. 38, 312\u2013313 (1997). (English translation)","journal-title":"Siberian Math. J."},{"key":"26_CR12","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S0049-237X(98)80009-8","volume-title":"Handbook of Recursive Mathematics, vol. 1","author":"AS Morozov","year":"1998","unstructured":"Morozov, A.S.: Groups of computable automorphisms. In: Ershov, Y.L., Goncharov, S.S., Nerode, A., Remmel, J.B. (eds.) Handbook of Recursive Mathematics, vol. 1. Studies in Logic and the Foundations of Mathematics, vol. 139, pp. 311\u2013345. North-Holland, Amsterdam (1998)"},{"key":"26_CR13","unstructured":"Morozov, A.S., On theories of classes of groups of recursive permutations. Tr. Inst. Matematiki (Novosibirsk) 12 (1989). Mat. Logika i Algoritm. Probl. 91\u2013104 (Russian). (English translation. Siberian Adv. Math. 1, 138\u2013153 (1991))"},{"key":"26_CR14","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BF01979013","volume":"25","author":"AS Morozov","year":"1986","unstructured":"Morozov, A.S.: Computable groups of automorphisms of models. Algebra Logic 25, 261\u2013266 (1986). (English translation)","journal-title":"Algebra Logic"},{"key":"26_CR15","unstructured":"Richter, L.J.: Degrees of unsolvability of models. Ph.D. dissertation, University of Illinois at Urbana-Champaign (1977)"},{"key":"26_CR16","doi-asserted-by":"crossref","first-page":"723","DOI":"10.2307\/2273222","volume":"46","author":"LJ Richter","year":"1981","unstructured":"Richter, L.J.: Degrees of structures. J. Sym. Logic 46, 723\u2013731 (1981)","journal-title":"J. Sym. Logic"},{"key":"26_CR17","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H Rogers","year":"1967","unstructured":"Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)"},{"key":"26_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees","author":"RI Soare","year":"1987","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees. Springer, Heidelberg (1987)"}],"container-title":["Lecture Notes in Computer Science","Pursuit of the Universal"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40189-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:17:31Z","timestamp":1498321051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40189-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319401881","9783319401898"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40189-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}