{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T06:18:51Z","timestamp":1780467531876,"version":"3.54.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T00:00:00Z","timestamp":1658880000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T00:00:00Z","timestamp":1658880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100002261","name":"\u0420\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u0438\u0439 \u0424\u043e\u043d\u0434 \u0424\u0443\u043d\u0434\u0430\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u044b\u0445 \u0418\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0439","doi-asserted-by":"publisher","award":["20-31-70006"],"award-info":[{"award-number":["20-31-70006"]}],"id":[{"id":"10.13039\/501100002261","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1007\/s10849-022-09371-0","type":"journal-article","created":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T19:11:51Z","timestamp":1658949111000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Computable Heyting Algebras with Distinguished Atoms and Coatoms"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5834-2770","authenticated-orcid":false,"given":"Nikolay","family":"Bazhenov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,7,27]]},"reference":[{"issue":"5","key":"9371_CR1","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1016\/j.apal.2011.06.007","volume":"163","author":"PE Alaev","year":"2012","unstructured":"Alaev, P. E. (2012). Computably categorical Boolean algebras enriched by ideals and atoms. Annals of Pure and Applied Logic, 163(5), 485\u2013499.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9371_CR2","volume-title":"Computable structures and the hyperarithmetical hierarchy, studies in Logic and the foundations of mathematics","author":"CJ Ash","year":"2000","unstructured":"Ash, C. J., & Knight, J. F. (2000). Computable structures and the hyperarithmetical hierarchy, studies in Logic and the foundations of mathematics. Amsterdam: Elsevier Science B.V."},{"key":"9371_CR3","volume-title":"Distributive lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., & Dwinger, P. (1974). Distributive lattices. Columbia: Univ. Missouri Press."},{"issue":"6","key":"9371_CR4","doi-asserted-by":"publisher","first-page":"1083","DOI":"10.1007\/s11225-016-9667-y","volume":"104","author":"N Bazhenov","year":"2016","unstructured":"Bazhenov, N. (2016). Categoricity spectra for polymodal algebras. Studia Logica, 104(6), 1083\u20131097.","journal-title":"Studia Logica"},{"issue":"4","key":"9371_CR5","doi-asserted-by":"publisher","first-page":"257","DOI":"10.3233\/FI-2019-1817","volume":"167","author":"N Bazhenov","year":"2019","unstructured":"Bazhenov, N. (2019). Computable contact algebras. Fundamenta Informaticae, 167(4), 257\u2013269.","journal-title":"Fundamenta Informaticae"},{"key":"9371_CR6","unstructured":"Bazhenov, N. (2021a). On computability-theoretic properties of Heyting algebras. In: Ghosh, S., Ramanujam, R. (eds) ICLA 2021 Proceedings 9th Indian conference on logic and its applications. March 4\u20137, 2021, pp 25\u201329"},{"issue":"4","key":"9371_CR7","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1134\/S1995080217040035","volume":"38","author":"NA Bazhenov","year":"2017","unstructured":"Bazhenov, N. A. (2017). Effective categoricity for distributive lattices and Heyting algebras. Lobachevskii Journal of Mathematics, 38(4), 600\u2013614.","journal-title":"Lobachevskii Journal of Mathematics"},{"issue":"1","key":"9371_CR8","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/s10958-021-05419-x","volume":"256","author":"NA Bazhenov","year":"2021","unstructured":"Bazhenov, N. A. (2021). Categoricity spectra of computable structures. Journal of Mathematical Sciences, 256(1), 34\u201350.","journal-title":"Journal of Mathematical Sciences"},{"key":"9371_CR9","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1016\/j.aim.2014.09.022","volume":"268","author":"RG Downey","year":"2015","unstructured":"Downey, R. G., Kach, A. M., Lempp, S., Lewis-Pye, A. E. M., Montalb\u00e1n, A., & Turetsky, D. D. (2015). The complexity of computable categoricity. Advances in Mathematics, 268, 423\u2013466.","journal-title":"Advances in Mathematics"},{"key":"9371_CR10","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. (2000). Constructive models. New York: Kluwer Academic\/Plenum Publishers."},{"issue":"19\u201324","key":"9371_CR11","first-page":"289","volume":"23","author":"JL Er\u0161ov","year":"1977","unstructured":"Er\u0161ov, J. L. (1977). Theorie der Numerierungen III. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 23(19\u201324), 289\u2013371.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"9371_CR12","volume-title":"Duality theory trends in logic","author":"L Esakia","year":"2019","unstructured":"Esakia, L. (2019). Heyting algebras. In G. Bezhanishvili & W. H. Holliday (Eds.), Duality theory trends in logic. Cham: Springer."},{"key":"9371_CR13","doi-asserted-by":"crossref","unstructured":"Fokina, E. B., Harizanov, V., & Melnikov, A. (2014). Computable model theory. Lecture notes in logic. In R. Downey (Ed.), Turing\u2019s legacy: Developments from turing\u2019s ideas in logic (pp. 124\u2013194). Cambridge University Press.","DOI":"10.1017\/CBO9781107338579.006"},{"key":"9371_CR14","doi-asserted-by":"crossref","unstructured":"Franklin, J. N. Y. (2017). Strength and weakness in computable structure theory. In A. R. Day, M. R. Fellows, N. Greenberg, B. Khoussainov, A. G. Melnikov, & F. A. Rosamond (Eds.), Computability and complexity (pp. 302\u2013323). Springer.","DOI":"10.1007\/978-3-319-50062-1_20"},{"issue":"950","key":"9371_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. (1956). Effective procedures in field theory. Philosophical Transactions of the Royal Society of London Ser A, 248(950), 407\u2013432.","journal-title":"Philosophical Transactions of the Royal Society of London Ser A"},{"issue":"6","key":"9371_CR16","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF01669323","volume":"19","author":"SS Goncharov","year":"1980","unstructured":"Goncharov, S. S. (1980). Problem of the number of non-self-equivalent constructivizations. Algebra and Logic, 19(6), 401\u2013414.","journal-title":"Algebra and Logic"},{"issue":"1","key":"9371_CR17","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/BF01669102","volume":"19","author":"SS Goncharov","year":"1980","unstructured":"Goncharov, S. S., & Dzgoev, V. D. (1980). Autostability of models. Algebra and Logic, 19(1), 28\u201337.","journal-title":"Algebra and Logic"},{"issue":"1","key":"9371_CR18","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/S0001-8708(02)00042-7","volume":"175","author":"SS Goncharov","year":"2003","unstructured":"Goncharov, S. S., Lempp, S., & Solomon, R. (2003). The computable dimension of ordered abelian groups. Advances in Mathematics, 175(1), 102\u2013143.","journal-title":"Advances in Mathematics"},{"key":"9371_CR19","first-page":"3","volume-title":"Handbook of recursive mathematics. Studies in logic and the foundations of mathematics","author":"VS Harizanov","year":"1998","unstructured":"Harizanov, V. S. (1998). Pure computable model theory. Handbook of recursive mathematics. Studies in logic and the foundations of mathematics (pp. 3\u2013114). Amsterdam: Elsevier."},{"issue":"1\u20133","key":"9371_CR20","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0168-0072(01)00087-2","volume":"115","author":"DR Hirschfeldt","year":"2002","unstructured":"Hirschfeldt, D. R., Khoussainov, B., Shore, R. A., & Slinko, A. M. (2002). Degree spectra and computable dimensions in algebraic structures. Annals of Pure and Applied Logic, 115(1\u20133), 71\u2013113.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"9371_CR21","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.2307\/2275695","volume":"59","author":"CG Jockusch Jr","year":"1994","unstructured":"Jockusch, C. G., Jr., & Soare, R. I. (1994). Boolean algebras, stone spaces, and the iterated turing jump. Journal of Symbolic Logic, 59(4), 1121\u20131138.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9371_CR22","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10958-021-05424-0","volume":"256","author":"IS Kalimullin","year":"2021","unstructured":"Kalimullin, I. S., Selivanov, V. L., & Frolov, A. N. (2021). Degree spectra of structures. Journal of Mathematical Sciences, 256(2), 143\u2013159.","journal-title":"Journal of Mathematical Sciences"},{"issue":"3","key":"9371_CR23","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/s11225-012-9411-1","volume":"100","author":"B Khoussainov","year":"2012","unstructured":"Khoussainov, B., & Kowalski, T. (2012). Computable isomorphisms of Boolean algebras with operators. Studia Logica, 100(3), 481\u2013496.","journal-title":"Studia Logica"},{"issue":"4","key":"9371_CR24","doi-asserted-by":"publisher","first-page":"1034","DOI":"10.2307\/2273915","volume":"51","author":"JF Knight","year":"1986","unstructured":"Knight, J. F. (1986). Degrees coded in jumps of orderings. Journal of Symbolic Logic, 51(4), 1034\u20131042.","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"9371_CR25","doi-asserted-by":"publisher","first-page":"1605","DOI":"10.2307\/2695066","volume":"65","author":"JF Knight","year":"2000","unstructured":"Knight, J. F., & Stob, M. (2000). Computable Boolean algebras. Journal of Symbolic Logic, 65(4), 1605\u20131623.","journal-title":"Journal of Symbolic Logic"},{"issue":"6","key":"9371_CR26","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/s10469-017-9418-9","volume":"55","author":"N Kogabaev","year":"2017","unstructured":"Kogabaev, N. (2017). Freely generated projective planes with finite computable dimension. Algebra and Logic, 55(6), 461\u2013484.","journal-title":"Algebra and Logic"},{"issue":"3","key":"9371_CR27","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1070\/RM1961v016n03ABEH001120","volume":"16","author":"AI Mal\u2019tsev","year":"1961","unstructured":"Mal\u2019tsev, A. I. (1961). Constructive algebras. I. Russian Mathematical Surveys, 16(3), 77\u2013129.","journal-title":"Russian Mathematical Surveys"},{"key":"9371_CR28","first-page":"1431","volume":"3","author":"AI Mal\u2019tsev","year":"1962","unstructured":"Mal\u2019tsev, A. I. (1962). On recursive abelian groups. Soviet Mathematics Doklady, 3, 1431\u20131434.","journal-title":"Soviet Mathematics Doklady"},{"issue":"1","key":"9371_CR29","doi-asserted-by":"publisher","first-page":"111","DOI":"10.2178\/jsl\/1107298513","volume":"70","author":"R Miller","year":"2005","unstructured":"Miller, R. (2005). The computable dimension of trees of infinite height. Journal of Symbolic Logic, 70(1), 111\u2013141.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9371_CR30","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1017\/jsl.2017.50","volume":"83","author":"R Miller","year":"2018","unstructured":"Miller, R., Poonen, B., Schoutens, H., & Shlapentokh, A. (2018). A computable functor from graphs to fields. Journal of Symbolic Logic, 83(1), 326\u2013348.","journal-title":"Journal of Symbolic Logic"},{"issue":"7","key":"9371_CR31","doi-asserted-by":"publisher","first-page":"2589","DOI":"10.1090\/S0002-9939-08-09248-4","volume":"136","author":"A Montalb\u00e1n","year":"2008","unstructured":"Montalb\u00e1n, A. (2008). On the triple jump of the set of atoms of a Boolean algebra. Proceedings of the American Mathematical Society, 136(7), 2589\u20132595.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"9371_CR32","unstructured":"Montalb\u00e1n, A. (2014). Computability theoretic classifications for classes of structures. In: Jang, S. Y., Kim, Y. R., Lee, D., Yie, I. (eds) Proceedings of the international congress of mathematicians \u2014 Seoul 2014. Vol. II, Kyung Moon Sa, Seoul, pp. 79\u2013101"},{"issue":"3","key":"9371_CR33","doi-asserted-by":"publisher","first-page":"595","DOI":"10.2307\/2273758","volume":"46","author":"JB Remmel","year":"1981","unstructured":"Remmel, J. B. (1981). Recursive Boolean algebras with recursive atoms. Journal of Symbolic Logic, 46(3), 595\u2013616.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"9371_CR34","doi-asserted-by":"publisher","first-page":"572","DOI":"10.2307\/2273757","volume":"46","author":"JB Remmel","year":"1981","unstructured":"Remmel, J. B. (1981). Recursive isomorphism types of recursive Boolean algebras. Journal of Symbolic Logic, 46(3), 572\u2013594.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9371_CR35","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1090\/S0002-9939-1981-0624937-1","volume":"83","author":"JB Remmel","year":"1981","unstructured":"Remmel, J. B. (1981). Recursively categorical linear orderings. Proceedings of the American Mathematical Society, 83(2), 387\u2013391.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"9371_CR36","first-page":"1097","volume-title":"Handbook of Boolean algebras","author":"JB Remmel","year":"1989","unstructured":"Remmel, J. B. (1989). Recursive Boolean algebras. In J. D. Monk & R. Bonnet (Eds.), Handbook of Boolean algebras (pp. 1097\u20131165). Amsterdam: North-Holland."},{"key":"9371_CR37","unstructured":"Richter, L. J. (1977). Degrees of unsolvability of models. PhD thesis, University of Illinois at Urbana-Champaign"},{"issue":"4","key":"9371_CR38","doi-asserted-by":"publisher","first-page":"723","DOI":"10.2307\/2273222","volume":"46","author":"LJ Richter","year":"1981","unstructured":"Richter, L. J. (1981). Degrees of structures. Journal of Symbolic Logic, 46(4), 723\u2013731.","journal-title":"Journal of Symbolic Logic"},{"key":"9371_CR39","volume-title":"Turing computability. Theory and applications","author":"RI Soare","year":"2016","unstructured":"Soare, R. I. (2016). Turing computability. Theory and applications. Berlin: Springer."},{"key":"9371_CR40","unstructured":"Turlington, A. (2010). Computability of Heyting algebras and distributive lattices. PhD thesis, University of Connecticut, Storrs"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09371-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-022-09371-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09371-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T12:08:53Z","timestamp":1676635733000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-022-09371-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,27]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["9371"],"URL":"https:\/\/doi.org\/10.1007\/s10849-022-09371-0","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,27]]},"assertion":[{"value":"1 July 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 July 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}