{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T08:00:35Z","timestamp":1773907235082,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319200279","type":"print"},{"value":"9783319200286","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20028-6_12","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T10:07:37Z","timestamp":1434708457000},"page":"117-126","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Prime Model with No Degree of Autostability Relative to Strong Constructivizations"],"prefix":"10.1007","author":[{"given":"Nikolay","family":"Bazhenov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"12_CR1","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. London. Ser. A. 248, 407\u2013432 (1956)","journal-title":"Philos. Trans. Roy. Soc. London. Ser. A."},{"key":"12_CR2","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)","journal-title":"Russ. Math. Surv."},{"key":"12_CR3","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."},{"key":"12_CR4","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. Logic. 49, 51\u201367 (2010)","journal-title":"Arch. Math. Logic."},{"key":"12_CR5","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. Formal Logic. 54, 215\u2013231 (2013)","journal-title":"Notre Dame J. Formal Logic."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10469-013-9233-x","volume":"52","author":"NA Bazhenov","year":"2013","unstructured":"Bazhenov, N.A.: Degrees of categoricity for superatomic Boolean algebras. Algebra Logic. 52, 179\u2013187 (2013)","journal-title":"Algebra Logic."},{"key":"12_CR7","unstructured":"Anderson, B.A., Csima, B.F.: Degrees that are not degrees of categoricity. Notre Dame J. Formal Logic. (to appear)"},{"key":"12_CR8","unstructured":"Fokina, E., Frolov, A., Kalimullin, I.: Categoricity spectra for rigid structures. Notre Dame J. Formal Logic. (to appear)"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1134\/S0081543811060071","volume":"274","author":"SS Goncharov","year":"2011","unstructured":"Goncharov, S.S.: Degrees of autostability relative to strong constructivizations. Proc. Steklov Inst. Math. 274, 105\u2013115 (2011)","journal-title":"Proc. Steklov Inst. Math."},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"1325","DOI":"10.2178\/jsl\/1254748694","volume":"74","author":"R Miller","year":"2009","unstructured":"Miller, R.: $$\\mathbf{d}$$-computable categoricity for algebraic fields. J. Symb. Log. 74, 1325\u20131351 (2009)","journal-title":"J. Symb. Log."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Fokina, E.B., Harizanov, V., Melnikov, A.: Computable model theory. In: Downey, R. (ed.) Turing\u2019s Legacy: Developments from Turing Ideas in Logic. Lecture Notes Logic, vol. 42, pp. 124\u2013194. Cambridge University Press, Cambridge (2014)","DOI":"10.1017\/CBO9781107338579.006"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/s10469-015-9311-3","volume":"53","author":"NA Bazhenov","year":"2014","unstructured":"Bazhenov, N.A.: Autostability spectra for Boolean algebras. Algebra Logic. 53, 502\u2013505 (2014)","journal-title":"Algebra Logic."},{"key":"12_CR13","volume-title":"Model Theory","author":"CC Chang","year":"1973","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. North-Holland, Amsterdam (1973)"},{"key":"12_CR14","first-page":"33","volume":"173","author":"CG Jockusch","year":"1972","unstructured":"Jockusch, C.G., Soare, R.I.: $$\\Pi ^0_1$$ classes and degrees of theories. Trans. Amer. Math. Soc. 173, 33\u201356 (1972)","journal-title":"Trans. Amer. Math. Soc."},{"key":"12_CR15","unstructured":"Cenzer, D.: $$\\Pi ^0_1$$ classes in computability theory. In: Griffor, E.R. (ed.) Handbook of Computability Theory. Studies Logic Foundations Mathematics, vol. 140, pp. 37\u201385. Elsevier Science B.V., Amsterdam (1999)"},{"key":"12_CR16","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. Elsevier Science B.V, Amsterdam (2000)"},{"key":"12_CR17","doi-asserted-by":"publisher","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. Kluwer Academic\/Plenum Publishers, New York (2000)"},{"key":"12_CR18","volume-title":"Countable Boolean Algebras and Decidability","author":"SS Goncharov","year":"1997","unstructured":"Goncharov, S.S.: Countable Boolean Algebras and Decidability. Consultants Bureau, New York (1997)"},{"key":"12_CR19","first-page":"17","volume":"3","author":"YL Ershov","year":"1964","unstructured":"Ershov, Y.L.: Decidability of the elementary theory of distributive lattices with relative complements and the theory of filters. Algebra Logic. 3, 17\u201338 (1964)","journal-title":"Algebra Logic."},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s00153-012-0308-5","volume":"52","author":"RM Steiner","year":"2013","unstructured":"Steiner, R.M.: Effective algebraicity. Arch. Math. Logic. 52, 91\u2013112 (2013)","journal-title":"Arch. Math. Logic."}],"container-title":["Lecture Notes in Computer Science","Evolving Computability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20028-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:36:20Z","timestamp":1676943380000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20028-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319200279","9783319200286"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20028-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}