Публикации

2026

Селиверстов А.В., Мнения о сочинении ибн ал-Банны из Марокко. VI конференция математических центров России. Тезисы докладов. Казань: Изд-во КФУ, 2026. С. 441. http://iitp.ru/https://mathcenter.kpfu.ru/mc-conf
Хазиев Г.А., Зверко́в О.А., Селиверстов А.В., Усечение несовершенных палиндромов. Программирование. 2026. № 2. С. 115–127. http://iitp.ru/https://elibrary.ru/wautex
Селиверстов А.В., Генерическая сложность поиска двоичного решения системы линейных уравнений. Программирование 2026. № 2. С. 105–114. http://iitp.ru/https://elibrary.ru/oizioh
Хазиев Г.А., Агламазова А.И., Селиверстов А.В., Зверко́в О.А., Рубанов Л.И., Шиловский Г.А., Любецкий В.А., Palindromic sites in highly conserved genomic elements which loss is associated with the expression of orthologous genes. 15th International Multiconference on “Bioinformatics of Genome Regulation and Structure/Systems Biology” – BGRS/SB-2026. Novosibirsk, Russia, July 6-11, 2026. http://iitp.ru/https://bgrssb.icgbio.ru/2026/en/2026/07/07/palindromic-sites-in-highly-conserved-genomic-elements-w
Селиверстов А.В., Малышев К.Ю., A Lower Bound on the Rank of Integer Matrices with Peculiar Leading Diagonal. Mathematical Modeling and Computational Physics - MMCP’2026. Dubna, June 22–26, 2026. http://iitp.ru/https://indico.jinr.ru/event/5789/contributions/36465/
Кановей В.Г., Любецкий В.А., Локально счетные графы второго проективного класса, не порожденные счетным множеством проективных функций. Готовится к рецензированию.
Khaziev G., Zverkóv O., DNA compression with the respect of palindromes. International Conference Polynomial Computer Algebra 2026, St. Petersburg, Russia, May 25–30 2026, P. 90–92. http://iitp.ru/https://pca.conf-pdmi.ru/2026/program
Малышев К.Ю., Селиверстов А.В., Integer matrices with a peculiar leading diagonal. International Conference Polynomial Computer Algebra 2026, St. Petersburg, Russia, May 25–30 2026, pp. 131-134. http://iitp.ru/https://pca.conf-pdmi.ru/2026/
Кановей В.Г., Любецкий В.А., К проблеме об упорядоченных системах униформных множеств П. С. Новикова. На рецензии, 2026. http://iitp.ru/https://arxiv.org/abs/2604.07594
Kanovei V., Lyubetsky V., Locally countable graphs of second projective class not generated by countably many projective functions. arXiv: 2605.03126 [math.LO], May 25, 2026, 12 pp. DOI: 10.48550/arXiv.2605.03126 http://iitp.ru/https://doi.org/10.48550/arXiv.2605.03126
Kanovei V., Lyubetsky V., Constructibility in the Simpson set theory without the local countability axiom. Mathematics, 2026, Vol. 14, No. 9, Article 1499. DOI 10.3390/math14091499 (WoS Q1, БС1) http://iitp.ru/https://www.mdpi.com/2227-7390/14/9/1499
Хазиев Г.А., Рубанов Л.И., Селиверстов А.В., Зверко́в О.А., A novel algorithm for finding imperfect palindromes in long sequences. Information and Telecommunication Technologies and Mathematical Modeling of High-Tech Systems 2026, Moscow, Russia, April 13–18, 2026. http://iitp.ru/https://events.rudn.su/event/306/contributions/1977/
Kanovei V., Lyubetsky V., On Petr Novikov's problem of ordered systems of uniform sets. arXiv: 2604.07594 [math.LO], April 15, 2026, 13 pp. DOI: 10.48550/arXiv.2604.07594 http://iitp.ru/https://arxiv.org/abs/2604.07594
Кановей В.Г., О конструктивных множествах в теории множеств Симпсона. Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 2 марта 2026 г. 16:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн. Видеофайл mathnet.ru http://iitp.ru/https://www.mathnet.ru/php/seminars.phtml?presentid=49293&option_lang=rus
Кановей В.Г., Любецкий В.А., О конструктивных множествах в теории множеств Симпсона. Математические заметки , том 120, вып.1, стр. 22–37, DOI 10.4213/mzm14940 (SJR Q2, БС1) http://iitp.ru/https://www.mathnet.ru/rus/mzm14940
Kanovei V., Lyubetsky V., On the parameters and the projective level in the Choice and Collection axioms. Annals of Pure and Applied logic, 2026, under review. (Scimago Q1, БС 2) http://iitp.ru/https://arxiv.org/abs/2407.20098

2025

