Выравнивание последовательностей со структурой. Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: Современные проблемы, приложения и проблемы истории: Материалы XXIV Международной конференции, посвященной 110-летию со дня рождения академика Ю.В. Линника и 110-летию со дня рождения профессора А.Б. Шидловского и 80-летию со дня рождения профессора Г.И. Архипова, Тула, 14–17 мая 2025. Тула: ТГПУ им. Л. Н. Толстого, 2025. Перейти к публикации
2025 г.
Авторы: 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 Перейти к публикации
Notes on iterative summation of alternating factorials.
Mathematics, 2025, Vol. 13, No. 12, Article 1942.
DOI 10.3390/math13121942.
(WoS Q1, БС1)
Перейти к публикацииЗагрузить (228.6 KB)
Кафедра математической логики и теории алгоритмов.
Вестник Московского университета. Серия 1. Математика. Механика, 2025, № 1, стр. 23–32.
DOI: 10.55959/MSU0579-9368-1-66-1-4 Перейти к публикации
On the significance of parameters and the projective level in the Choice and Collection axioms.
Memoirs of the American Mathematical Society, 2025, under review.
(WoS Q1, БС1)
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) Перейти к публикации
On the uniform projection problem in descriptive set theory.
Axioms, 2025, Vol. 14, No. 1, Art. 13.
DOI: 10.3390/axioms14010013
(WoS Q1, БС2) Перейти к публикации
Независимость схемы свертки в арифметике второго порядка от счетного выбора без параметров.
Математические заметки, 2025, том 117, вып. 2, стр. 257–269.
DOI: 10.4213/mzm14255
(WoS Q3, Scimago SJR Q2, БС2)
Перейти к публикации
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)
Перейти к публикации
Поиск генетических основ появления и развития парных конечностей у челюстноротых путем исследования современных представителей эволюционно древних групп.
Сборник тезисов Всероссийской научной конференции с международным участием, посвященной юбилею академика Б.Л. Астаурова «Генетика и индивидуальное развитие»,
Москва, ИБР РАН, 29–31 октября 2024, М.: «Перо», 2024, стр. 27. Перейти к публикации
Точный квадратичный алгоритм кратчайшего преобразования деревьев.
Доклады Российской академии наук. Математика, информатика, процессы управления,
2024, том 519, № 1, стр. 22–27.
DOI: 10.31857/S2686954324050058 Перейти к публикации
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 Перейти к публикации
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 Перейти к публикации
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 Перейти к публикации
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) Перейти к публикации
Jensen 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)
Перейти к публикации
A good lightface well-ordering of the reals does not imply the existence of boldface 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) Перейти к публикации
2023 г.
Авторы: 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) Перейти к публикации
2023 г.
Авторы: 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) Перейти к публикации
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) Перейти к публикации
Связь видовой продолжительности жизни с эволюцией гена Fbxl21.
Proceedings of 11th Moscow Conference on Computational Molecular Biology MCCMB’23.
Москва, 3–6 августа 2023, М.: ИППИ РАН, 2023.
2023 г.
Авторы: 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) Перейти к публикации
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) Перейти к публикации
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) Перейти к публикации
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) Перейти к публикации
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)
Перейти к публикации
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 Перейти к публикации
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 Перейти к публикации
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 Перейти к публикации
2022 г.
Авторы: 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 Перейти к публикации
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. Перейти к публикации
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 Перейти к публикации
The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. arXiv: 2209.07599 [math.LO], September 2022. Перейти к публикации
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) Перейти к публикации
A model in which the Separation principle holds for a given effective projective Sigma-class.
arXiv: 2204.03915 [math.LO], April 2022. Перейти к публикации
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) Перейти к публикации
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) Перейти к публикации
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) Перейти к публикации
Реконструкция эволюции геномных структур с паралогами.
Материалы международного конгресса «Биотехнология: состояние и перспективы развития»,
Москва, 26–29 октября 2021, вып. 19, стр. 207–208.
DOI: 10.37747/2312-640X-2021-19-207-209 Перейти к публикации
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, том 27, № 3-4, стр. 90–94.
DOI: 10.26347/1607-2499202103-04090-094 Перейти к публикации
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 Перейти к публикации
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) Перейти к публикации
On effectively indiscernible projective sets and the Leibniz-Mycielski axiom.
Mathematics, 2021, Vol. 9, No. 14, Art. 1670.
DOI: 10.3390/math9141670
(WoS Q1) Перейти к публикации
Модели теории множеств, в которых теорема отделимости неверна.
Известия Российской академии наук. Серия математическая,
2021, том 85, №6, стр. 164–204.
DOI: 10.4213/im8937
(WoS Q2) Перейти к публикации
Factoring Solovay-random extensions, with application to the Reduction property.
Monatshefte fur Mathematik, 2021, 194, 1, pp. 105–117.
DOI: 10.1007/s00605-020-01482-9
(WoS Q2) Перейти к публикации
The full basis theorem does not imply analytic wellordering,
Annals of pure and applied logic, 2021, volume 172, issue 4, paper no 102929.
DOI: 10.1016/j.apal.2020.102929
(WoS Q1) Перейти к публикации
On the "definability of definable" problem of Alfred Tarski.
Mathematics, 2020, Vol. 8, No. 12, Art. 2214.
DOI: 10.3390/math8122214
(WoS Q1) Перейти к публикации
Linear time additively exact algorithm for transformation of chain-cycle graphs for arbitrary costs of deletions and insertions.
Mathematics,
Vol. 8, No. 11, Art. 2001.
DOI: 10.3390/math8112001
(WoS Q1) Перейти к публикации
