乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,11]],"date-time":"2023-12-11T10:25:57Z","timestamp":1702290357498},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2016,3,17]],"date-time":"2016-03-17T00:00:00Z","timestamp":1458172800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003443","name":"Ministry of Education and Science of the Russian Federation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003443","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002261","name":"Russian Foundation for Basic Research","doi-asserted-by":"publisher","award":["14-01-00376"],"id":[{"id":"10.13039\/501100002261","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s11225-016-9667-y","type":"journal-article","created":{"date-parts":[[2016,3,18]],"date-time":"2016-03-18T15:27:28Z","timestamp":1458314848000},"page":"1083-1097","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Categoricity Spectra for Polymodal Algebras"],"prefix":"10.1007","volume":"104","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-5834-2770","authenticated-orcid":false,"given":"Nikolay","family":"Bazhenov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,17]]},"reference":[{"key":"9667_CR1","unstructured":"Ash, C. J., and J. F. Knight, Computable structures and the hyperarithmetical hierarchy, vol. 144 of Studies in Logic and the Foundations of Mathematics, Elsevier Science B.V., Amsterdam etc., 2000."},{"issue":"4","key":"9667_CR2","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1007\/s10958-014-2148-9","volume":"203","author":"N.A. Bazhenov","year":"2014","unstructured":"Bazhenov N.A.: $${\\Delta_2^0}$$ \u0394 2 0 -categoricity of Boolean algebras. Journal of Mathematical Sciences (New York) 203(4), 444\u2013454 (2014)","journal-title":"Journal of Mathematical Sciences (New York)"},{"issue":"6","key":"9667_CR3","doi-asserted-by":"crossref","first-page":"738","DOI":"10.1007\/s10958-015-2629-5","volume":"211","author":"N.A. Bazhenov","year":"2015","unstructured":"Bazhenov N.A.: 2-Computably enumerable degrees of categoricity for Boolean algebras with distinguished automorphisms. Journal of Mathematical Sciences (New York) 211(6), 738\u2013746 (2015)","journal-title":"Journal of Mathematical Sciences (New York)"},{"issue":"6","key":"9667_CR4","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1007\/s10469-015-9311-3","volume":"53","author":"N.A. Bazhenov","year":"2015","unstructured":"Bazhenov N.A.: Autostability spectra for Boolean algebras. Algebra and Logic 53(6), 502\u2013505 (2015)","journal-title":"Algebra and Logic"},{"issue":"5","key":"9667_CR5","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/s10469-012-9199-0","volume":"51","author":"A. Bazhenov N.","year":"2012","unstructured":"Bazhenov N. A., Tukhbatullina R.R.: Constructivizability of the Boolean algebra B(\u03c9) with a distinguished automorphism. Algebra and Logic 51(5), 384\u2013403 (2012)","journal-title":"Algebra and Logic"},{"issue":"6","key":"9667_CR6","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1023\/B:ALLO.0000048827.30718.2c","volume":"43","author":"W. Calvert","year":"2004","unstructured":"Calvert W., Cummins D., Knight J. F., Miller S.: Comparing classes of finite structures. Algebra and Logic 43(6), 374\u2013392 (2004)","journal-title":"Algebra and Logic"},{"issue":"2","key":"9667_CR7","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1215\/00294527-1960479","volume":"54","author":"B.F. Csima","year":"2013","unstructured":"Csima B.F., Franklin J.N.Y., Shore R.A.: Degrees of categoricity and the hyperarithmetic hierarchy. Notre Dame Journal of Formal Logic, 54(2), 215\u2013231 (2013)","journal-title":"Notre Dame Journal of Formal Logic,"},{"key":"9667_CR8","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1016\/j.aim.2014.09.022","volume":"268","author":"R.G. Downey","year":"2015","unstructured":"Downey R.G., Kach A.M., Lempp S., Lewis-Pye A.E.M., Montalb\u00e1n A., Turetsky D.D.: The complexity of computable categoricity. Advances in Mathematics 268, 423\u2013466 (2015)","journal-title":"Advances in Mathematics"},{"key":"9667_CR9","doi-asserted-by":"crossref","unstructured":"Ershov, Yu. L., and S. S. Goncharov, Constructive models, Siberian School of Algebra and Logic, Kluwer Academic\/Plenum Publishers, New York, 2000.","DOI":"10.1007\/978-1-4615-4305-3"},{"key":"9667_CR10","doi-asserted-by":"crossref","unstructured":"Fokina, E. B., V. Harizanov, and A. Melnikov, Computable model theory, in R. Downey, (ed.), Turing\u2019s Legacy: Developments from Turing Ideas in Logic, vol. 42 of Lecture Notes in Logic, Cambridge University Press, Cambridge, 2014, pp. 124\u2013194.","DOI":"10.1017\/CBO9781107338579.006"},{"issue":"1","key":"9667_CR11","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/s00153-009-0160-4","volume":"49","author":"E.B. Fokina","year":"2010","unstructured":"Fokina E.B., Kalimullin I., Miller R.: Degrees of categoricity of computable structures. Archive for Mathematical Logic 49(1), 51\u201367 (2010)","journal-title":"Archive for Mathematical Logic"},{"issue":"3","key":"9667_CR12","doi-asserted-by":"crossref","first-page":"894","DOI":"10.2307\/2274750","volume":"54","author":"H. Friedman","year":"1989","unstructured":"Friedman H., Stanley L.: A Borel reducibility theory for classes of countable structures. The Journal of Symbolic Logic 54(3), 894\u2013914 (1989)","journal-title":"The Journal of Symbolic Logic"},{"key":"9667_CR13","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1098\/rsta.1956.0003","volume":"248","author":"A. Fr\u00f6hlich","year":"1956","unstructured":"Fr\u00f6hlich A., Shepherdson J.C.: Effective procedures in field theory. Philosophical Transactions of the Royal Society of London Series A 248, 407\u2013432 (1956)","journal-title":"Philosophical Transactions of the Royal Society of London Series A"},{"issue":"4","key":"9667_CR14","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1093\/jigpal\/8.4.393","volume":"8","author":"R. Goldblatt","year":"2000","unstructured":"Goldblatt R.: Algebraic polymodal logic: a survey. Logic Journal of the IGPL 8(4), 393\u2013450 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"9667_CR15","doi-asserted-by":"crossref","unstructured":"Goncharov, S., and B. Khoussainov, Open problems in the theory of constructive algebraic systems, in P. A. Cholak, S. Lempp, M. Lerman, and R. A. Shore, (eds.), Computability Theory and Its Applications: Current Trends and Open Problems, vol. 257 of Contemporary Mathematics, American Mathematical Society, Providence, RI, 2000, pp. 145\u2013170.","DOI":"10.1090\/conm\/257\/04032"},{"key":"9667_CR16","unstructured":"Goncharov, S. S., Countable Boolean algebras and decidability, Siberian School of Algebra and Logic, Consultants Bureau, New York, 1997."},{"issue":"1","key":"9667_CR17","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1134\/S0081543811060071","volume":"274","author":"S.S. Goncharov","year":"2011","unstructured":"Goncharov S.S.: Degrees of autostability relative to strong constructivizations. Proceedings of the Steklov Institute of Mathematics 274(1), 105\u2013115 (2011)","journal-title":"Proceedings of the Steklov Institute of Mathematics"},{"issue":"2","key":"9667_CR18","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1134\/S106456241505004X","volume":"92","author":"S.S. Goncharov","year":"2015","unstructured":"Goncharov S.S., Bazhenov N.A., Marchuk M.I.: Index sets of autostable relative to strong constructivizations constructive models for familiar classes. Doklady Mathematics 92(2), 525\u2013527 (2015)","journal-title":"Doklady Mathematics"},{"issue":"1","key":"9667_CR19","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/BF01669102","volume":"19","author":"S.S. Goncharov","year":"1980","unstructured":"Goncharov S.S., Dzgoev V.D.: Autostability of models. Algebra and Logic 19(1), 28\u201337 (1980)","journal-title":"Algebra and Logic"},{"issue":"1\u20133","key":"9667_CR20","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S0168-0072(01)00087-2","volume":"115","author":"R. Hirschfeldt D.","year":"2002","unstructured":"Hirschfeldt D. R., Khoussainov B., Shore R.A., Slinko A.M.: Degree spectra and computable dimensions in algebraic structures. Annals of Pure and Applied Logic 115(1\u20133), 71\u2013113 (2002)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9667_CR21","doi-asserted-by":"crossref","unstructured":"Kalimullin, I., B. Khoussainov, and A. Melnikov, Limitwise monotonic sequences and degree spectra of structures, Proceedings of the American Mathematical Society 141(9):3275\u20133289, 2013.","DOI":"10.1090\/S0002-9939-2013-11586-8"},{"issue":"3","key":"9667_CR22","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/s11225-012-9411-1","volume":"100","author":"B. Khoussainov","year":"2012","unstructured":"Khoussainov B., Kowalski T.: Computable isomorphisms of Boolean algebras with operators. Studia Logica 100(3), 481\u2013496 (2012)","journal-title":"Studia Logica"},{"issue":"4","key":"9667_CR23","doi-asserted-by":"crossref","first-page":"1034","DOI":"10.2307\/2273915","volume":"51","author":"F. Knight J.","year":"1986","unstructured":"Knight J. F.: Degrees coded in jumps of orderings. The Journal of Symbolic Logic 51(4), 1034\u20131042 (1986)","journal-title":"The Journal of Symbolic Logic"},{"issue":"4","key":"9667_CR24","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1134\/S1995080214040192","volume":"35","author":"F. Knight J.","year":"2014","unstructured":"Knight J. F.: Using computability to measure complexity of algebraic structures and classes of structures. Lobachevskii Journal of Mathematics 35(4), 304\u2013312 (2014)","journal-title":"Lobachevskii Journal of Mathematics"},{"issue":"3","key":"9667_CR25","doi-asserted-by":"crossref","first-page":"901","DOI":"10.2178\/jsl\/1191333847","volume":"72","author":"F. Knight J.","year":"2007","unstructured":"Knight J. F., Miller S., Vanden Boom M.: Turing computable embeddings. The Journal of Symbolic Logic 72(3), 901\u2013918 (2007)","journal-title":"The Journal of Symbolic Logic"},{"issue":"5","key":"9667_CR26","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/s10469-015-9360-7","volume":"54","author":"T. Kogabaev N.","year":"2015","unstructured":"Kogabaev N. T.: The theory of projective planes is complete with respect to degree spectra and effective dimensions. Algebra and Logic 54(5), 387\u2013407 (2015)","journal-title":"Algebra and Logic"},{"issue":"3","key":"9667_CR27","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1070\/RM1961v016n03ABEH001120","volume":"16","author":"I. Mal\u2019tsev A.","year":"1961","unstructured":"Mal\u2019tsev A. I.: Constructive algebras I. Russian Mathematical Surveys 16(3), 77\u2013129 (1961)","journal-title":"Russian Mathematical Surveys"},{"key":"9667_CR28","first-page":"1431","volume":"32","author":"I. Mal\u2019tsev A.","year":"1962","unstructured":"Mal\u2019tsev A. I.: On recursive abelian groups. Soviet Mathematics. Doklady 32, 1431\u20131434 (1962)","journal-title":"Soviet Mathematics. Doklady"},{"issue":"4","key":"9667_CR29","doi-asserted-by":"crossref","first-page":"1325","DOI":"10.2178\/jsl\/1254748694","volume":"74","author":"R. Miller","year":"2009","unstructured":"Miller R.: d-computable categoricity for algebraic fields. The Journal of Symbolic Logic 74(4), 1325\u20131351 (2009)","journal-title":"The Journal of Symbolic Logic"},{"key":"9667_CR30","unstructured":"Miller, R., B. Poonen, H. Schoutens, and A. Shlapentokh, A computable functor from graphs to fields. arXiv:1510.07322 , 2015."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9667-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9667-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9667-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9667-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T17:51:19Z","timestamp":1567705879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9667-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,17]]},"references-count":30,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9667"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9667-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,17]]}}}