Lyubetsky V., Gorbunov K., Pirogov S., Khaziev G., <Unknown>, Clustering of points in multidimensional space based on Seurat ideology. Problems of Information Transmission, Dec 2025, Vol. 61, Iss. 4, P. 341–358. DOI: 10.1134/S0032946025040027 http://iitp.ru/https://doi.org/10.1134/S0032946025040027
Kanovei V., Lyubetsky V., Notes on the equiconsistency of ZFC without the Power Set Axiom and second-order arithmetic. Axioms, 2025, Vol. 14, No. 12, Article 865. DOI: 10.3390/axioms14120865 (WoS Q2, БС 2) http://iitp.ru/https://www.mdpi.com/2075-1680/14/12/865
Хазиев Г.А., Зверко́в О.А., Рубанов Л.И., Селиверстов А.В., Поиск петли в несовершенном палиндроме. Информационные системы и технологии: материалы XI Междунар. науч. конгр. по информатике (CSIST-2025), Респ. Беларусь, Минск, 29–31 окт. 2025 г. В 2 ч. Ч. 1. Минск: БГУ, 2025. С. 204–208. http://iitp.ru/https://fpmi.bsu.by/csist-2025
Хазиев Г.А., Зверко́в О.А., Селиверстов А.В., Любецкий В.А., Выравнивание последовательностей РНК с вторичной структурой: предшественники микроРНК. Математическая биология и биоинформатика. 2025. Т. 20. № 2. С. 520-531. doi: 10.17537/2025.20.520 http://iitp.ru/https://www.matbio.org/article.php?lang=eng&id=632
Агламазова А.И., Шиловский Г.А., Любецкий В.А., Проблема интерпретации данных SAMap. MCCMB 2025: Сборник тезисов 12-й Московской конференции по вычислительной молекулярной биологии (МССМВ), Москва, 31 июля – 3 августа 2025, стр. 183–185.
Ermakova G., Meyntser I., Lyubetsky V., Zaraisky A., Bayramov A., The subfunctionalization of shox and shox2 paralogs in shark highlights both shared and distinct developmental mechanisms of branchial arches and fins. Frontiers in Cell and Developmental Biology, 2025, Vol. 13, Art. 1667637. DOI: 10.3389/fcell.2025.1667637 http://iitp.ru/https://doi.org/10.3389/fcell.2025.1667637
Ermakova G., Meyntser I., Mugue N., Lyubetsky V., Zaraisky A., Bayramov A., The emergence of chordin-like1 in gnathostomes may have contributed to the evolution of paired appendages. Frontiers in Cell and Developmental Biology, 2025, Vol. 13, Art. 1649996. DOI: 10.3389/fcell.2025.1649996 http://iitp.ru/https://doi.org/10.3389/fcell.2025.1649996
Хазиев Г.А., Зверко́в О.А., Селиверстов А.В., Picking an Imperfect Palindrome. Polynomial Computer Algebra 2025 September 29 - October 4, 2025. Euler International Mathematical Institute, St. Petersburg, Russia, pp. 85-87. http://iitp.ru/https://pca.conf-pdmi.ru/2025/program
Селиверстов А.В., О системах с числом линейных уравнений не менее половины от числа переменных. Мальцевские чтения 10-14 ноября 2025 г. Новосибирск. С. 117. http://old.math.nsc.ru/conference/malmeet/25/Main.htm
Хазиев Г.А., Зверко́в О.А., Рубанов Л.И., Селиверстов А.В., Любецкий В.А., Новый алгоритм поиска несовершенных палиндромов в ДНК. MCCMB 2025: Сборник тезисов 12-й Московской конференции по вычислительной молекулярной биологии (МССМВ), Москва, 31 июля – 3 августа 2025, стр. 621–624. http://iitp.ru/https://www.mccmb.info/
Селиверстов А.В., On some submatrix of the Macaulay matrix. Polynomial Computer Algebra 2025, September 29 - October 5, 2025, Euler International Mathematical Institute, St. Petersburg, Russia, pp. 143-145. http://iitp.ru/https://pca.conf-pdmi.ru/2025/
Селиверстов А.В., Линейно упорядоченные тела. Международная научно-практическая конференция «XVIII Колмогоровские чтения» 17-19 сентября 2025 г. Тверь http://iitp.ru/https://xn----ctbcjbpdjchltdcba7aux3h6h.xn--p1ai/
Зверко́в О.А., Селиверстов А.В., О двоичных решениях системы линейных уравнений по модулю три. Программирование, 2025, том 51, № 2, стр. 73–82. http://iitp.ru/https://doi.org/10.1134/S0361768824700919
Kanovei V., Lyubetsky V., Notes on the equiconsistency of ZFC without the Power Set axiom and 2nd order PA. arXiv: 2507.11643 [math.LO], July 2025, 29 pp. DOI: 10.48550/arXiv.2507.11643 http://iitp.ru/https://arxiv.org/abs/2507.11643
Khaziev G., Seliverstov A., Zverkóv O., Imperfect palindromes depending on GC-content. CAM-2025, Computer Assisted Mathematics: Proceedings of the International Conference, July 15–17 2025, ed. by N. N. Vassiliev, S. N. Pozdniakov; org. by ETU "LETI", PDMI RAS. SPb: ANO “CTE” Center, 2025, P. 55–57. http://iitp.ru/https://cam.conf-pdmi.ru/2025/program
Селиверстов А.В., On systems of three linear equations modulo three. Сomputer Assisted Mathematics 2025, July 15–17, 2025, pp. 113–116. http://iitp.ru/https://cam.conf-pdmi.ru/2025/program
Nikolaeva O., <Unknown>, Muntyan M., Zverkóv O., Spirin S., Lyubetsky V., Slyusarev G., Aleoshin V., Rare evolutionary events support the phylogenetic placement of Orthonectida within Annelida. International Journal of Molecular Sciences, 2025, Vol. 26, Iss. 13, Art. 5983. DOI: 10.3390/ijms26135983 http://iitp.ru/https://doi.org/10.3390/ijms26135983
Селиверстов А.В., The Generic-Case Complexity of Finding a Binary Solution to a System of Linear Equations. In: A. A. Ryabenko, D. S. Kulyabov (eds) Computer algebra: 6th International Conference Materials. Moscow, 23–25 June, 2025. Moscow: RUDN University. P. 98–101. EDN: EZKBKJ http://www.ccas.ru/ca/conference
Хазиев Г.А., Селиверстов А.В., Зверко́в О.А., Searching for an Imperfect Palindrome. In: A. A. Ryabenko, D. S. Kulyabov (eds) Computer algebra: 6th International Conference Materials. Moscow, 23–25 June, 2025. Moscow: RUDN University. P. 62–65. EDN: CCODUV http://www.ccas.ru/ca/conference
Селиверстов А.В., Ранняя история недезарговых плоскостей. Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: Современные проблемы, приложения и проблемы истории: Материалы XXIV Международной конференции, посвященной 110-летию со дня рождения академика Ю.В. Линника и 110-летию со дня рождения профессора А.Б. Шидловского и 80-летию со дня рождения профессора Г.И. Архипова, Тула, 14–17 мая 2025. Тула: ТГПУ им. Л. Н. Толстого, 2025. С. 203–206. EDN: VMGWDC. http://iitp.ru/https://elibrary.ru/vmgwdc
Хазиев Г.А., Селиверстов А.В., Любецкий В.А., Выравнивание последовательностей со структурой. Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: Современные проблемы, приложения и проблемы истории: Материалы XXIV Международной конференции, посвященной 110-летию со дня рождения академика Ю.В. Линника и 110-летию со дня рождения профессора А.Б. Шидловского и 80-летию со дня рождения профессора Г.И. Архипова, Тула, 14–17 мая 2025. Тула: ТГПУ им. Л. Н. Толстого, 2025. С. 156–159. EDN: EFBVXF. http://iitp.ru/https://www.elibrary.ru/efbvxf
Zhang X., Li Z., Chen J., Yang W., He X., Wu P., Chen F., Zhou Z., Ren Ch., Shan Y., Wen X., Lyubetsky V., Rusin L., Chen X., Yang J.-R., Stereotyped subclones revealed by high-density single-cell lineage tracing support robust development. Advanced Science, 2025, 2406208. DOI: 10.1002/advs.202406208 http://iitp.ru/https://doi.org/10.1002/advs.202406208
Kanovei V., Lyubetsky V., Notes on iterative summation of alternating factorials. Mathematics, 2025, Vol. 13, No. 12, Article 1942. DOI 10.3390/math13121942. (WoS Q1, БС1) http://iitp.ru/https://www.mdpi.com/2227-7390/13/12/1942
Семенов А.Л., Бабенко М.А., Белов А.Я., Верещагин Н.К., Вишникин М.Е., Золин Е.Е., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Оноприенко А.А., Пентус М.Р., Сопрунов С.Ф., Сорокин А.А., Шехтман В.Б., Яворская Т.Л., Кафедра математической логики и теории алгоритмов. Вестник Московского университета. Серия 1. Математика. Механика, 2025, № 1, стр. 23–32. DOI: 10.55959/MSU0579-9368-1-66-1-4 http://iitp.ru/https://doi.org/10.3103/S0027132225700196
Kanovei V., Lyubetsky V., On the uniform projection and covering problems in descriptive set theory under the axiom of constructibility. Mathematics, 2025, Vol. 13, No 3, Article 409. DOI 10.3390/math13030409 (WoS Q1, БС1) http://iitp.ru/https://www.mdpi.com/2227-7390/13/3/409
Kanovei V., Lyubetsky V., On the uniform projection problem in descriptive set theory. Axioms, 2025, Vol. 14, No. 1, Art. 13. DOI: 10.3390/axioms14010013 (WoS Q2, БС2) http://iitp.ru/https://www.mdpi.com/2075-1680/14/1/13
Кановей В.Г., Любецкий В.А., Независимость схемы свертки в арифметике второго порядка от счетного выбора без параметров. Математические заметки, 2025, том 117, вып. 2, стр. 257–269. DOI: 10.4213/mzm14255 (SJR Q2, БС1) http://iitp.ru/https://doi.org/10.4213/mzm14255
Kanovei V., Lyubetsky V., Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic. Studia Logica, 2025, 113, pp. 109--124. DOI: 10.1007/s11225-024-10108-2 (WoS Q2, Scimago Q1, БС2) http://iitp.ru/https://doi.org/10.1007/s11225-024-10108-2

