On the significance of parameters and the projective level in the Choice and Collection axioms. Memoirs of the American Mathematical Society 2025, under reviewing (WoS Q1).
Go to publication

On the uniform projection and covering problems in descriptive set theory under the axiom of constructibility. Mathematics 2025, under reviewing.(WoS Q1).
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 Q1)
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 (WoS Q1)
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 Δ¹_n 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)
Go to publication

A good lightface Δ¹_n well-ordering of the reals does not imply the existence of boldface Δ¹_n-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)
Go to publication

Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic. Studia Logica, Apr 2024. DOI: 10.1007/s11225-024-10108-2 (WoS Q2)
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)
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)
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)
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)
Go to publication

On Russell typicality in Set Theory. Proceedings of the American Mathematical Society, 2023, 151, no 5, pp. 2201–2210. https://doi.org/10.1090/proc/16232 (WoS Q2)
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

Reconstruction of evolution of genome structures with paralogs. The proceedings of International congress «Biotechnology: state of the art and perspectives», Moscow, Russia, October 26–29 2021, Iss. 19, P. 208–209. DOI: 10.37747/2312-640X-2021-19-207-209
Go to publication

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.

On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021. DOI: 10.48550/arXiv.2111.07654
Go to publication

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

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

On effectively indiscernible projective sets and the Leibniz-Mycielski axiom. Mathematics, 2021, Vol. 9, No. 14, Art. 1670. DOI: 10.3390/math9141670 (WoS Q1)
Go to publication

Models of set theory in which separation theorem fails. Izvestiya: Mathematics, 2021, Vol. 85, No 6,1181-1219. DOI: https://doi.org/10.1070/IM8937 (WoS Q2)
Go to publication

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

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

On the "definability of definable" problem of Alfred Tarski. Mathematics, 2020, Vol. 8, No. 12, Art. 2214. DOI: 10.3390/math8122214 (WoS Q1)
Go to publication

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

Evolution of mitochondrial genomic structures in metazoans: algorithm and software. The proceedings of International forum «Biotechnology: state of the art and perspectives», Moscow, Russia, October 28–30 2020, Iss. 18, P. 261–262. DOI: 10.37747/2312-640X-2020-18-260-262
Go to publication

Gene loss prediction based on genomic structure. The proceedings of International forum «Biotechnology: state of the art and perspectives», Moscow, Russia, October 28–30 2020, Iss. 18, P. 259–260. DOI: 10.37747/2312-640X-2020-18-258-260
Go to publication

An almost exact linear algorithm for transformation of chain-cycle graphs with optimization of the sum of operation costs. Doklady Mathematics, 2020, Vol. 102, No. 2, P. 376–379. DOI: 10.1134/S1064562420050324
Go to publication

An almost exact linear complexity algorithm of the shortest transformation of chain-cycle graphs. arXiv:2004.14351 [math.CO], Apr 29 2020.
Go to publication