{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T08:25:45Z","timestamp":1775463945715,"version":"3.50.1"},"reference-count":14,"publisher":"World Scientific Pub Co Pte Lt","issue":"08","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2020,12]]},"abstract":"<jats:p> We find sufficient conditions guaranteeing that for a quasivariety [Formula: see text] of structures of finite type containing a [Formula: see text]-class with respect to [Formula: see text], there exists a subquasivariety [Formula: see text] and a structure [Formula: see text] such that the problems whether a finite lattice embeds into the lattice [Formula: see text] of [Formula: see text]-varieties and into the lattice [Formula: see text] are undecidable. <\/jats:p>","DOI":"10.1142\/s0218196720500563","type":"journal-article","created":{"date-parts":[[2020,7,21]],"date-time":"2020-07-21T15:58:29Z","timestamp":1595347109000},"page":"1609-1624","source":"Crossref","is-referenced-by-count":4,"title":["On the complexity of the lattices of subvarieties and congruences"],"prefix":"10.1142","volume":"30","author":[{"given":"A. V.","family":"Kravchenko","sequence":"first","affiliation":[{"name":"Sobolev Institute of Mathematics SB RAS, 4 Acad. Koptyug Prosp., 630090 Novosibirsk, Russia"},{"name":"Novosibirsk State University, 1 Pirogov St., 630090 Novosibirsk, Russia"},{"name":"Siberian Institute of Management, (Department of the Russian Academy of National Economy and Public Administration under the President of the Russian Federation), 6 Nizhegorodskaya St., 630102 Novosibirsk, Russia"},{"name":"Novosibirsk State Technical University, 20 Karl Marx Prosp., 630073 Novosibirsk, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. M.","family":"Nurakunov","sequence":"additional","affiliation":[{"name":"Institute of Mathematics of the National Academy of Sciences, 265a Chui Prosp., 720071 Bishkek, Kyrgyzstan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. V.","family":"Schwidefsky","sequence":"additional","affiliation":[{"name":"Sobolev Institute of Mathematics SB RAS, 4 Acad. Koptyug Prosp., 630090 Novosibirsk, Russia"},{"name":"Novosibirsk State University, 1 Pirogov St., 630090 Novosibirsk, Russia"},{"name":"Novosibirsk State Technical University, 20 Karl Marx Prosp., 630073 Novosibirsk, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2020,8,28]]},"reference":[{"key":"S0218196720500563BIB001","first-page":"1053","volume":"120","author":"Adams M. E.","year":"1994","journal-title":"Proc. Am. Math. Soc."},{"key":"S0218196720500563BIB002","first-page":"310","volume-title":"Proc. First Canadian Mathematical Congr.","author":"Birkhoff G.","year":"1946"},{"key":"S0218196720500563BIB003","volume-title":"Algebraic Theory of Quasivarieties","author":"Gorbunov V. A.","year":"1998"},{"key":"S0218196720500563BIB004","first-page":"12","volume":"2","author":"Gorbunov V. A.","year":"1982","journal-title":"Proc. Inst. Math. SB RAS"},{"key":"S0218196720500563BIB005","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/s10469-019-09516-4","volume":"57","author":"Kravchenko A. V.","year":"2018","journal-title":"Algebra Logic"},{"key":"S0218196720500563BIB006","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s10469-019-09531-5","volume":"58","author":"Kravchenko A. V.","year":"2019","journal-title":"Algebra Logic"},{"key":"S0218196720500563BIB007","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s00012-019-0588-2","volume":"80","author":"Kravchenko A. V.","year":"2019","journal-title":"Algebra Universalis"},{"key":"S0218196720500563BIB008","first-page":"217","volume-title":"Proc. Int. Mathematical Congr.","author":"Maltsev A. I.","year":"1968"},{"issue":"3","key":"S0218196720500563BIB009","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0218196711006728","volume":"22","author":"Nurakunov A. M.","year":"2012","journal-title":"Int. J. Algebra Comput."},{"key":"S0218196720500563BIB010","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/s10469-014-9286-5","volume":"53","author":"Nurakunov A. M.","year":"2014","journal-title":"Algebra Logic"},{"key":"S0218196720500563BIB011","first-page":"167","volume":"154","author":"Nurakunov A. M.","year":"2012","journal-title":"Mem. Kazan Univ. Phys. Math. Sci. Ser."},{"key":"S0218196720500563BIB013","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s10469-015-9344-7","volume":"54","author":"Schwidefsky M. V.","year":"2015","journal-title":"Algebra Logic"},{"issue":"5","key":"S0218196720500563BIB014","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1134\/S003744661205014X","volume":"53","author":"Schwidefsky M. V.","year":"2012","journal-title":"Siberian Math. J."},{"key":"S0218196720500563BIB015","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196714500489"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196720500563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,21]],"date-time":"2020-11-21T02:56:27Z","timestamp":1605927387000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196720500563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,28]]},"references-count":14,"journal-issue":{"issue":"08","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["10.1142\/S0218196720500563"],"URL":"https:\/\/doi.org\/10.1142\/s0218196720500563","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8,28]]}}}