2024

Драгилева И.П., Артамкин И.В., Хазиев Г.А., Дискретная математика : учебное пособие / И. П. Драгилева, И. В. Артамкин, Г. А. Хазиев. — Москва : РТУ МИРЭА, 2024. — 23 с. — ISBN 978-5-7339-2208-9 http://iitp.ru/https://e.lanbook.com/book/421028
Селиверстов А.В., О длине невыполнимой подформулы. Алгебра и логика. 2024. Том 63. No. 1. С. 89-99. http://iitp.ru/https://rdcu.be/d4eSj
Зверко́в О.А., Селиверстов А.В., Шиловский Г.А., Выравнивание скрытого палиндрома. Математическая биология и биоинформатика, 2024, Т. 19, N 2, С. 427-438. DOI: 10.17537/2024.19.427 http://iitp.ru/https://www.matbio.org/article.php?journ_id=47&id=584&lang=eng
Байрамов А.В., Ермакова Г.В., Любецкий В.А., Зарайский А.Г., Поиск генетических основ появления и развития парных конечностей у челюстноротых путем исследования современных представителей эволюционно древних групп. Сборник тезисов Всероссийской научной конференции с международным участием, посвященной юбилею академика Б.Л. Астаурова «Генетика и индивидуальное развитие», Москва, ИБР РАН, 29–31 октября 2024, М.: «Перо», 2024, стр. 27. http://idbras.ru/conferenc2024/tezis2024.pdf
Селиверстов А.В., О полурекурсивных множествах. Международная конференция Мальцевские Чтения, 11–15 ноября 2024 г. Тезисы докладов. Новосибирск, 2024. С. 68. http://old.math.nsc.ru/conference/malmeet/24/Main.htm
Горбунов К.Ю., Любецкий В.А., Точный квадратичный алгоритм кратчайшего преобразования деревьев. Доклады Российской академии наук. Математика, информатика, процессы управления, 2024, том 519, № 1, стр. 22–27. DOI: 10.31857/S2686954324050058 http://iitp.ru/https://doi.org/10.1134/S1064562424702259
Шиловский Г.А., Сорокина Е.В., Любецкая Е.В., Ферубко Е.В., Новые методы индукции антиоксидантной защиты на основе миметиков физических упражнений у пожилых. Клиническая геронтология, 2024, том 30, № 3-4, стр. 52–56. DOI: 10.26347/1607-2499202403-04052-056 http://iitp.ru/https://kg.newdiamed.ru/issue/id423192/id423254
Шиловский Г.А., Белок p62: пересечение путей антиоксидантной защиты и аутофагии. Молекулярная биология, 2024, том 58, № 5, стр. 703–718. http://iitp.ru/https://doi.org/10.1134/S0026893324700390
Селиверстов А.В., Зверко́в О.А., О системах нескольких уравнений по модулю три. XIV Белорусская математическая конференция, посвященная 65-летию Института математики НАН Беларуси: материалы Международной научной конференции. Минск, 28 октября – 1 ноября 2024 г. Минск: Беларуская навука, 2024. Часть 3. С. 152-154. http://iitp.ru/https://mmf.bsu.by/ru/konferentsii/xiv-belorusskaya-matematicheskaya-konferentsiya/
Malaschonok G.I., Селиверстов А.В., MathPartner: An Artificial Intelligence Cloud Service. In: Arai K. (eds) Intelligent Systems and Applications. IntelliSys 2024, Lecture Notes in Networks and Systems, Springer, Cham, 2024, Vol. 1068, P. 182–194. http://iitp.ru/https://doi.org/10.1007/978-3-031-66336-9_14
Шиловский Г.А., Sorokina E., Akhaev D., Антивозрастная медицина: митохондриально-направленные антиоксиданты и физическая нагрузка. Успехи современной биологии, 2024, том 144, № 2, стр. 155–164. DOI: 10.31857/S0042132424020035 http://iitp.ru/https://doi.org/10.1134/S2079086424600188
Шиловский Г.А., Исчисление старения: анализ кривых выживания в норме и при патологии, колебание динамики смертности, характеристики распределения продолжительности жизни и показатели ее разброса. Биохимия, 2024, том 89, № 2, стр. 373–380. DOI: 10.31857/S0320972524020138MARUU http://iitp.ru/https://doi.org/10.1134/S0006297924020159
Шиловский Г.А., Putyatina T., Markov A., Причины долголетия Tetrapoda: защищенность важнее уровня метаболизма. Биохимия, 2024, том 89, № 2, стр. 331–351. DOI: 10.31857/S0320972524020105MHIKM http://iitp.ru/https://doi.org/10.1134/S0006297924020111
Wijayawardene N., Hyde K., Mikhailov K., Peter G., Aptroot A., Pires-Zottarelli C., Goto B., Tokarev Y., Haelewaters D., Karunarathna S., Kirk P., de Santiago A., Saxena R., Schoutteten N., Wimalasena M., Aleoshin V., . . ., Zverkóv O., Thines M., Karpov S.A., Classes and phyla of the kingdom Fungi. Fungal Diversity, Sep 2024, Vol. 128, P. 1–165. DOI: 10.1007/s13225-024-00540-z http://iitp.ru/https://doi.org/10.1007/s13225-024-00540-z
Kanovei V., Lyubetsky V., On the uniform projection and covering problems in descriptive set theory under the axiom of constructibility. Preprints, 2024, 2024101379. DOI 10.20944/preprints202410.1379.v1 http://iitp.ru/https://doi.org/10.20944/preprints202410.1379.v1
Lyubetsky V., Shilovsky G., Yang J.-R., Seliverstov A., Zverkóv O., The change rate of the Fbxl21 gene and the amino acid composition of its protein correlate with the species-specific lifespan in placental mammals. Biology, 2024, Vol. 13, No. 10, Art. 792. DOI: 10.3390/biology13100792 http://iitp.ru/https://doi.org/10.3390/biology13100792
Kanovei V., Lyubetsky V., On the significance of parameters and the projective level in the Choice and Collection axioms. arXiv: 2407.20098 [math.LO], August 2024, 127 pp. DOI: 10.48550/arXiv.2407.20098 http://iitp.ru/https://arxiv.org/abs/2407.20098
Селиверстов А.В., Бойков А.А., Обсуждение аналогов теоремы Дезарга. IV Конференция Матцентров, Санкт-Петербург, 11 августа 2024. http://iitp.ru/https://mc4-conf.ru/history-of-mathematics
Gorbunov K., Lyubetsky V., Algorithms for the reconstruction of genomic structures with proofs of their low polynomial complexity and high exactness. Mathematics, Mar 11 2024, Vol. 12, No. 6, Art. 817. DOI: 10.3390/math12060817 (WoS Q1) http://iitp.ru/https://doi.org/10.3390/math12060817
Kanovei V., Lyubetsky V., Jensen Δn1 reals by means of ZFC and second-order Peano arithmetic. Axioms, Jan 30 2024, Vol. 13, No. 2, Art. 96. DOI: 10.3390/axioms13020096 (WoS Q1, БС2) http://iitp.ru/https://doi.org/10.3390/axioms13020096
Kanovei V., Lyubetsky V., A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface 𝚫n11 well-orderings. Annals of Pure and Applied Logic, Jun 2024, Vol. 175, Iss. 6, Art. 103426. DOI: 10.1016/j.apal.2024.103426 (WoS Q2, Scimago Q1, БС2) http://iitp.ru/https://doi.org/10.1016/j.apal.2024.103426
Селиверстов А.В., Зверко́в О.А., Нижние границы для ранга матрицы с нулями и единицами вне главной диагонали. Программирование, 2024, том 50, № 2, стр. 100–107. DOI: 10.31857/S0132347424020133 http://iitp.ru/https://doi.org/10.1134/S0361768824020142
Селиверстов А.В., On the length of an unsatisfiable conjunction. International Conference Polynomial Computer Algebra 2024, St. Petersburg, Russia, Apr 15–20 2024, pp. 140–143.
Селиверстов А.В., О вычислимых за полиномиальное время структурах. Материалы международной конференции Алгебра и математическая логика: теория и приложения. Казань, 27 июня - 1 июля 2024. Стр. 190-192. http://iitp.ru/https://mathcenter.kpfu.ru/algmathlog

