{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T08:25:05Z","timestamp":1775463905706,"version":"3.50.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319944173","type":"print"},{"value":"9783319944180","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94418-0_4","type":"book-chapter","created":{"date-parts":[[2018,7,4]],"date-time":"2018-07-04T12:38:26Z","timestamp":1530707906000},"page":"40-49","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Degrees of Categoricity for Prime and Homogeneous Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5834-2770","authenticated-orcid":false,"given":"Nikolay","family":"Bazhenov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margarita","family":"Marchuk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,3]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1215\/00294527-3496154","volume":"57","author":"BA Anderson","year":"2016","unstructured":"Anderson, B.A., Csima, B.F.: Degrees that are not degrees of categoricity. Notre Dame J. Form. Log. 57(3), 389\u2013398 (2016). \nhttps:\/\/doi.org\/10.1215\/00294527-3496154","journal-title":"Notre Dame J. Form. Log."},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1090\/S0002-9947-1986-0860377-7","volume":"298","author":"CJ Ash","year":"1986","unstructured":"Ash, C.J.: Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees. Trans. Am. Math. Soc. 298(2), 497\u2013514 (1986). \nhttps:\/\/doi.org\/10.1090\/S0002-9947-1986-0860377-7","journal-title":"Trans. Am. Math. Soc."},{"issue":"3","key":"4_CR3","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0168-0072(90)90004-L","volume":"46","author":"CJ Ash","year":"1990","unstructured":"Ash, C.J., Knight, J.F.: Pairs of recursive structures. Ann. Pure Appl. Log. 46(3), 211\u2013234 (1990). \nhttps:\/\/doi.org\/10.1016\/0168-0072(90)90004-L","journal-title":"Ann. Pure Appl. Log."},{"key":"4_CR4","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Computable Structures and the Hyperarithmetical Hierarchy","author":"CJ Ash","year":"2000","unstructured":"Ash, C.J., Knight, J.F.: Computable Structures and the Hyperarithmetical Hierarchy. Studies in Logic and the Foundations of Mathematics, vol. 144. Elsevier Science B.V., Amsterdam (2000)"},{"issue":"3","key":"4_CR5","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1017\/S096012951600030X","volume":"28","author":"N Bazhenov","year":"2018","unstructured":"Bazhenov, N.: Autostability spectra for decidable structures. Math. Struct. Comput. Sci. 28(3), 392\u2013411 (2018). \nhttps:\/\/doi.org\/10.1017\/S096012951600030X","journal-title":"Math. Struct. Comput. Sci."},{"issue":"4","key":"4_CR6","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s10469-016-9395-4","volume":"55","author":"NA Bazhenov","year":"2016","unstructured":"Bazhenov, N.A.: Degrees of autostability for linear orders and linearly ordered abelian groups. Algebra Log. 55(4), 257\u2013273 (2016). \nhttps:\/\/doi.org\/10.1007\/s10469-016-9395-4","journal-title":"Algebra Log."},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1134\/S1995080217040035","volume":"38","author":"NA Bazhenov","year":"2017","unstructured":"Bazhenov, N.A.: Effective categoricity for distributive lattices and Heyting algebras. Lobachevskii J. Math. 38(4), 600\u2013614 (2017). \nhttps:\/\/doi.org\/10.1134\/S1995080217040035","journal-title":"Lobachevskii J. Math."},{"key":"4_CR8","unstructured":"Bazhenov, N.A., Marchuk, M.I.: Degrees of autostability for prime Boolean algebras. Algebra Logic. To appear"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-319-58741-7_16","volume-title":"Unveiling Dynamics and Complexity","author":"NA Bazhenov","year":"2017","unstructured":"Bazhenov, N.A., Yamaleev, M.M.: Degrees of categoricity of rigid structures. In: Kari, J., Manea, F., Petre, I. (eds.) CiE 2017. LNCS, vol. 10307, pp. 152\u2013161. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-58741-7_16"},{"key":"4_CR10","volume-title":"Model Theory","author":"CC Chang","year":"1973","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. North-Holland, Amsterdam (1973)"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1215\/00294527-1960479","volume":"54","author":"BF Csima","year":"2013","unstructured":"Csima, B.F., Franklin, J.N.Y., Shore, R.A.: Degrees of categoricity and the hyperarithmetic hierarchy. Notre Dame J. Form. Log. 54(2), 215\u2013231 (2013). \nhttps:\/\/doi.org\/10.1215\/00294527-1960479","journal-title":"Notre Dame J. Form. Log."},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1215\/00294527-3322017","volume":"57","author":"E Fokina","year":"2016","unstructured":"Fokina, E., Frolov, A., Kalimullin, I.: Categoricity spectra for rigid structures. Notre Dame J. Form. Log. 57(1), 45\u201357 (2016). \nhttps:\/\/doi.org\/10.1215\/00294527-3322017","journal-title":"Notre Dame J. Form. Log."},{"key":"4_CR13","series-title":"Notes Logic","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1017\/CBO9781107338579.006","volume-title":"Turing\u2019s Legacy: Developments from Turing\u2019s Ideas in Logic, Lect","author":"EB Fokina","year":"2014","unstructured":"Fokina, E.B., Harizanov, V., Melnikov, A.: Computable model theory. In: Downey, R. (ed.) Turing\u2019s Legacy: Developments from Turing\u2019s Ideas in Logic, Lect. Notes Logic, vol. 42, pp. 124\u2013194. Cambridge University Press, Cambridge (2014). \nhttps:\/\/doi.org\/10.1017\/CBO9781107338579.006"},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s00153-009-0160-4","volume":"49","author":"EB Fokina","year":"2010","unstructured":"Fokina, E.B., Kalimullin, I., Miller, R.: Degrees of categoricity of computable structures. Arch. Math. Log. 49(1), 51\u201367 (2010). \nhttps:\/\/doi.org\/10.1007\/s00153-009-0160-4","journal-title":"Arch. Math. Log."},{"key":"4_CR15","doi-asserted-by":"publisher","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. Philos. Trans. Roy. Soc. Lond. Ser. A 248, 407\u2013432 (1956). \nhttps:\/\/doi.org\/10.1098\/rsta.1956.0003","journal-title":"Philos. Trans. Roy. Soc. Lond. Ser. A"},{"issue":"5","key":"4_CR16","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s10469-015-9362-5","volume":"54","author":"AN Frolov","year":"2015","unstructured":"Frolov, A.N.: Effective categoricity of computable linear orderings. Algebra Log. 54(5), 415\u2013417 (2015). \nhttps:\/\/doi.org\/10.1007\/s10469-015-9362-5","journal-title":"Algebra Log."},{"issue":"6","key":"4_CR17","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1007\/s10958-017-3272-0","volume":"221","author":"SS Goncharov","year":"2017","unstructured":"Goncharov, S.S., Bazhenov, N.A., Marchuk, M.I.: Index set of linear orderings that are autostable relative to strong constructivizations. J. Math. Sci. 221(6), 840\u2013848 (2017). \nhttps:\/\/doi.org\/10.1007\/s10958-017-3272-0","journal-title":"J. Math. Sci."},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1070\/RM1961v016n03ABEH001120","volume":"16","author":"AI Mal\u2019tsev","year":"1961","unstructured":"Mal\u2019tsev, A.I.: Constructive algebras I. Russ. Math. Surv. 16, 77\u2013129 (1961). \nhttps:\/\/doi.org\/10.1070\/RM1961v016n03ABEH001120","journal-title":"Russ. Math. Surv."},{"key":"4_CR19","first-page":"1431","volume":"32","author":"AI Mal\u2019tsev","year":"1962","unstructured":"Mal\u2019tsev, A.I.: On recursive abelian groups. Sov. Math. Dokl. 32, 1431\u20131434 (1962)","journal-title":"Sov. Math. Dokl."},{"issue":"4","key":"4_CR20","doi-asserted-by":"publisher","first-page":"1325","DOI":"10.2178\/jsl\/1254748694","volume":"74","author":"R Miller","year":"2009","unstructured":"Miller, R.: d-computable categoricity for algebraic fields. J. Symb. Log. 74(4), 1325\u20131351 (2009). \nhttps:\/\/doi.org\/10.2178\/jsl\/1254748694","journal-title":"J. Symb. Log."},{"issue":"6","key":"4_CR21","doi-asserted-by":"publisher","first-page":"3955","DOI":"10.1090\/S0002-9947-2014-06093-5","volume":"367","author":"R Miller","year":"2015","unstructured":"Miller, R., Shlapentokh, A.: Computable categoricity for algebraic fields with splitting algorithms. Trans. Am. Math. Soc. 367(6), 3955\u20133980 (2015). \nhttps:\/\/doi.org\/10.1090\/S0002-9947-2014-06093-5","journal-title":"Trans. Am. Math. Soc."}],"container-title":["Lecture Notes in Computer Science","Sailing Routes in the World of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94418-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,4]],"date-time":"2018-07-04T12:39:55Z","timestamp":1530707995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94418-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319944173","9783319944180"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94418-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}