{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T11:32:34Z","timestamp":1771673554877,"version":"3.50.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T00:00:00Z","timestamp":1697414400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T00:00:00Z","timestamp":1697414400000},"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":["Stud Logica"],"published-print":{"date-parts":[[2024,8]]},"DOI":"10.1007\/s11225-023-10077-y","type":"journal-article","created":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T09:03:15Z","timestamp":1697446995000},"page":"835-859","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Profinite Locally Finite Quasivarieties"],"prefix":"10.1007","volume":"112","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3363-9674","authenticated-orcid":false,"given":"Anvar M.","family":"Nurakunov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4804-8073","authenticated-orcid":false,"given":"Marina V.","family":"Schwidefsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,16]]},"reference":[{"key":"10077_CR1","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/s00012-020-00692-4","volume":"81","author":"AO Basheyeva","year":"2020","unstructured":"Basheyeva, A.O., M. Mustafa, and A.M. Nurakunov, Properties not retained by pointed enrichments of finite lattices, Algebra Universalis 81:56, 2020","journal-title":"Algebra Universalis"},{"issue":"5","key":"10077_CR2","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/BF01979193","volume":"28","author":"IP Bestsennyi","year":"1989","unstructured":"Bestsennyi, I.P., Quasiidentities of finite unary algebras, Algebra and Logic 28(5):327\u2013340, 1989.","journal-title":"Algebra and Logic"},{"key":"10077_CR3","volume-title":"Natural Dualities for the Working Algebraist","author":"DM Clark","year":"1998","unstructured":"Clark, D.M., and B.A. Davey, Natural Dualities for the Working Algebraist, Cambridge University Press, Cambridge, 1998."},{"issue":"2\u20133","key":"10077_CR4","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s00012-004-1917-6","volume":"52","author":"DM Clark","year":"2005","unstructured":"Clark, D.M., B.A. Davey, R.S. Freese, and M. Jackson, Standard topological algebras: syntactic and principal congruences and profiniteness, Algebra Universalis 52(2-3):343\u2013376, 2005.","journal-title":"Algebra Universalis"},{"issue":"4","key":"10077_CR5","first-page":"859","volume":"29","author":"DM Clark","year":"2003","unstructured":"Clark, D.M., B.A. Davey, M. Haviar, J.G. Pitkethly, and M.R. Talukder, Standard topological quasi-varieties, Houston Journal of Mathematics 29(4):859\u2013887, 2003.","journal-title":"Houston J. Math."},{"issue":"5","key":"10077_CR6","doi-asserted-by":"publisher","first-page":"1604","DOI":"10.1016\/j.aim.2008.03.020","volume":"218","author":"DM Clark","year":"2008","unstructured":"Clark, D.M., B.A. Davey, M.G. Jackson, and J.G. Pitkethly, The axiomatizability of topological prevarieties, Advances in Mathematics 218(5):1604\u20131653, 2008.","journal-title":"Adv. Math."},{"issue":"1","key":"10077_CR7","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1017\/S144678870800061X","volume":"85","author":"BA Davey","year":"2008","unstructured":"Davey, B.A., M. Jackson, M. Maroti, and R.N. McKenzie, Principal and syntactic congruences in congruence-distributive and congruence-permutable varieties, Journal of the Australian Mathematical Society 85(1):59\u201374, 2008.","journal-title":"J. Austral. Math. Soc."},{"issue":"1","key":"10077_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.4064\/fm-133-1-47-57","volume":"133","author":"W Dziobiak","year":"1989","unstructured":"Dziobiak, W. Finitely generated congruence distributive quasivarieties of algebras, Fundamenta Mathematicae 133(1):47\u201357, 1989.","journal-title":"Fund. Math."},{"issue":"4","key":"10077_CR9","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/BF00403339","volume":"41","author":"W Dziobiak","year":"1982","unstructured":"Dziobiak, W. Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra, Studia Logica 41(4):415\u2013428, 1982.","journal-title":"Studia Logica"},{"key":"10077_CR10","volume-title":"Algebraic Theory of Quasivarieties","author":"VA Gorbunov","year":"1998","unstructured":"Gorbunov, V.A. Algebraic Theory of Quasivarieties, Plenum, New York, 1998."},{"key":"10077_CR11","unstructured":"Gorbunov, V.A., and D.M. Smirnov, Finite algebras and the general theory of quasi-varieties, in B. Cs\u00e0k\u00e0ny, and I. Rosenberg, (eds.), Finite Algebra and Multiple-Valued Logic (Szeged, 1979), Colloq. Math. Soc. J. Bolyai 28, North-Holland, Amsterdam\u2013New York, 1981, pp. 325\u2013332."},{"issue":"1","key":"10077_CR12","first-page":"33","volume":"34","author":"M Jackson","year":"2008","unstructured":"Jackson, M. Residual bounds for compact totally disconnected algebras, Houston Journal of Mathematics 34(1):33\u201367, 2008.","journal-title":"Houston J. Math."},{"issue":"1","key":"10077_CR13","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s11225-012-9372-4","volume":"101","author":"M Jackson","year":"2013","unstructured":"Jackson, M., and B. Trotta, Constraint satisfaction, irredundant axiomatisability and continuous colouring, Studia Logica 101(1):65\u201394, 2013.","journal-title":"Studia Logica"},{"key":"10077_CR14","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T., Stone Spaces, Cambridge University Press, Cambridge, 1982."},{"issue":"6","key":"10077_CR15","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/s10469-019-09516-4","volume":"57","author":"AV Kravchenko","year":"2018","unstructured":"Kravchenko, A.V., A.M. Nurakunov, and M.V. Schwidefsky, Structure of quasivariety lattices. I. Independent axiomatizability, Algebra and Logic 57(6):445\u2013462, 2018.","journal-title":"Algebra and Logic"},{"issue":"2","key":"10077_CR16","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10469-019-09531-5","volume":"58","author":"AV Kravchenko","year":"2019","unstructured":"Kravchenko, A.V., A.M. Nurakunov, and M.V. Schwidefsky, Structure of quasivariety lattices. II. Undecidable problems, Algebra and Logic 58(2):123\u2013136, 2019.","journal-title":"Algebra and Logic"},{"issue":"3","key":"10077_CR17","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/s10469-020-09594-9","volume":"59","author":"AV Kravchenko","year":"2020","unstructured":"Kravchenko, A.V., A.M. Nurakunov, and M.V. Schwidefsky, Structure of quasivariety lattices. III. Finitely partitionable bases, Algebra and Logic 59(3):222\u2013229, 2020.","journal-title":"Algebra and Logic"},{"issue":"5","key":"10077_CR18","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1134\/S0037446621050074","volume":"62","author":"AV Kravchenko","year":"2021","unstructured":"Kravchenko, A.V., A.M. Nurakunov, and M.V. Schwidefsky, Structure of quasivariety lattices. IV. Nonstandard quasivarieties, Siberian Mathematical Journal 62(5):850\u2013858, 2021.","journal-title":"Siberian Math. J."},{"key":"10077_CR19","first-page":"1330","volume":"14","author":"AV Kravchenko","year":"2017","unstructured":"Kravchenko, A.V., A.M. Nurakunov, and M.V. Schwidefsky, Quasi-equational bases of differential groupoids and unary algebras, Siberian Electronic Mathematical Reports 14:1330\u20131337, 2017.","journal-title":"Siberian Electronic Mathematical Reports"},{"issue":"2","key":"10077_CR20","first-page":"768","volume":"19","author":"AV Kravchenko","year":"2022","unstructured":"Kravchenko, A.V., and M.V. Schwidefsky, On non-standard quasivarieties of differential groupoids and unary algebras, Siberian Electronic Mathematical Reports 19(2):768\u2013783, 2022","journal-title":"Siberian Electronic Mathematical Reports"},{"issue":"4","key":"10077_CR21","doi-asserted-by":"publisher","first-page":"1566","DOI":"10.1017\/jsl.2017.89","volume":"83","author":"AM Nurakunov","year":"2018","unstructured":"Nurakunov, A.M., and M.M. Stronkowski, Profiniteness in finitely generated varieties is undecidable, Journal of Symbolic Logic 83(4):1566\u20131578, 2018.","journal-title":"J. Symb. Logic"},{"key":"10077_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04097-3","volume-title":"Profinite Groups","author":"L Ribes","year":"2000","unstructured":"Ribes, L., and P. Zalesskii, Profinite Groups, Springer-Verlag, Berlin, 2000."},{"issue":"4","key":"10077_CR23","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/BF01980242","volume":"26","author":"MP Tropin","year":"1987","unstructured":"Tropin, M.P., Bases of quasiidentities of finite distributive $$p$$-algebras, Algebra and Logic 26(4):267\u2013283, 1987.","journal-title":"Algebra and Logic"},{"issue":"1","key":"10077_CR24","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BF01978303","volume":"27","author":"MP Tropin","year":"1988","unstructured":"Tropin, M.P., Finite pseudo-Boolean and topological Boolean algebras not having an independent basis of quasiidentities, Algebra and Logic 27(1):57\u201369, 1988.","journal-title":"Algebra and Logic"},{"issue":"1","key":"10077_CR25","first-page":"27","volume":"37","author":"B Trotta","year":"2011","unstructured":"Trotta, B., Residual properties of reflexive anti-symmetric digraphs, Houston Journal of Mathematics 37(1):27\u201346, 2011.","journal-title":"Houston J. Math."},{"issue":"4","key":"10077_CR26","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1007\/BF01139925","volume":"36","author":"VI Tumanov","year":"1984","unstructured":"Tumanov, V.I., Finite lattices having no independent basis of quasiidentities, Mathematical Notes 36(4):811\u2013815, 1984.","journal-title":"Math. Notes"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10077-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-023-10077-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10077-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,29]],"date-time":"2024-07-29T06:06:33Z","timestamp":1722233193000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-023-10077-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,16]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["10077"],"URL":"https:\/\/doi.org\/10.1007\/s11225-023-10077-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,10,16]]},"assertion":[{"value":"28 September 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 October 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}