2023

Morgunova G., Shilovsky G., Khokhlov A., Influence of AMPK on the functioning of the circadian clock and its possible role in the development of age-related metabolic disorders. Advances in Gerontology, Jun 2023, Vol. 13, P. 54–61, published on Feb 15 2024. DOI: 10.1134/S207905702460006X
Хавинсон В.Х., Линькова Н.С., Ашапкин В.В., Шиловский Г.А., Борушко Н.В., Петухов М.Г., Ванюшин Б.Ф., Пептид KE регулирует экспрессию генов и синтез белков SIRT1, PARP1, PARP2 в мезенхимальных стволовых клетках человека при старении. Успехи геронтологии, 2023, том 36, № 3, стр. 302–312. DOI: 10.34922/AE.2023.36.3.003 http://iitp.ru/https://doi.org/10.34922/AE.2023.36.3.003
Shilovsky G., Seliverstov A., Demographic Indicators of Probability Models. Advances in Gerontology, Sep 2023, Vol. 13, No. 3, P. 164–177. DOI: 10.1134/S2079057024600307 http://iitp.ru/https://doi.org/10.1134/S2079057024600307
Shilovsky G., Seliverstov A., Zverkóv O., Demographic indicators, models, and testing. Discrete and Continuous Models and Applied Computational Science, 2023, V. 31, No. 4, P. 359–374. DOI: 10.22363/2658-4670-2023-31-4-359-374 http://iitp.ru/https:/doi.org/10.22363/2658-4670-2023-31-4-359-374
Селиверстов А.В., О длине невыполнимой подформулы. Международная конференция Мальцевские чтения 13-17 ноября 2023 г. Новосибирск, 2023. С. 132. http://old.math.nsc.ru/conference/malmeet/23/maltsev2023.pdf
Русин Л.Ю., Современные проблемы биологической эволюции, материалы IV Международной конференции «к 875-летию Москвы и 115-летию со дня основания Государственного Дарвиновского музея», 17–20 октября 2022, Москва, М.: ГДМ, 2022, стр. 395–397 http://iitp.ru/https://www.darwinmuseum.ru/projects/event/evolconf-iv
Rusin L., Evolution of homology: From archetype towards a holistic concept of cell type. Journal of Morphology, 284(4), e21569. DOI: 10.1002/jmor.21569, WOS: 000939793400001, Scopus: 2-s2.0-85150724886 (JCR Q1) http://iitp.ru/https://onlinelibrary.wiley.com/share/author/PZTK4NRUXGH6JITUIM5P?target=10.1002/jmor.21569
Shilovsky G., Dibrova D., Regulation of cell proliferation and Nrf2-mediated antioxidant defense: Conservation of Keap1 cysteines and Nrf2 binding site in the context of the evolution of KLHL family. Life, Apr 19 2023, Vol. 13, No. 4, Art. 1045. DOI: 10.3390/life13041045 http://iitp.ru/https://doi.org/10.3390/life13041045
Skulachev V., Vyssokikh M., Chernyak B., Mulkidjanian A., Skulachev M., Shilovsky G., Lyamzaev K., Borisov V., Severin F., Sadovnichii V., Six functions of respiration: Isn’t it time to take control over ROS production in mitochondria, and aging along with it? International Journal of Molecular Sciences, Aug 8 2023, Vol. 24, Iss. 16, Art. 12540. DOI: 10.3390/ijms241612540 (WoS Q1) http://iitp.ru/https://doi.org/10.3390/ijms241612540
Tchesunov A., Nikolaeva O., Rusin L., Sanamyan N., Panina E., Miljutin D., Gorelysheva D., Pegova A., Khromova M., Mardashova M., Mikhailov K., Yushin V., Petrov N., Nikitin M., Lyubetsky V., Aleoshin V., Paraphyly of Marimermithida refines primary routes of transition to parasitism in roundworms. Zoological Journal of the Linnean Society, April 2023, Vol. 197, Iss. 4, P. 909–923. DOI: 10.1093/zoolinnean/zlac070 (WoS Q1) http://iitp.ru/https://doi.org/10.1093/zoolinnean/zlac070
Cheng H., Guo Z., Zhang X., Wang X.-J., Li Z., Huo W.-W., Zhong H.-C., Li X.-J., Wu X.-W., Li W.-H., Chen Z.-W., Wu T.-C., Gan X.-F., Zhong B.-L., Lyubetsky V., Rusin L., Yang J., Zhao Q., Cao Q.-D., Yang J.-R., Lack of evolutionary convergence in multiple primary lung cancer suggests insufficient specificity of personalized therapy. Journal of Genetics and Genomics, May 2023, Vol. 50, Iss. 5, P. 330–340. DOI: 10.1016/j.jgg.2022.11.005 (WoS Q1) http://iitp.ru/https://doi.org/10.1016/j.jgg.2022.11.005
Gorbunov K., Lyubetsky V., Constructing an evolutionary tree and path–cycle graph evolution along it. Mathematics, Apr 24 2023, Vol. 11, No. 9, Art. 2024. DOI: 10.3390/math11092024 (WoS Q1) http://iitp.ru/https://doi.org/10.3390/math11092024
Бойков А.А., Селиверстов А.В., О кубе и проекциях подпространства. Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2023. Т. 33, № 3. С. 402-415. http://vm.udsu.ru/issues/archive/issue/2023-3-2
Зверко́в О.А., Шиловский Г.А., Селиверстов А.В., Любецкий В.А., Связь видовой продолжительности жизни с эволюцией гена Fbxl21. Proceedings of 11th Moscow Conference on Computational Molecular Biology MCCMB’23. Москва, 3–6 августа 2023, М.: ИППИ РАН, 2023.
Селиверстов А.В., О двоичных решениях у системы нескольких линейных уравнений по модулю три. Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: Современные проблемы, приложения и проблемы истории: Материалы XXII Международной конференции, посвященной 120-летию со дня рождения академика А. Н. Колмогорова и 60-летию со дня открытия школы-интерната № 18 при Московском университете. — Тула: Тул. гос. пед. ун-т им. Л. Н. Толстого, 2023. С. 242–244. http://iitp.ru/https://elibrary.ru/umniqg
Зверко́в О.А., Селиверстов А.В., Эффективные нижние границы для ранга матрицы и приложения. Программирование, 2023. № 5. С. 79-86. DOI: 10.31857/S0132347423020176 http://iitp.ru/https://www.elibrary.ru/mheydz
Lyubetsky V., Rubanov L., Tereshina M., Ivanova A., Araslanova K., Uroshlev L., Goremykina G., Yang J., Kanovei V., Zverkóv O., Shitikov A., Korotkova D., Zaraisky A., Wide-scale identification of novel/eliminated genes responsible for evolutionary transformations. Biology Direct, 2023, Vol. 18, Art. 45. DOI: 10.1186/s13062-023-00405-6 (WoS Q1, БС2) http://iitp.ru/https://doi.org/10.1186/s13062-023-00405-6
Kanovei V., Lyubetsky V., A model in which well-orderings of the reals first appear at a given projective level, part III, the case of second-order PA. Mathematics, 2023, 11(15), Article no. 3294. DOI: 10.3390/math11153294 (WoS Q1, БС1) http://iitp.ru/https://www.mdpi.com/2227-7390/11/15/3294
Селиверстов А.В., Обобщение задачи о сумме подмножеств и кубические формы. Журнал вычислительной математики и математической физики, 2023, том 63, № 1, стр. 51-60. Перевод: Computational Mathematics and Mathematical Physics, 2023, vol. 63, no. 1, pp. 48-56. http://iitp.ru/https://doi.org/10.1134/S0965542523010116
Селиверстов А.В., On a simple lower bound for the matrix rank. In: S.A. Abramov, A.B. Batkhin, L.A. Sevastyanov (eds.) Computer algebra: 5th International Conference Materials, Moscow, Russia, June 26-28 2023, Moscow: KIAM, 2023, P. 126-128. ISBN: 978-5-98354-067-5
Селиверстов А.В., А.В. Селиверстов. Понижение размерности для решения задач о расположении подпространства и вершин куба. Материалы Всероссийской научно-практической конференции "Ученый, педагог, наставник", посвященной 85-летию со дня рождения профессора А. Р. Есаяна, Тула, 20-21 апреля 2023, Тула: ТГПУ им. Л.Н. Толстого, 2023, стр. 66-69. http://poivs.tsput.ru/conf/vseros/esayan2023/
Селиверстов А.В., Notes on obstacles to dimensionality reduction. International Conference Polynomial Computer Algebra "2023, Apr 17, St. Petersburg, Russia, 2023, pp. 104-107. http://iitp.ru/https://pca-pdmi.ru/2023/
Kanovei V., Lyubetsky V., A model in which well-orderings of the reals first appear at a given projective level, part II. Mathematics, 2023, 11(11), Article no. 2517. DOI: 10.3390/math11112517 (WoS Q1, БС1) http://iitp.ru/https://www.mdpi.com/2227-7390/11/11/2517
Kanovei V., Lyubetsky V., On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic. Mathematics, 2023, 11 (3), Article no. 726. DOI: 10.3390/math11030726 (WoS Q1, БС1) http://iitp.ru/https://www.mdpi.com/2227-7390/11/3/726
Kanovei V., Lyubetsky V., On Russell typicality in Set Theory. Proceedings of the American Mathematical Society, 2023, 151, no 5, pp. 2201–2210. DOI: 10.1090/proc/16232 (WoS Q2, БС2) http://iitp.ru/https://www.ams.org/journals/proc/0000-000-00/S0002-9939-2023-16232-2/

