On the significance of parameters and the projective level in the Choice and Collection axioms. Annals of Pure and Applied logic, 2025, under review. (Scimago Q1, БС 2)

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
Go to publication

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
Go to publication

Picking an Imperfect Palindrome. Polynomial Computer Algebra 2025 September 29 - October 4, 2025. Euler International Mathematical Institute, St. Petersburg, Russia.
Go to publication

Linearly ordered skew fields. International scientific and practical conference "XVIII Kolmogorov readings" September 17-19, 2025, Tver.
Go to publication

New algorithm for finding imperfect palindromes in DNA. MCCMB 2025, Moscow, July 31 – August 3, 2025, pp. 621–624.
Go to publication

On some submatrix of the Macaulay matrix. Polynomial Computer Algebra 2025, September 29 - October 5, 2025, Euler International Mathematical Institute, St. Petersburg, Russia, pp. 122-124.
Go to publication

Linearly ordered skew fields. International scientific and practical conference "XVIII Kolmogorov readings" September 17-19, 2025, Tver
Go to publication

On binary solutions to a system of linear equations modulo three. Programming and Computer Software, 2025, Vol. 51, No. 2, P. 109–116. DOI: 10.1134/S0361768824700919
Go to publication

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
Go to publication

Imperfect palindromes depending on GC-content. Сomputer Assisted Mathematics 2025, July 15–17 2025, P. 53–55.
Go to publication

On systems of three linear equations modulo three. Сomputer Assisted Mathematics 2025, July 15–17, 2025, pp. 113–116.
Go to publication

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
Go to publication

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.
Go to publication

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.
Go to publication

Early history of non-Desarguesian planes. Algebra, Number Theory, Discrete Geometry and Multiscale Modeling: modern problems and applications, applications and problems of history. XXIV International Conference dedicated to the 110th anniversary of the birth of Academician Yu.V. Linnik and the 110th anniversary of the birth of Professor A.B. Shidlovsky and the 80th anniversary of the birth of Professor G.I. Arkhipov. Tula, May 14–17, 2025. Tula: TSPU, 2025.
Go to publication

Structure-aware sequence alignment. Algebra, Number Theory, Discrete Geometry and Multiscale Modeling: modern problems and applications, applications and problems of history. XXIV International Conference dedicated to the 110th anniversary of the birth of Academician Yu.V. Linnik and the 110th anniversary of the birth of Professor A.B. Shidlovsky and the 80th anniversary of the birth of Professor G.I. Arkhipov. Tula, May 14–17, 2025. Tula: TSPU, 2025.
Go to publication

Stereotyped subclones revealed by high-density single-cell lineage tracing support robust development. Advanced Science, 2025, 2406208. DOI: 10.1002/advs.202406208
Go to publication

Notes on iterative summation of alternating factorials. Mathematics, 2025, Vol. 13, No. 12, Article 1942. DOI 10.3390/math13121942. (WoS Q1, БС1)
Go to publication Download (228.7 KB)

Chair of mathematical logic and theory of algorithms. Moscow University Mathematics Bulletin, Feb 2025, Vol. 80, No. 1, P. 23–33. DOI: 10.3103/S0027132225700196
Go to publication

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)
Go to publication

On the uniform projection problem in descriptive set theory. Axioms, 2025, Vol. 14, No. 1, Art. 13. DOI: 10.3390/axioms14010013 (WoS Q2, БС2)
Go to publication

Independence of the Comprehension Schema in Second-Order Arithmetic from the Parameter-Free Countable Choice. Mathematical Notes, 2025, vol. 117, no. 2, pp. 275-286. DOI: 10.1134/S0001434625010250 (WoS Q3, Scimago SJR Q2, БС2)
Go to publication

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)
Go to publication

The length of an unsatisfiable subformula. Algebra and Logic, 2024, Vol. 63, No. 1, pp. 65-72. DOI 10.1007/s10469-024-09771-0
Go to publication

Alignment of a hidden palindrome. Math. Biol. Bioinf, 2024, vol. 19, no. 2, pp. 427-438. DOI: 10.17537/2024.19.427
Go to publication

On semirecursive sets. International Conference Mal"tsev Meeting, November 11–15, 2024, Collection of Abstracts. Novosibirsk, 2024. P. 68.
Go to publication Download (51.1 KB)

An exact quadratic algorithm for the shortest tree transformation. Doklady Mathematics, Oct 29 2024, Vol. 110, Iss. 2, P. 373–378. DOI: 10.1134/S1064562424702259
Go to publication

New methods of induction of antioxidant defense based on exercise mimetics in the elderly. Clinical Gerontology, 2024, Vol. 30, No. 3-4, P. 52–56, (in Russian). DOI: 10.26347/1607-2499202403-04052-056
Go to publication

p62: Intersection of antioxidant defense and autophagy pathways. Molecular Biology, Oct 2024, Vol. 58, No. 5, P. 822–835. DOI: 10.1134/S0026893324700390
Go to publication

On systems of several equations modulo three. XIV Belarusian Mathematical Conference dedicated to the 65th anniversary of the Institute of Mathematics Minsk, October 28 – November 1, 2024. Minsk, 2024. Part 3. P. 152-154.
Go to publication Download (83.3 KB)

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.
Go to publication

Anti-aging medicine: Mitochondria-targeted antioxidants and physical activity. Biology Bulletin Reviews, Aug 2024, Vol. 14, No. 4, P. 426–433. DOI: 10.1134/S2079086424600188
Go to publication

Calculating aging: Analysis of survival curves in the norm and pathology, fluctuations in mortality dynamics, characteristics of lifespan distribution, and indicators of lifespan variation. Biochemistry (Moscow), Feb 2024, Vol. 89, No. 2, P. 371–376. DOI: 10.1134/S0006297924020159
Go to publication

Evolution of longevity in tetrapods: Safety is more important than metabolism level. Biochemistry (Moscow), Feb 2024, Vol. 89, No. 2, P. 322–340. DOI: 10.1134/S0006297924020111
Go to publication

Classes and phyla of the kingdom Fungi. Fungal Diversity, Sep 2024, Vol. 128, P. 1–165. DOI: 10.1007/s13225-024-00540-z
Go to publication

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
Go to publication

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
Go to publication

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
Go to publication

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)
Go to publication

Jensen ${\Delta }_n^1$ 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)
Go to publication

A good lightface ${\Delta }_n^1$ well-ordering of the reals does not imply the existence of boldface ${𝚫}_{n-1}^1$ 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)
Go to publication

Lower bounds for the rank of a matrix with zeros and ones outside the leading diagonal. Programming and Computer Software, 2024, vol. 50, pp. 202–207. DOI: 10.1134/S0361768824020142
Go to publication

On the length of an unsatisfiable conjunction. International Conference Polynomial Computer Algebra 2024, St. Petersburg, Russia, Apr 15–20 2024, pp. 140–143.

On polynomial-time computable structures. Proceedings of the international conference Algebra and mathematical logic: theory and applications. June 27-July 1, 2024, Kazan (Volga Region) Federal University, Kazan, pp. 190-192 (in Russian).
Go to publication

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