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

On the significance of parameters and the projective level in the Choice and Collection axioms. arXiv: 2604.07594 [math.LO], April 08, 2024, 12 pp. DOI: 10.48550/arXiv.2604.07594 .
Go to publication

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

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

Alignment of RNA Sequences with Secondary Structure: MicroRNA Precursors. Маthematical biology and bioinformatics. 2025, vol. 20, no. 2, pp. 520-531. doi: 10.17537/2025.20.520
Go to publication

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

New algorithm for finding imperfect palindromes in DNA. MCCMB 2025, Moscow, July 31 – August 3, 2025, pp. 621–624.
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

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

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. P. 156–159.
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 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)
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. arXiv: 2209.07599 [math.LO], September 2022.
Go to publication

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

A model in which the Separation principle holds for a given effective projective Sigma-class. arXiv: 2204.03915 [math.LO], April 2022.
Go to publication

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

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

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