2022

Kanovei V., Lyubetsky V., On the significance of parameters in the choice and collection schemata in the 2nd order Peano arithmetic. Preprints, Dec 26 2022, Art. 2022120255. DOI: 10.20944/preprints202212.0255.v2 http://iitp.ru/https://doi.org/10.20944/preprints202212.0255.v2
Kanovei V., Lyubetsky V., The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. Eprint, arXiv:2209.07599 [math.LO], Sep 15 2022. DOI: 10.48550/arXiv.2209.07599 http://iitp.ru/https://doi.org/10.48550/arXiv.2209.07599
Kanovei V., Lyubetsky V., A model in which the Separation principle holds for a given effective projective Sigma-class. Eprint, arXiv:2204.03915 [math.LO], Apr 8 2022. DOI: 10.48550/arXiv.2204.03915 http://iitp.ru/https://doi.org/10.48550/arXiv.2204.03915
Tchesunov A., Nikolaeva O., Rusin L., Sanamyan N., Panina E., Miljutin D., Gorelysheva D., Pegova A., Khromova M., Mardashova M., Mikhailov K., Yushin V., Petrov N., Lyubetsky V., Nikitin M., Aleshin S., Demise of Marimermithida refines primary routes of transition to parasitism in roundworms. bioRxiv, 2022.02.15.480519, Feb 19 2022. DOI: 10.1101/2022.02.15.480519 http://iitp.ru/https://doi.org/10.1101/2022.02.15.480519
Шиловский Г.А., Сорокина Е.В., Путятина Т.С., Оценка метаболома человека как метод молекулярной диагностики колоректального рака. Профилактика и терапия. Успехи современной биологии, 2022, том 142, № 2, стр. 199–205. DOI: 10.31857/S0042132422020077 http://iitp.ru/https://doi.org/10.1134/S2079086422040089
Шиловский Г.А., Путятина Т.С., Марков А.В., Эволюция долголетия как видового признака у млекопитающих. Биохимия, 2022, том 87, № 12, стр. 1947–1971. DOI: 10.31857/S0320972522120132
Шиловский Г.А., Ашапкин В.В., Транскрипционный фактор Nrf2 и митохондрии – друзья или противники в редокс-регуляции темпов старения. Биохимия, 2022, том 87, № 12, стр. 1856–1867. DOI: 10.31857/S0320972522120065 http://iitp.ru/https://doi.org/10.31857/S0320972522120065
Шиловский Г.А., Сорокина Е.В., Любецкая Е.В., Ферубко Е.В., Новые методы индукции антиоксидантной защиты на основе нутриентов и пробиотиков у пожилых. Клиническая геронтология, 2022, том 28, № 11-12, стр. 76–78. DOI: 10.26347/1607-2499202211-12076-078 http://iitp.ru/https://doi.org/10.26347/1607-2499202211-12076-078
Селиверстов А.В., On binary solutions to a system of linear equations over a computable field. International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 78.
Латкин И.В., Селиверстов А.В., Недетерминированные вычисления посредством обобщенных регистровых машин. Международная конференция Мальцевские чтения. Тезисы докладов, Новосибирск, 14-19 ноября 2022, Новосибирск: Новосибирский государственный университет, 2022, стр. 72.
Латкин И.В., Селиверстов А.В., Вычисления над упорядоченными кольцами посредством обобщённых регистровых машин. Математическая логика и компьютерные науки, Труды Международной научной конференции, Астана, Казахстан, 7-8 октября 2022, стр. 36-40. http://iitp.ru/https://fit.enu.kz/subpage/protokoly
Адлай С.Ф., Малашонок Г.И., Малышев К.Ю., Селиверстов А.В., Усков Ф.Г., Об алгоритмах вычисления полных эллиптических интегралов. Записки научных семинаров ПОМИ, 2022, том 517, стр. 5-16. http://mi.mathnet.ru/znsl7277
Латкин И.В., Селиверстов А.В., О вычислениях над упорядоченными кольцами. Сибирские электронные математические известия, 2022, том 19, № 2, стр. 1054-1076. DOI: 10.33048/semi.2022.19.085 http://iitp.ru/https://doi.org/10.33048/semi.2022.19.085
Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., Evolution of protein regulators of circadian rhythm in mammals. Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2022), The Thirteenth International Multiconference Abstracts, Novosibirsk, Russia, 4-8 July 2022, Novosibirsk: ICG SB RAS, 2022, P. 173. http://iitp.ru/https://elibrary.ru/item.asp?id=49238208
Селиверстов А.В., Generic-case complexity of the multiple subset sum problem. International Conference Polynomial Computer Algebra "2022, May 2-7, St. Petersburg, Russia, 2022, pp. 96-99. http://iitp.ru/https://elibrary.ru/item.asp?id=48599481
Kanovei V., Lyubetsky V., On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic. Preprints, 2022, no 2022120255. DOI: 10.20944/preprints202212.0255.v2 http://iitp.ru/https://www.preprints.org/manuscript/202212.0255/v2
Kanovei V., On sets that hereditarily belong to countable OD sets.
European Set Theory Conference 2022.
Department of Mathematics of the University of Turin and the European Set Theory Society,
August 29 - September 2, 2022, Turin, Italy. http://logicgroup.altervista.org/torino/ESTC2022/site/abstracts/
Kanovei V., Lyubetsky V., The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. arXiv: 2209.07599 [math.LO], September 2022. http://iitp.ru/https://arxiv.org/pdf/2209.07599.pdf
Kanovei V., Lyubetsky V., A model in which wellorderings of the reals appear at a given projective level. Axioms, 2022, 11(8), Article no 354. DOI: 10.3390/axioms11080354 (WoS Q2) http://iitp.ru/https://doi.org/10.3390/axioms11080354
Kanovei V., Lyubetsky V., A model in which the Separation principle holds for a given effective projective Sigma-class. arXiv: 2204.03915 [math.LO], April 2022. http://iitp.ru/https://arxiv.org/abs/2204.03915
Kanovei V., Lyubetsky V., On the ‘definability of definable’ problem of Alfred Tarski, Part II. Transactions of the American Mathematical Society, 2022, Vol. 375, No. 12, P. 8651–8686. DOI: 10.1090/tran/8710 (WoS Q2) http://iitp.ru/https://doi.org/10.1090/tran/8710
Kanovei V., Lyubetsky V., A model in which the separation principle holds for a given effective projective Sigma-class. Axioms, 2022, 11, Issue 3, Paper no. 122. DOI 10.3390/axioms11030122 (WoS Q2) http://iitp.ru/https://www.mdpi.com/2075-1680/11/3/122
Шиловский Г.А., Лабильность защитной системы клетки Nrf2/Keap/ARE в различных моделях клеточного старения и возрастных патологиях. Биохимия, 2022, том 87, вып. 1, стр. 86–103. DOI: 10.31857/S0320972522010067 http://iitp.ru/https://doi.org/10.1134/S0006297922010060
Kanovei V., Lyubetsky V., A generic model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe. Mathematics, 2022, 10, Issue 3, Paper no. 491, DOI 10.3390/math10030491 (WoS Q1) http://iitp.ru/https://doi.org/10.3390/math10030491

