|
 |
2025 year Authors: 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 Go to publication |
 |
2025 year Authors: Seliverstov A.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 |
 |
2025 year Authors: Khaziev G., Seliverstov A., Zverkóv O.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 |
 |
2025 year Authors: Seliverstov A.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 |
 |
2025 year Authors: Khaziev G., Seliverstov A., Lyubetsky V.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 |
 |
2025 year Authors: 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 Go to publication |
 |
2025 year Authors: 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)
Go to publication Download (228.7 KB) |
 |
2025 year Authors: Semenov A., Babenko M., Belov A., Vereschagin N., Vishnikin M., Zolin E., Krupsky V., Kuznetsov S., Lyubetsky V., Onoprienko A., Pentus M., Soprunov S., Sorokin A., Shehtman V., Yavorskaya T.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 |
 |
2025 year Authors: Kanovei V., Lyubetsky V.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)
|
 |
2025 year Authors: 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) Go to publication |
 |
2025 year Authors: 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 Q1, ÁÑ2) Go to publication |
 |
2025 year Authors: Kanovei V., Lyubetsky V.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 |
 |
2025 year Authors: 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)
Go to publication |
 |
2024 year Authors: Seliverstov A.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 |
 |
2024 year Authors: Zverkóv O., Seliverstov A., Shilovsky G.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 |
 |
2024 year Authors: Seliverstov A.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) |
 |
2024 year Authors: Gorbunov K., Lyubetsky V.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 |
 |
2024 year Authors: Shilovsky G., Sorokina E., Lyubetskaya E., Ferubko E.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 |
 |
2024 year Authors: Shilovsky G.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 |
|
|
|
|