2021

Горбунов К.Ю., Любецкий В.А., Реконструкция эволюции геномных структур с паралогами. Материалы международного конгресса «Биотехнология: состояние и перспективы развития», Москва, 26–29 октября 2021, вып. 19, стр. 207–208. DOI: 10.37747/2312-640X-2021-19-207-209 http://iitp.ru/https://doi.org/10.37747/2312-640X-2021-19-207-209
Малашонок Г.И., Селиверстов А.В., New features in MathPartner 2021. Computer Tools in Education, 2021, No. 3, P. 29–40. http://cte.eltech.ru/ojs/index.php/kio/article/view/1719
Шиловский Г.А., Сорокина Е.В., Орловский И.В., Транскрипционный фактор NRF2 - мишень активирующих антиоксидантную систему клетки препаратов: перспективы применения при возрастных заболеваниях. Клиническая геронтология, 2021, том 27, № 11-12, стр. 57–62. DOI: 10.26347/1607-2499202111-12057-062 http://iitp.ru/https://doi.org/10.26347/1607-2499202111-12057-062
Kanovei V., On the ‘Definability of definable’ problem of Alfred Tarski.
Logic Colloquium 2021. European Summer Meeting of the Association for Symbolic Logic. Book of abstracts.
S.Chlebowski, D.Ratajczyk, P.Lupkowski (eds.)
Adam Mickiewicz University, Poznan, Poland, 19-24 July 2021. Page 195.
Шиловский Г.А., Путятина Т.С., Марков А.В., Альтруизм и феноптоз как программы, поддерживаемые эволюцией. Биохимия, 2021, том 86, вып. 12, стр. 1782–1797. DOI: 10.31857/S0320972521120034 http://iitp.ru/https://doi.org/10.1134/S0006297921120038
Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., Complex evolution of Fbxl21 gene in mammals. Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’21, Moscow, Russia, July 30 — August 2 2021.
Селиверстов А.В., О сводимости систем линейных уравнений. Всероссийская научная конференция "Математические основы информатики и информационно-коммуникационных систем". Сборник трудов. Тверь: ТвГУ, 2021. С. 262-266. doi:10.26456/mfcsics-21-36 http://iitp.ru/https://doi.org/10.26456/mfcsics-21-36
Селиверстов А.В., О некоторых алгоритмах квазиполиномиального времени. Компьютерные инструменты в образовании. 2021, № 2. С. 5–12. DOI: 10.32603/2071-2340-2021-2-5-12 http://cte.eltech.ru/ojs/index.php/kio/article/view/1684
Шиловский Г.А., Путятина Т.С., Павлова И.Б., Сорокина Е.В., Ямскова О.В., Любецкий В.А., Митохондриально-направленные соединения, обеспечивающие защиту фосфолипида митохондрий кардиолипина при возрастных патологиях человека. Клиническая геронтология, 2021, том 27, № 3-4, стр. 90–94. DOI: 10.26347/1607-2499202103-04090-094 http://iitp.ru/https://doi.org/10.26347/1607-2499202103-04090-094
Шиловский Г.А., Путятина Т.С., Орловский И.В., Перспективы разработки и применения потенциальных антиоксидантных препаратов на основе глутамил-содержащих и металл-связывающих пептидов. Клиническая геронтология, 2021, том 27, № 1-2, стр. 59–63. DOI: 10.26347/1607-2499202101-02059-063
Моргунова Г.В., Шиловский Г.А., Хохлов А.Н., Влияние ограничения питания на старение: исправление проблем с "сенсорами питания" у постмитотических клеток? Биохимия, 2021, том 86, вып. 10, стр. 1531–1549. DOI: 10.31857/S0320972521100092 http://iitp.ru/https://doi.org/10.1134/S0006297921100151
Олескин А.В., Сорокина Е.В., Шиловский Г.А., Взаимодействие катехоламинов с микроорганизмами, нейронами и с клетками иммунной системы. Успехи современной биологии, 2021, том 141, № 1, стр. 3–13. DOI: 10.31857/S004213242101021X http://iitp.ru/https://doi.org/10.1134/S2079086421040058
Kanovei V., Lyubetsky V., On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021. DOI: 10.48550/arXiv.2111.07654 http://iitp.ru/https://doi.org/10.48550/arXiv.2111.07654
Kanovei V., Lyubetsky V., A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe. arXiv: 2111.13491 [math.LO], November 2021. DOI: 10.48550/arXiv.2111.13491 http://iitp.ru/https://doi.org/10.48550/arXiv.2111.13491
Малашонок Г.И., Селиверстов А.В., Calculation of integrals in MathPartner. Discrete and Continuous Models and Applied Computational Science. 2021. Vol. 29. No. 4. P. 337-346. DOI:10.22363/2658-4670-2021-29-4-337-346 http://iitp.ru/https://doi.org/10.22363/2658-4670-2021-29-4-337-346
Gorbunov K., Lyubetsky V., Multiplicatively exact algorithms for transformation and reconstruction of directed path-cycle graphs with repeated edges. Mathematics, Oct 14 2021, Vol. 9, No. 20, Art. 2576. DOI: 10.3390/math9202576 (WoS Q1) http://iitp.ru/https://doi.org/10.3390/math9202576
Селиверстов А.В., Об отсутствии (0,1)-решений у системы уравнений. Международная конференция Мальцевские чтения 20-24 сентября 2021. Тезисы докладов. Новосибирск: 2021. С. 73. http://www.math.nsc.ru/conference/malmeet/21/Main.htm
Kanovei V., Paradoxical partitions of the reals by Robert Solovay.
International Conference "Adian 90: Conference on Mathematical Logic, Algebra and Computation" 7 July 2021, 12:45–13:30, Steklov Math. Inst. (Moscow). http://www.mathnet.ru/php/presentation.phtml?option_lang=rus&presentid=31068
Enayat A., Kanovei V., Lyubetsky V., On effectively indiscernible projective sets and the Leibniz-Mycielski axiom. Mathematics, 2021, Vol. 9, No. 14, Art. 1670. DOI: 10.3390/math9141670 (WoS Q1) http://iitp.ru/https://doi.org/10.3390/math9141670
Селиверстов А.В., Двоичные решения для больших систем линейных уравнений. Прикладная дискретная математика. 2021. № 52. С. 5-15. DOI: 10.17223/20710410/52/1 http://iitp.ru/https://doi.org/10.17223/20710410/52/1
Селиверстов А.В., A plain note on