2026 |
| Gorbunov K., Lyubetsky V., Discrete evolution as a method for computing the MAF distance between trees.
Problems of Information Transmission, Sep 2026, Vol. 62, Iss. 2, P. 185–201.
DOI: 10.1134/S0032946026020043 http://iitp.ru/https://doi.org/10.1134/S0032946026020043 |
| <Unknown>, Grinkevich G., Zverkóv O., Rubanov L., Seliverstov A., Khaziev G., Lyubetsky V., Bioinformatic analysis of highly conserved elements of the genomes of placental mammals. ITaS-2026 http://iitp.ru/https://itas2026.iitp.ru/ |
| Khaziev G., Ivkin I.A., Grinkevich G., Seliverstov A., Lyubetsky V., Sequence alignment accounting for a special type of structure. Information Processes. 2026, vol. 26, no. 4.
|
| Khaziev G., Zverkóv O., Pirogov S., Seliverstov A., Lyubetsky V., Minimal distance between random sequence and perfect palindromes. Information Processes. 2026, vol. 26, no. 3, pp. 830-839. http://www.jip.ru/2026/26-3-2026.htm |
| Seliverstov A., Some application of near-fields to solving systems of algebraic equations over a finite field. XXV International Conference Algebra, Number Theory, Discrete Geometry, and Multiscale Modeling: modern problems, applications and problems of history, TSPU of Leo Tolstoy, Tula, October 06-10, 2026. P. 114-117. http://iitp.ru/https://poivs.tsput.ru/conf/international/XXV/en |
| Seliverstov A., Linearly ordered skew fields. In: I.V. Kuznetsova, S.A. Tikhomirov (eds.) Proceedings of the International Scientific and Practical Conference "XVIII Kolmogorov Readings" [September 17–19, 2025]. Tver, Tver State University, 2026, pp. 190-194. http://iitp.ru/https://elibrary.ru/rwtqkq |
| Kanovei V., Lyubetsky V., On the vertical ordering of planar curves. Axioms, submitted,
manuscript ID: axioms-4595992.
(WoS Q2, ÁÑ 2) |
| Seliverstov A., Polynomial-time computable diagrams with finite rings. Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics, 2026, no. 73, pp. 120–129. http://iitp.ru/https://journals.tsu.ru/pdm/&journal_page=archive&id=2770 |
| Kanovei V., Lyubetsky V., P.S. Novikov"s research on descriptive set theory.
Novikov-125: International Conference Dedicated to the 125th Anniversary of P.S. Novikov,
Moscow, Steklov Mathematical Institute, August 26 2026, plenary tal http://iitp.ru/https://www.mathnet.ru/rus/present51153 |
| Khaziev G., Zverkóv O., Seliverstov A., Trimming of imperfect palindromes. Ïðîãðàììèðîâàíèå [Programming]. 2026. ¹ 2. Ñ. 115–127. (in Russian) http://iitp.ru/https://elibrary.ru/wautex |
| Seliverstov A., The generic-case complexity of finding a binary solution to a system of linear equations. Ïðîãðàììèðîâàíèå [Programming] 2026, no. 2, pp. 105–114. (in Russian) http://iitp.ru/https://elibrary.ru/oizioh |
| Khaziev G., <Unknown>, Seliverstov A., Zverkóv O., Rubanov L., Shilovsky G., Lyubetsky V., Palindromic sites in highly conserved genomic elements which loss is associated with the expression of orthologous genes. 15th International Multiconference on “Bioinformatics of Genome Regulation and Structure/Systems Biology” – BGRS/SB-2026. July 6-11, 2026, Novosibirsk, Russia http://iitp.ru/https://bgrssb.icgbio.ru/2026/en/2026/07/07/palindromic-sites-in-highly-conserved-genomic-elements-w |
| Seliverstov A., Malyshev K.Yu., A Lower Bound on the Rank of Integer Matrices with Peculiar Leading Diagonal. Mathematical Modeling and Computational Physics - MMCP’2026. Dubna, June 22–26, 2026. http://iitp.ru/https://indico.jinr.ru/event/5789/contributions/36465/ |
| Khaziev G., Zverkóv O., DNA compression with the respect of palindromes.
International Conference Polynomial Computer Algebra 2026,
St. Petersburg, Russia, May 25–30 2026, P. 90–92. http://iitp.ru/https://pca.conf-pdmi.ru/2026/program |
| Malyshev K.Yu., Seliverstov A., Integer matrices with a peculiar leading diagonal.
International Conference Polynomial Computer Algebra 2026, St. Petersburg, Russia, May 25–30 2026, pp. 131-134. http://iitp.ru/https://pca.conf-pdmi.ru/2026/ |
| Kanovei V., Lyubetsky V., On P. S. Novikov’s Problem about Ordered Systems of Uniform Sets.
Mathematical Notes, 2026, volume 120, issue.5.
DOI: 10.1134/S0001434626603205 |
| Kanovei V., Lyubetsky V., Locally countable graphs of second projective class not generated by countably many projective functions.
arXiv: 2605.03126 [math.LO], May 25, 2026, 12 pp.
DOI: 10.48550/arXiv.2605.03126 http://iitp.ru/https://doi.org/10.48550/arXiv.2605.03126 |
| Kanovei V., Lyubetsky V., 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)
http://iitp.ru/https://www.mdpi.com/2227-7390/14/9/1499 |
| Khaziev G., Rubanov L., Seliverstov A., Zverkóv O., A novel algorithm for finding imperfect palindromes in long sequences.
Information and Telecommunication Technologies and Mathematical Modeling of High-Tech Systems 2026, Moscow, Russia, April 13–18, 2026. http://iitp.ru/https://events.rudn.su/event/306/contributions/1977/ |
| Kanovei V., Lyubetsky V., On Petr Novikov's problem of ordered systems of uniform sets.
arXiv: 2604.07594 [math.LO], April 15, 2026, 13 pp.
DOI: 10.48550/arXiv.2604.07594 http://iitp.ru/https://arxiv.org/abs/2604.07594 |
| Kanovei V., Lyubetsky V., On Constructible Sets in Simpson’s Set Theory.
Mathematical Notes ,
Vol. 120, no.1, pp. 27–40, DOI 10.1134/S0001434626603205 (SJR Q2, ÁÑ1) http://iitp.ru/https://www.mathnet.ru/rus/mzm14940 |
| Kanovei V., Lyubetsky V., On the parameters and the projective level in the Choice and Collection axioms.
Annals of Pure and Applied logic, 2026, under review.
(Scimago Q1, ÁÑ 2) http://iitp.ru/https://arxiv.org/abs/2407.20098 |
2025 |
| Lyubetsky V., Gorbunov K., Pirogov S., Khaziev G., <Unknown>, 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 http://iitp.ru/https://doi.org/10.1134/S0032946025040027 |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://www.mdpi.com/2075-1680/14/12/865 |
| Khaziev G., Zverkóv O., Rubanov L., Seliverstov A., Searching for the loop in imperfect palindrome. Information Systems and Technologies: Proceedings of the XI International Scientific Congress on Ñomputer Science (CSIST-2025), Republic of Belarus, Minsk, October 29–31, 2025. Part 1, pp. 204–208. http://iitp.ru/https://fpmi.bsu.by/csist-2025 |
| Khaziev G., Zverkóv O., Seliverstov A., Lyubetsky V., 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 http://iitp.ru/https://www.matbio.org/article.php?lang=eng&id=632 |
| Ermakova G., Meyntser I., Lyubetsky V., Zaraisky A., Bayramov A., 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 http://iitp.ru/https://doi.org/10.3389/fcell.2025.1667637 |
| Ermakova G., Meyntser I., Mugue N., Lyubetsky V., Zaraisky A., Bayramov A., 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 http://iitp.ru/https://doi.org/10.3389/fcell.2025.1649996 |
| Khaziev G., Zverkóv O., Seliverstov A., Picking an Imperfect Palindrome. Polynomial Computer Algebra 2025 September 29 - October 4, 2025. Euler International Mathematical Institute, St. Petersburg, Russia, pp. 85-87. http://iitp.ru/https://pca.conf-pdmi.ru/2025/program |
| Seliverstov A., On systems with a number of linear equations not less than half the number of variables. Mal"tsev Meetings Novosibirsk, November 10-14, 2025. P. 117.
http://old.math.nsc.ru/conference/malmeet/25/Main.htm |
| Khaziev G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., New algorithm for finding imperfect palindromes in DNA. MCCMB 2025, Moscow, July 31 – August 3, 2025, pp. 621–624. http://iitp.ru/https://www.mccmb.info/ |
| Seliverstov A., On some submatrix of the Macaulay matrix. Polynomial Computer Algebra 2025, September 29 - October 5, 2025, Euler International Mathematical Institute, St. Petersburg, Russia, pp. 143-145. http://iitp.ru/https://pca.conf-pdmi.ru/2025/ |
| Seliverstov A., Linearly ordered skew fields. International scientific and practical conference "XVIII Kolmogorov readings" September 17-19, 2025, Tver http://iitp.ru/https://xn----ctbcjbpdjchltdcba7aux3h6h.xn--p1ai/ |
| Zverkóv O., Seliverstov A., 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 http://iitp.ru/https://doi.org/10.1134/S0361768824700919 |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://arxiv.org/abs/2507.11643 |
| Khaziev G., Seliverstov A., Zverkóv O., Imperfect palindromes depending on GC-content.
CAM-2025, Computer Assisted Mathematics: Proceedings of the International Conference,
July 15–17 2025, ed. by N. N. Vassiliev, S. N. Pozdniakov; org. by ETU "LETI", PDMI RAS.
SPb: ANO “CTE” Center, 2025, P. 55–57. http://iitp.ru/https://cam.conf-pdmi.ru/2025/program |
| Seliverstov A., On systems of three linear equations modulo three. Ñomputer Assisted Mathematics 2025, July 15–17, 2025, pp. 113–116. http://iitp.ru/https://cam.conf-pdmi.ru/2025/program |
| 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 http://iitp.ru/https://doi.org/10.3390/ijms26135983 |
| 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. http://www.ccas.ru/ca/conference |
| 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. http://www.ccas.ru/ca/conference |
| 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. P. 203–206. http://iitp.ru/https://elibrary.ru/vmgwdc |
| 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. P. 156–159. http://iitp.ru/https://www.elibrary.ru/efbvxf |
| 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 http://iitp.ru/https://doi.org/10.1002/advs.202406208 |
| 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)
http://iitp.ru/https://www.mdpi.com/2227-7390/13/12/1942 |
| 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 http://iitp.ru/https://doi.org/10.3103/S0027132225700196 |
| 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) http://iitp.ru/https://www.mdpi.com/2227-7390/13/3/409 |
| 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 Q2, ÁÑ2) http://iitp.ru/https://www.mdpi.com/2075-1680/14/1/13 |
| 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)
http://iitp.ru/https://doi.org/10.4213/mzm14255 |
| 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)
http://iitp.ru/https://doi.org/10.1007/s11225-024-10108-2 |
2024 |
| 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
http://iitp.ru/https://rdcu.be/d4eSj |
| 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 http://iitp.ru/https://www.matbio.org/article.php?journ_id=47&id=584&lang=eng |
| Seliverstov A., On semirecursive sets. International Conference Mal"tsev Meeting, November 11–15, 2024, Collection of Abstracts. Novosibirsk, 2024. P. 68.
http://old.math.nsc.ru/conference/malmeet/24/Main.htm |
| 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 http://iitp.ru/https://doi.org/10.1134/S1064562424702259 |
| 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 http://iitp.ru/https://kg.newdiamed.ru/issue/id423192/id423254 |
| 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 http://iitp.ru/https://doi.org/10.1134/S0026893324700390 |
| Seliverstov A., Zverkóv O., 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. http://iitp.ru/https://mmf.bsu.by/ru/konferentsii/xiv-belorusskaya-matematicheskaya-konferentsiya/ |
| Malaschonok G., Seliverstov A., 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. http://iitp.ru/https://doi.org/10.1007/978-3-031-66336-9_14 |
| Shilovsky G., Sorokina E., Akhaev D., 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 http://iitp.ru/https://doi.org/10.1134/S2079086424600188 |
| Shilovsky G., 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 http://iitp.ru/https://doi.org/10.1134/S0006297924020159 |
| Shilovsky G., Putyatina T., Markov A., 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 http://iitp.ru/https://doi.org/10.1134/S0006297924020111 |
| Wijayawardene N., Hyde K., Mikhailov K., Peter G., Aptroot A., Pires-Zottarelli C., Goto B., Tokarev Y., Haelewaters D., Karunarathna S., Kirk P., de Santiago A., Saxena R., Schoutteten N., Wimalasena M., Aleoshin V., . . ., Zverkóv O., Thines M., Karpov S.A., Classes and phyla of the kingdom Fungi.
Fungal Diversity, Sep 2024, Vol. 128, P. 1–165.
DOI: 10.1007/s13225-024-00540-z http://iitp.ru/https://doi.org/10.1007/s13225-024-00540-z |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.20944/preprints202410.1379.v1 |
| Lyubetsky V., Shilovsky G., Yang J.-R., Seliverstov A., Zverkóv O., 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 http://iitp.ru/https://doi.org/10.3390/biology13100792 |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://arxiv.org/abs/2407.20098 |
| Gorbunov K., Lyubetsky V., 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) http://iitp.ru/https://doi.org/10.3390/math12060817 |
| Kanovei V., Lyubetsky V., 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)
http://iitp.ru/https://doi.org/10.3390/axioms13020096 |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://doi.org/10.1016/j.apal.2024.103426 |
| Seliverstov A., Zverkóv O., 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 http://iitp.ru/https://doi.org/10.1134/S0361768824020142 |
| Seliverstov A., On the length of an unsatisfiable conjunction. International Conference Polynomial Computer Algebra 2024, St. Petersburg, Russia, Apr 15–20 2024, pp. 140–143. |
| Seliverstov A., 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). http://iitp.ru/https://mathcenter.kpfu.ru/algmathlog |
2023 |
| Morgunova G., Shilovsky G., Khokhlov A., 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 |
| Khavinson V., Linkova N., Ashapkin V., Shilovsky G., Borushko N., Petukhov M., Vanyushin B., KE peptide regulates SIRT1, PARP1, PARP2 gene expression and protein synthesis in human mesenchymal stem cells aging.
Advances in Gerontology, 2023, Vol. 36, No. 3, P. 302–312, (in Russian).
DOI: 10.34922/AE.2023.36.3.003 http://iitp.ru/https://doi.org/10.34922/AE.2023.36.3.003 |
| Shilovsky G., Seliverstov A., Demographic Indicators of Probability Models.
Advances in Gerontology,
Sep 2023, Vol. 13, No. 3, P. 164–177.
DOI: 10.1134/S2079057024600307 http://iitp.ru/https://doi.org/10.1134/S2079057024600307 |
| Shilovsky G., Seliverstov A., Zverkóv O., Demographic indicators, models, and testing.
Discrete and Continuous Models and Applied Computational Science,
2023, V. 31, No. 4, P. 359–374.
DOI: 10.22363/2658-4670-2023-31-4-359-374 http://iitp.ru/https:/doi.org/10.22363/2658-4670-2023-31-4-359-374 |
| Seliverstov A., On the length of an unsatisfiable subformula. International Conference Mal"tsev meeting November 13-17, 2023. Novosibirsk, 2023, p. 132. http://old.math.nsc.ru/conference/malmeet/23/maltsev2023.pdf |
| Rusin L., Evolution of homology: From archetype towards a holistic concept of cell type. Journal of Morphology, 284(4), e21569. DOI: 10.1002/jmor.21569, WOS: 000939793400001, Scopus: 2-s2.0-85150724886 (JCR Q1) http://iitp.ru/https://onlinelibrary.wiley.com/share/author/PZTK4NRUXGH6JITUIM5P?target=10.1002/jmor.21569 |
| Shilovsky G., Dibrova D., Regulation of cell proliferation and Nrf2-mediated antioxidant defense: Conservation of Keap1 cysteines and Nrf2 binding site in the context of the evolution of KLHL family.
Life, Apr 19 2023, Vol. 13, No. 4, Art. 1045.
DOI: 10.3390/life13041045 http://iitp.ru/https://doi.org/10.3390/life13041045 |
| Skulachev V., Vyssokikh M., Chernyak B., Mulkidjanian A., Skulachev M., Shilovsky G., Lyamzaev K., Borisov V., Severin F., Sadovnichii V., Six functions of respiration: Isn’t it time to take control over ROS production in mitochondria, and aging along with it?
International Journal of Molecular Sciences, Aug 8 2023, Vol. 24, Iss. 16, Art. 12540.
DOI: 10.3390/ijms241612540
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/ijms241612540 |
| 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) http://iitp.ru/https://doi.org/10.1093/zoolinnean/zlac070 |
| 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) http://iitp.ru/https://doi.org/10.1016/j.jgg.2022.11.005 |
| Gorbunov K., Lyubetsky V., 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) http://iitp.ru/https://doi.org/10.3390/math11092024 |
| Boykov A., Seliverstov A., On a cube and subspace projections. Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp"yuternye Nauki, 2023, vol. 33, no. 3, pp. 402-415. http://vm.udsu.ru/issues/archive/issue/2023-3-2 |
| Seliverstov A., On binary solutions to a system of several linear equations modulo three. Algebra, Number Theory, Discrete Geometry and Multiscale Modeling: modern problems and applications, applications and problems of history. XXII International Conference dedicated to the 120th anniversary of the birth of Academician A. N. Kolmogorov and 60th anniversary of the opening of boarding school ¹18 at Moscow University. Tula, TSPU of Leo Tolstoy, 2023, pp. 242–244. http://iitp.ru/https://elibrary.ru/umniqg |
| Zverkóv O., Seliverstov A., Effective lover bounds on the matrix rank and their applications.
Programming and Computer Software, 2023, vol. 49, no. 5, pp. 441–447.
DOI: 10.1134/S0361768823020160 http://iitp.ru/https://www.elibrary.ru/mheydz |
| 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) http://iitp.ru/https://doi.org/10.1186/s13062-023-00405-6 |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://www.mdpi.com/2227-7390/11/15/3294 |
| Seliverstov A., Generalization of the subset sum problem and cubic forms.
Computational Mathematics and Mathematical Physics, 2023, vol. 63, no. 1, pp. 48-56.
DOI: 10.1134/S0965542523010116
http://iitp.ru/https://doi.org/10.1134/S0965542523010116 |
| Seliverstov A., On a simple lower bound for the matrix rank.
In: S.A. Abramov, A.B. Batkhin, L.A. Sevastyanov (eds.)
Computer algebra: 5th International Conference Materials, Moscow, Russia, June 26-28 2023, Moscow: KIAM, 2023, P. 126-128.
ISBN: 978-5-98354-067-5 |
| Seliverstov A., Dimensionality reduction to solve problems on the arrangement of a subspace and cube vertices.
All-Russian Scientific and Practical Conference SCIENTIST, TEACHER, MENTOR dedicated to the 85th anniversary of the birth of Professor A. R. Esayan, Tula, 2023, pp. 66-69. http://poivs.tsput.ru/conf/vseros/esayan2023/ |
| Seliverstov A., Notes on obstacles to dimensionality reduction.
International Conference Polynomial Computer Algebra "2023, Apr 17, St. Petersburg, Russia, 2023, pp. 104-107. http://iitp.ru/https://pca-pdmi.ru/2023/ |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://www.mdpi.com/2227-7390/11/11/2517 |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://www.mdpi.com/2227-7390/11/3/726 |
| Kanovei V., Lyubetsky V., 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)
http://iitp.ru/https://www.ams.org/journals/proc/0000-000-00/S0002-9939-2023-16232-2/ |
2022 |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.20944/preprints202212.0255.v2 |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.48550/arXiv.2209.07599 |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.48550/arXiv.2204.03915 |
| 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 http://iitp.ru/https://doi.org/10.1101/2022.02.15.480519 |
| Shilovsky G., Sorokina E., Putyatina T., Assessment of the human metabolome as a method for molecular diagnostics of colorectal cancer: Prevention and therapy.
Biology Bulletin Reviews, Aug 2022, Vol. 12, P. 422–427.
DOI: 10.1134/S2079086422040089 http://iitp.ru/https://doi.org/10.1134/S2079086422040089 |
| Shilovsky G., Putyatina T., Markov A., Evolution of longevity as a species-specific trait in mammals.
Biochemistry (Moscow), 2022, Vol. 87, Iss. 12-13, P. 1579–1599.
DOI: 10.1134/S0006297922120148 |
| Shilovsky G., Ashapkin V., Transcription factor Nrf2 and mitochondria – friends or foes in the regulation of aging rate.
Biochemistry (Moscow), 2022, Vol. 87, Iss. 12-13, P. 1477–1486.
DOI: 10.1134/S0006297922120057 http://iitp.ru/https://doi.org/10.31857/S0320972522120065 |
| Seliverstov A., On binary solutions to a system of linear equations over a computable field. International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 78. |
| Latkin I.V., Seliverstov A., International Conference Mal"tsev Meeting. Collection of Abstracts, Novosibirsk, Russia, November 14-19 2022, Novosibirsk: Novosibirsk State University, 2022, P. 72. |
| Latkin I.V., Seliverstov A., International Scientific Conference on Mathematical Logic and Computer Science, Eurasian National University, Kazakhstan, Astana, October 7-8, 2022, pp. 36-40. http://iitp.ru/https://fit.enu.kz/subpage/protokoly |
| Adlaj S.F., Malaschonok G.I., Malyshev K.Yu., Seliverstov A., Uskov F.G., On algorithms for calculating complete elliptic integrals.
Representation theory, dynamical systems, combinatorial methods. Part XXXIV, Zap. Nauchn. Sem. POMI, 517, POMI, St. Petersburg, 2022, 5-16. http://mi.mathnet.ru/znsl7277 |
| Latkin I.V., Seliverstov A., On computations over ordered rings.
Siberian Electronic Mathematical Reports, 2022, vol. 19, no. 2, pp. 1054–1076 (in Russian). http://iitp.ru/https://doi.org/10.33048/semi.2022.19.085 |
| Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., 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. http://iitp.ru/https://elibrary.ru/item.asp?id=49238208 |
| Seliverstov A., Generic-case complexity of the multiple subset sum problem.
International Conference Polynomial Computer Algebra "2022, May 2-7, St. Petersburg, Russia, 2022, pp. 96-99. http://iitp.ru/https://elibrary.ru/item.asp?id=48599481 |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://www.preprints.org/manuscript/202212.0255/v2 |
| Kanovei V., On sets that hereditarily belong to countable OD sets.
European Set Theory Conference 2022. Department of Mathematics of the University of Turin and the European Set Theory Society, August 29 - September 2, 2022, Turin, Italy. http://logicgroup.altervista.org/torino/ESTC2022/site/abstracts/ |
| Kanovei V., Lyubetsky V., The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. arXiv: 2209.07599 [math.LO], September 2022. http://iitp.ru/https://arxiv.org/pdf/2209.07599.pdf |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://doi.org/10.3390/axioms11080354 |
| Kanovei V., Lyubetsky V., A model in which the Separation principle holds for a given effective projective Sigma-class.
arXiv: 2204.03915 [math.LO], April 2022. http://iitp.ru/https://arxiv.org/abs/2204.03915 |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://doi.org/10.1090/tran/8710 |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://www.mdpi.com/2075-1680/11/3/122 |
| Shilovsky G., Lability of the Nrf2/Keap/ARE cell defense system in different models of cell aging and age-related pathologies.
Biochemistry (Moscow), 2022, Vol. 87, Iss. 1, P. 70–85.
DOI: 10.1134/S0006297922010060 http://iitp.ru/https://doi.org/10.1134/S0006297922010060 |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://doi.org/10.3390/math10030491 |
2021 |
| Gorbunov K., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.37747/2312-640X-2021-19-207-209 |
| Malaschonok G.I., Seliverstov A., New features in MathPartner 2021. Computer Tools in Education, 2021, No. 3, P. 29–40. http://cte.eltech.ru/ojs/index.php/kio/article/view/1719 |
| Kanovei V., On the ‘Definability of definable’ problem of Alfred Tarski.
Logic Colloquium 2021. European Summer Meeting of the Association for Symbolic Logic. Book of abstracts. S.Chlebowski, D.Ratajczyk, P.Lupkowski (eds.) Adam Mickiewicz University, Poznan, Poland, 19-24 July 2021. Page 195. |
| Shilovsky G., Putyatina T., Markov A., Altruism and phenoptosis as programs supported by evolution.
Biochemistry (Moscow),
2021, Vol. 86, Iss. 12-13, P. 1540–1552.
DOI: 10.1134/S0006297921120038 http://iitp.ru/https://doi.org/10.1134/S0006297921120038 |
| Shilovsky G., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V., 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. |
| Seliverstov A., On some quasipolynomial-time algorithms. Computer Tools in Education. 2021, no. 2, pp. 5–12. DOI: 10.32603/2071-2340-2021-2-5-12 http://cte.eltech.ru/ojs/index.php/kio/article/view/1684 |
| Morgunova G., Shilovsky G., Khokhlov A., Effect of Caloric Restriction on Aging: Fixing the Problems of Nutrient Sensing in Postmitotic Cells?
Biochemistry (Moscow), Oct 2021, Vol. 86, Iss. 10, P. 1352–1367.
DOI: 10.1134/S0006297921100151 http://iitp.ru/https://doi.org/10.1134/S0006297921100151 |
| Oleskin A., Sorokina E., Shilovsky G., Interaction of catecholamines with microorganisms, neurons, and immune cells.
Biology Bulletin Reviews, 2021, Vol. 11, No. 4, P. 358–367.
DOI: 10.1134/S2079086421040058 http://iitp.ru/https://doi.org/10.1134/S2079086421040058 |
| Kanovei V., Lyubetsky V., On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021.
DOI: 10.48550/arXiv.2111.07654 http://iitp.ru/https://doi.org/10.48550/arXiv.2111.07654 |
| Kanovei V., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.48550/arXiv.2111.13491 |
| Malaschonok G.I., Seliverstov A., Calculation of integrals in MathPartner. Discrete and Continuous Models and Applied Computational Science, 2021, vol. 29, no. 4, pp. 337-346.
DOI:10.22363/2658-4670-2021-29-4-337-346 http://iitp.ru/https://doi.org/10.22363/2658-4670-2021-29-4-337-346 |
| Gorbunov K., Lyubetsky V., 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) http://iitp.ru/https://doi.org/10.3390/math9202576 |
| Seliverstov A., On the absence of any (0,1)-solution to a system of equations. International Conference Mal"tsev meeting, September 20-24, 2021. Collection of Abstracts. Novosibirsk, 2021. P. 73 (in Russian). http://www.math.nsc.ru/conference/malmeet/21/Main.htm |
| Kanovei V., Paradoxical partitions of the reals by Robert Solovay.
International Conference "Adian 90: Conference on Mathematical Logic, Algebra and Computation" 7 July 2021, 12:45–13:30, Steklov Math. Inst. (Moscow). http://www.mathnet.ru/php/presentation.phtml?option_lang=rus&presentid=31068 |
| Enayat A., Kanovei V., Lyubetsky V., On effectively indiscernible projective sets and the Leibniz-Mycielski axiom.
Mathematics, 2021, Vol. 9, No. 14, Art. 1670.
DOI: 10.3390/math9141670
(WoS Q1) http://iitp.ru/https://doi.org/10.3390/math9141670 |
| Seliverstov A., Binary solutions to large systems of linear equations. Prikl. Diskr. Mat. 2021, no. 52, pp. 5-15. DOI: 10.17223/20710410/52/1
http://iitp.ru/https://doi.org/10.17223/20710410/52/1 |
| Seliverstov A., A plain note on binary solutions to large systems of linear equations. In: S.A. Abramov, L.A. Sevastyanov (eds) Computer algebra: 4th International Conference Materials, Moscow, Russia, June 28-29 2021. Moscow: MAKS Press, 2021, pp. 100-103. DOI: 10.29003/m2019.978-5-317-06623-9 http://iitp.ru/https://doi.org/10.29003/m2019.978-5-317-06623-9 |
| Seliverstov A., A gap between small and large systems of linear equations. The 22nd Workshop on Computer Algebra in memory of Professor Vladimir Gerdt, Dubna, Russia, 2021. P. 26. http://iitp.ru/https://indico-hlit.jinr.ru/event/187/ |
| Shilovsky G., Putyatina T.S., Morgunova G.V., Seliverstov A., Ashapkin V.V., Sorokina E.V., Markov A.V., Skulachev V.P., A crosstalk between the biorhythms and gatekeepers of longevity: dual role of glycogen synthase kinase-3. Biochemistry Moscow, 2021, vol. 86, pp. 433-448.
DOI: 10.1134/S0006297921040052 http://iitp.ru/https://doi.org/10.1134/S0006297921040052 |
| Seliverstov A., Heuristic algorithms for recognition of some cubic hypersurfaces. Programming and Computer Software, 2021, vol. 47, no. 1, pp. 50-55. DOI: 10.1134/S0361768821010096 http://iitp.ru/https://elibrary.ru/item.asp?id=44429151 |
| Enayat A., Kanovei V., An unpublished theorem of Solovay, on OD partitions of reals into two non-OD parts, revisited.
Journal of Mathematical Logic, 2021, vol. 21, Issue 03, Article No. 2150014 DOI: 10.1142/S0219061321500148 (WoS Q1) http://iitp.ru/https://www.worldscientific.com/doi/10.1142/S0219061321500148 |
| Kanovei V., Lyubetsky V., 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) http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=8937&option_lang=rus |
| Kanovei V., Schindler R., Definable Hamel bases and ACω(R).
Fundamenta Mathematicae, 2021, 253, 3, p. 239-256. DOI 10.4064/fm909-6-2020 (WoS Q3) http://iitp.ru/https://www.impan.pl/en/publishing-house/journals-and-series/fundamenta-mathematicae/online/113667/d |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://doi.org/10.1007/s00605-020-01482-9 |
| Kanovei V., Lyubetsky V., 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) http://iitp.ru/https://www.sciencedirect.com/science/article/pii/S0168007220301536?via%3Dihub |
2020 |
| Enayat A., Kanovei V., An unpublished theorem of Solovay, revisited. arXiv:2001.11058 [math.LO], January 2020. http://iitp.ru/https://arxiv.org/abs/2001.11058 |
| Seliverstov A., On circular sections of a second-order surface. Computer tools in education, 2020, no. 4, pp. 59-68.
DOI: 10.32603/2071-2340-2020-4-59-68 http://ipo.spb.ru/journal/index.php?article/2258/ |
| Kanovei V., Lyubetsky V., On the "definability of definable" problem of Alfred Tarski.
Mathematics, 2020, Vol. 8, No. 12, Art. 2214.
DOI: 10.3390/math8122214
(WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/8/12/2214 |
| Gorbunov K., Lyubetsky V., 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) http://iitp.ru/https://doi.org/10.3390/math8112001 |
| Gorbunov K., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.37747/2312-640X-2020-18-260-262 |
| Rubanov L., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.37747/2312-640X-2020-18-258-260 |
| Seliverstov A., An Effectively Computable Projective Invariant Polynomial Computer Algebra "2020. St. Petersburg, 2020. http://iitp.ru/https://pca-pdmi.ru/2020/program |
| Gorbunov K., Lyubetsky V., 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 http://iitp.ru/https://doi.org/10.1134/S1064562420050324 |
| Gorbunov K., Lyubetsky V., An almost exact linear complexity algorithm of the shortest transformation of chain-cycle graphs.
arXiv:2004.14351 [math.CO], Apr 29 2020. http://iitp.ru/https://arxiv.org/abs/2004.14351 |
| Ashapkin V., Khavinson V., Shilovsky G., Linkova N., Vanyushin B., Gene expression in human mesenchymal stem cell aging cultures: modulation by short peptides
Molecular Biology Reports,
2020, Vol. 47, Iss. 6, P. 4323–4329.
DOI: 10.1007/s11033-020-05506-3, PMID: 32399807 http://iitp.ru/https://doi.org/10.1007/s11033-020-05506-3 |
| Skulachev V., Shilovsky G., Putyatina T., Popov N., Markov A., Skulachev M., Sadovnichii V., Perspectives of Homo sapiens lifespan extension: focus on external or internal resources?
Aging, 2020, Vol. 12, No. 6, P. 5566–5584.
DOI: 10.18632/aging.102981, PMID: 32229707 http://iitp.ru/https://www.aging-us.com/article/102981/text |
| Lyubetsky V., Shilovsky G., Zverkóv O., Seliverstov A., Rubanov L., New bioinformatics methods for identification of lost genes and protein isoforms.
Homo sapiens liberatus, Proceedings of the 3rd International Conference in celebration of the 85th birthday of professor V.P. Skulachev, Moscow, Russia, February 20–21 2020, Abstract Book.
Moscow: Torus Press, 2020, P. 41–42.
DOI: 10.30826/HomoSapiens-2020-30 http://iitp.ru/https://www.elibrary.ru/item.asp?id=42660982 |
| Lyubetsky V., Shilovsky G., Seliverstov A., Zverkóv O., Rubanov L., Evolution of proteins involved in response to ROS.
Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2020), The Twelfth International Multiconference Abstracts, Novosibirsk, Russia, 6–10 July 2020.
Novosibirsk: ICG SB RAS, 2020, P. 652–653.
DOI: 10.18699/BGRS/SB-2020-398 http://iitp.ru/https://doi.org/10.18699/BGRS/SB-2020-398 |
| Seliverstov A., Fast enumeration of rational numbers and bioinformatics problems. XVIII International conference Algebra, number theory and discrete geometry modern problems, applications and problems of history dedicated to the centenary of the birth of professors B. M. Bredikhin, V. I. Nechaev and S. B. Stechkin, Tula, September 23–26 2020, Tula: TSPU, 2020, pp. 196-198. eLIBRARY ID: 44367872 http://iitp.ru/https://elibrary.ru/item.asp?id=44367872 |
| Rubanov L., Zverkóv O., Shilovsky G., Seliverstov A., Lyubetsky V., Protein-coding genes in Euarchontoglires with pseudogene homologs in humans.
Life, 2020, Vol. 10, No. 9, Art. 192.
DOI: 10.3390/life10090192, PMID: 32927891 http://iitp.ru/https://doi.org/10.3390/life10090192 |
| Kanovei V., Lyubetsky V., On the Δ1n Problem of Harvey Friedman.
Mathematics,
2020, Vol. 8, No. 9, Art. 1477.
DOI: 10.3390/math8091477
(WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/8/9/1477 |
| Kanovei V., Lyubetsky V., On the equality modulo a countable set.
Mathematical notes,
2020, Vol. 108, Iss. 4, P. 615–616.
DOI: 10.1134/S0001434620090357 http://mi.mathnet.ru/mz12753 |
| Lyubetsky V., Zverkóv O., Rubanov L., Seliverstov A., Optimal growth temperature and intergenic distances in bacteria, archaea, and plastids of rhodophytic branch.
BioMed Research International, 2020, Vol. 2020, Art. 3465380.
DOI: 10.1155/2020/3465380, PMID: 32025518 http://iitp.ru/https://www.hindawi.com/journals/bmri/2020/3465380/ |
| Kanovei V., Lyubetsky V., Models of set theory in which nonconstructible reals first appear at a given projective level .
Mathematics, 2020, Vol. 8, No. 6, Art. 910. DOI: 10.3390/math8060910 (WoS Q1) http://iitp.ru/https://www.mdpi.com/2227-7390/8/6/910 |
| Kanovei V., Katz M., Nowik T., Metric completions, Heine-Borel, and approachability.
Open Mathematics, 2020, Volume 18, Issue 1, 162-166. DOI: 10.1515/math-2020-0017 WoS Q3 http://iitp.ru/https://www.degruyter.com/view/journals/math/18/1/article-p162.xml?tab_body=abstract |
| Seliverstov A., Symmetric matrices whose entries are linear functions.
Computational Mathematics and Mathematical Physics, 2020, Vol. 60, No. 1, pp. 102–108.
DOI: 10.1134/S0965542520010121 |
| Bair J., Blaszczyk P., Heinig P., Kanovei V., Katz M., McGaffey T., Cauchy"s work on integral geometry, centers of curvature, and other applications of infinitesimals.
Real Analysis Exchange, 2020, Vol. 45, No. 1, pp. 127-150 . DOI: 10.14321/realanalexch.45.1.0127 http://iitp.ru/https://www.jstor.org/stable/10.14321/realanalexch.45.1.0127?seq=1 |
| Kanovei V., Lyubetsky V., Canonization of smooth equivalence relations on infinite-dimensional E0-large products.
Notre Dame Journal of Formal Logic,
2020, Vol. 61, No. 1, P. 117–128.
DOI: 10.1215/00294527-2019-0034
(WoS Q1) http://iitp.ru/https://projecteuclid.org/euclid.ndjfl/1576120172 |
2019 |
| Zverkóv O., Mikhailov K., Isaev S., Rusin L., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V., Dicyemida and Orthonectida: Two stories of body plan simplification.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’19,
Moscow, Russia, July 27–30 2019. http://mccmb.belozersky.msu.ru/2019/thesis/MCCMB2019/pages/author.utf8.html |
| Gorbunov K., Lyubetsky V., Linear algorithm for reconstruction of chromosome structures.
The proceedings of International congress «Biotechnology: state of the art and perspectives»,
Moscow, Russia, February 25–27 2019, Iss. 17, P. 350–351. http://iitp.ru/https://elibrary.ru/item.asp?id=37590378 |
| Rubanov L., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V., Mouse genes lost in rodent and primate species with long lifespan.
The proceedings of International congress «Biotechnology: state of the art and perspectives»,
Moscow, Russia, February 25–27 2019, Iss. 17, P. 342. http://iitp.ru/https://elibrary.ru/item.asp?id=37590373 |
| Shilovsky G., Putyatina T., Ashapkin V., Yamskova O., Lyubetsky V., Sorokina E., Shram S., Markov A., Vyssokikh M., Biological diversity and remodeling of cardiolipin in oxidative stress and age-related pathologies.
Biochemistry (Moscow), 2019, Vol. 84, No. 12, P. 1469–1483.
DOI: 10.1134/S000629791912006X |
| Seliverstov A., On binary solutions to systems of equations.
Prikladnaya Diskretnaya Matematika,
2019, No. 45, P. 26–32 (in Russian).
DOI: 10.17223/20710410/45/3 http://iitp.ru/https://doi.org/10.17223/20710410/45/3 |
| Lyubetsky V., Kanovei V., Set theory: absolute undecidability of classical problems.
Textbook for universities, 2nd ed., Moscow, Urait, 2019, 348 p. (in Russian).
ISBN: 978-5-534-10390-8 |
| Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., Kutateladze S., Nowik T., Schaps D., Sherry D., Gregory’s Sixth Operation.
Mircea Pitici (Editor), The Best Writing on Mathematics 2019 Princeton University Press, 2019, pp. 195–207. DOI: 10.1515/9780691197944-015 Book DOI: 10.1515/9780691197944 Online ISBN: 9780691197944 http://iitp.ru/https://doi.org/10.1515/9780691197944-015 |
| Bair J., Blaszczyk P., Kanovei V., Katz M., Heinig P., 19th-century real analysis, forward and backward.
Antiquitates Mathematicae, 2019, 13, 1, pp. 19-49. DOI:10.14708/am.v13i1.6440 http://iitp.ru/https://wydawnictwa.ptm.org.pl/index.php/antiquitates-mathematicae/article/view/6440 |
| Kanovei V., Lyubetsky V., Indiscernible pairs of countable sets of reals at a given projective level.
arXiv: 1912.12962 [math.LO], December 2019. http://iitp.ru/https://arxiv.org/abs/1912.12962 |
| Seliverstov A., Computation of the greatest common divisor with generalized register machines. Program of the 62nd All-Russian Scientific Conference MIPT. November18-24, 2019. MIPT, Moscow 2019. P. 95. http://iitp.ru/https://conf62.mipt.ru |
| Seliverstov A., Note on circular sections. Unpublished text in Russian. |
| Rubanov L., Zaraisky A., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V., Screening for mouse genes lost in mammals with long lifespans.
BioData Mining, 2019, Vol. 12, Art. 20.
DOI: 10.1186/s13040-019-0208-x, PMID: 31728160 http://iitp.ru/https://doi.org/10.1186/s13040-019-0208-x |
| Shilovsky G., Zverkóv O., Seliverstov A., Ashapkin V., Putyatina T., Rubanov L., Lyubetsky V., New C-terminal conserved regions of tafazzin, a catalyst of cardiolipin remodeling.
Oxidative Medicine and Cellular Longevity,
Vol. 2019, Art. 2901057.
DOI: 10.1155/2019/2901057, PMID: 31781330 http://iitp.ru/https://www.hindawi.com/journals/omcl/2019/2901057/ |
| Korotkova D., Lyubetsky V., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Martynova N., Nesterenko A., Tereshina M., Peshkin L., Zaraisky A., Bioinformatics screening of genes specific for well-regenerating vertebrates reveals c-answer, a regulator of brain development and regeneration.
Cell Reports, Vol. 29, Iss. 4, P. 1027–1040.
DOI: 10.1016/j.celrep.2019.09.038, PMID: 31644900
(WoS Q1, IF 10) http://iitp.ru/https://www.cell.com/cell-reports/fulltext/S2211-1247(19)31226-4 |
| Kanovei V., Definable selector for Δ02 sets modulo countable.
arXiv: 1910.00926 [math.LO], October 2019 http://iitp.ru/https://arxiv.org/abs/1910.00926 |
| Seliverstov A., Hessian matrices of reducible third degree polynomials. XVII International conference algebra, number theory and discrete geometry modern problems, applications and problems of history dedicated to the centenary of the birth of professor N. I. Feldman and the ninetieth anniversary of the birth of professors A. I. Vinogradov, A. V. Malyshev and B. F. Skubenko Tula, 2019. P. 294-296 (in Russian). http://poivs.tsput.ru/conf/international/XVII/files/Conference2019S.pdf |
| Seliverstov A., On smoothness recognition over reals. International Conference Mal"tsev Meeting. August 19-23, 2019. Collection of Abstracts. Novosibirsk, 2019. P. 97. http://www.math.nsc.ru/conference/malmeet/19/Main.htm |
| Bottazzi E., Kanovei V., Katz M., Mormann T., Sherry D., On mathematical realism and applicability of hyperreals.
Matematychni Studii, 2019, 51, 2, pp. 200-224. DOI:10.15330/ms.51.2.200-224 SCIMAGO, Q3 http://iitp.ru/https://doi.org/10.15330/ms.51.2.200-224 |
| Seliverstov A., Zverkóv O., Rubanov L., Lyubetsky V., Protein clustering and gene loss prediction.
Computer Assisted Mathematics Conference.
Electrotechnical University "LETI" Saint-Petersburg, Russia, July 22-24, 2019. P. 7 http://cte.eltech.ru/ojs/public/static/ProgramCAM-2019.pdf |
| Seliverstov A., Notes on the generic complexity of recognition problems (in Russian). Proceedings of the International Conference "Algebra and Mathematical Logic: Theory and Applications" (Kazan, June 24-28, 2019) Kazan: KFU, 2019. P. 158-160. http://iitp.ru/https://kpfu.ru/math/conference/algmathlog |
| Kanovei V., Lyubetsky V., Models of set theory in which separation theorem fails.
arXiv:1905.11241 [math.LO], May 2019. http://iitp.ru/https://arxiv.org/abs/1905.11241 |
| Zverkóv O., Mikhailov K., Isaev S., Rusin L., Popova O., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V., Dicyemida and Orthonectida: Two stories of body plan simplification.
Frontiers in Genetics
Vol. 10, Article 443.
DOI: 10.3389/fgene.2019.00443, PMID: 31178892
(WoS Q1, IF 5) http://iitp.ru/https://www.frontiersin.org/articles/10.3389/fgene.2019.00443/full |
| Seliverstov A., On the geometric brigade of the Institute of General and Inorganic Chemistry of the Academy of Sciences of the USSR until 1941. XVI International Conference "Algebra, Number Theory and Discrete Geometry: modern problems, applications and problems of history" dedicated to the 80th anniversary of the birth of Professor Michel Desa. Tula, the Tula State Pedagogical University of Leo Tolstoy, 2019. P. 378–380. (In Russian) http://poivs.tsput.ru/conf/international/XVI/files/Conference2019M.pdf |
| Seliverstov A., On polynomials of odd degree over reals. International Conference Polynomial Computer Algebra "2019; St. Petersburg, April 15–20, 2016 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2019. P. 133–134. http://iitp.ru/https://pca-pdmi.ru/2019/pca2019_book.pdf |
| Kanovei V., Lyubetsky V., Absoluteness of the Solovay set Σ.
Siberian Mathematical Journal,
2019, 60, no 6, pp. 1003-1006.
DOI: 10.1134/S0037446619060089
(WoS Q3) http://mi.mathnet.ru/rus/smj/v60/i6/p1286 |
| Gitman V., Friedman S.D., Kanovei V., A model of second-order arithmetic satisfying AC but not DC.
Journal of Mathematical Logic, 2019, 19, no 1, article ID 1850013, pp. 1--39. DOI 10.1142/S0219061318500137 WoS Q1 (Ranked 1st overall in the category of Logic) http://iitp.ru/https://www.worldscientific.com/doi/pdf/10.1142/S0219061318500137 |
| Kanovei V., Lyubetsky V., Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
Fundamenta mathematicae,
2019, 245, 2, pp. 175--216.
DOI: 10.4064/fm517-7-2018
(WoS Q3) http://iitp.ru/https://www.doi.org/10.4064/fm517-7-2018 |
| Kanovei V., Lyubetsky V., Definable elements of definable Borel sets.
Mathematical Notes,
2019, 105, no 5, pp. 684-693.
DOI: 10.1134/S0001434619050055
(WoS Q3) http://mi.mathnet.ru/mz12001 |
| Kanovei V., Lyubetsky V., Borel OD sets of reals are OD-Borel in some simple models.
Proceedings of the American mathematical society,
2019, 147, no 3, pp. 1277–1282.
DOI 10.1090/proc/14286
(WoS Q2) http://iitp.ru/https://doi.org/10.1090/proc/14286 |
| Kanovei V., Lyubetsky V., Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic,
2019, vol. 84, no 1, pp. 266-289.
DOI:10.1017/jsl.2018.77
(WoS Q2) http://iitp.ru/https://doi.org/10.1017/jsl.2018.77 |
2018 |
| Kanovei V., Lyubetsky V., Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769v3 [math.LO], January 2018. http://iitp.ru/https://arxiv.org/abs/1712.00769v3 |
| Korotkova D., Lyubetsky V., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Martynova N., Nesterenko A., Tereshina M., Peshkin L., Zaraisky A., Bioinformatic screening of genes present only in well regenerating vertebrates reveals novel FGF and purinergic signaling modulator - c-Answer.
bioRxiv, 13 Dec 2018.
DOI: 10.1101/494609 http://iitp.ru/https://doi.org/10.1101/494609 |
| Shilovsky G., Putyatina T., Ashapkin V., Rozina A., Lyubetsky V., Minina E., Bychkovskaia I., Markov A., Skulachev V., Ants as Object of Gerontological Research.
Biochemistry (Moscow),
2018, Vol. 83, Iss. 12–13, P. 1489–1503.
DOI: 10.1134/S0006297918120076 http://iitp.ru/https://doi.org/10.1134/S0006297918120076 |
| Kanovei V., Lyubetsky V., On intermediate extensions of generic extensions by a random real.
arXiv:1811.10568 [math.LO], December 2018. http://iitp.ru/https://arxiv.org/abs/1811.10568 |
| Kanovei V., Lyubetsky V., On Harrington"s model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami.
arXiv:1810.12542v2 [math.LO], November 2018. http://iitp.ru/https://arxiv.org/abs/1810.12542 |
| Aleoshin V., Slyusarev G., Mikhailov K., Popova O., Rusin L., Zverkóv O., Lyubetsky V., Orthonectida and Dicyemida: Two stories of body plan simplification.
In: Molecular Phylogenetics (Eds.: A. Troitsky, L. Rusin),
Moscow: Torus Press, 2018, P. 3–4.
DOI: 10.30826/MolPhy2018-01 http://iitp.ru/https://doi.org/10.30826/MolPhy2018-01 |
| Kanovei V., Lyubetsky V., A countable definable set of reals containing no definable elements,
arXiv:1408.3901v2 [math.LO], Sept. 2018, 11 p.
http://iitp.ru/https://arxiv.org/abs/1408.3901 |
| Gitman V., Friedman S.D., Kanovei V., A model of second-order arithmetic satisfying AC but not DC.
arXiv:1808.04732 [math.LO], August 2018. http://iitp.ru/https://arxiv.org/abs/1808.04732 |
| Seliverstov A., Shilovsky G., Rubanov L., Zverkóv O., Lyubetsky V., Longevity in mammals: lost genes as a determinant.
Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB-2018): The Eleventh International Conference (20–25 Aug. 2018, Novosibirsk, Russia); Abstracts.
Institute of Cytology and Genetics, Siberian Branch of Russian Academy of Sciences; Novosibirsk State University. –
Novosibirsk: ICG SB RAS, 2018. P. 249.
DOI: 10.18699/BGRSSB-2018-221 http://conf.bionet.nsc.ru/bgrssb2018/en/ |
| Seliverstov A., Rubanov L., Shilovsky G., Zverkóv O., Lyubetsky V., Longevity in euarchontoglires: lost genes as a determinant.
FEBS Open Bio,
2018, Vol. 8 (Suppl. 1), P. 456–457;
DOI: 10.1002/2211-5463.12453. http://iitp.ru/https://doi.org/10.1002/2211-5463.12453 |
| Seliverstov A., Binary Solutions to Some Systems of Linear Equations.
In: Eremeev A., Khachay M., Kochetov Y., Pardalos P. (eds) Optimization Problems and Their Applications. OPTA 2018.
Communications in Computer and Information Science, vol 871, pp. 183-192. Springer, Cham (2018). http://iitp.ru/https://doi.org/10.1007/978-3-319-93800-4_15 |
| Gorbunov K., Lyubetsky V., A linear algorithm for restructuring a graph.
Automation and Remote Control,
2018, Vol. 79, Iss. 12, P. 2203–2216.
DOI: 10.1134/S0005117918120093 http://iitp.ru/https://doi.org/10.1134/S0005117918120093 |
| Seliverstov A., Note on binary solutions to some systems of algebraic equations (In Russian).
Algebra, Number Theory and Discrete Geometry: modern problems and applications. Proceedings of the XV International Conference, dedicated to the centenary of the birth of Professor Nikolai Mikhailovich Korobov. - Tula: Tula State Pedagogical University of Leo Tolstoy, 2018. P. 197-199. http://poivs.tsput.ru/conf/international/XV/files/conference2018.pdf |
| Seliverstov A., Recognizing real cubic hypersurfaces without a straight line of singular points (In Russian). International Algebraic Conference dedicated to the 110th anniversary of Professor A. G. Kurosh. Proceedings. - Moscow, MSU, 2018, pp. 175-177. http://iitp.ru/https://lomonosov-msu.ru/rus/event/4623/ |
| Seliverstov A., Real cubic hypersurfaces containing no line of singular points. International Conference Polynomial Computer Algebra "2018, Russian Academy of Sciences, St. Petersburg Department of Steklov Mathematical Institute, Euler International Mathematical Institute, April 19–21 2018, St. Petersburg, Russia, Ed. by N. N. Vassiliev, VVM Publishing, 2018, P. 109–110. http://pca-pdmi.ru/2018/Book_PCA2018_.pdf |
| Lyubetsky V., Lyubetskaya E., Gorbunov K., Linear algorithm for a cyclic graph transformation.
Lobachevskii Journal of Mathematics,
2018, Vol. 39, No. 9, P. 1217–1227.
DOI: 10.1134/S1995080218090147 http://iitp.ru/https://doi.org/10.1134/S1995080218090147 |
| Kanovei V., Lyubetsky V., Definable E0 classes at arbitrary projective levels.
Annals of Pure and Applied Logic,
2018, Vol. 169, Iss. 9, P. 851–871.
DOI: 10.1016/j.apal.2018.04.006
(WoS Q1) http://iitp.ru/https://doi.org/10.1016/j.apal.2018.04.006 |
| Kanovei V., Lyubetsky V., Canonization of smooth equivalence relations on infinite-dimensional perfect cubes.
arXiv:1804.05174 [math.LO], April 2018. http://arxiv.org/abs/1804.05174 |
| Kanovei V., Katz M., Blaszczyk P., Nowik T., Monotone subsequence via ultrapower.
Open Mathematics, 2018, 16, 1, c. 149-153 DOI: 10.1515/math-2018-0015 WoS Q2 http://iitp.ru/https://www.degruyter.com/view/j/math.2018.16.issue-1/math-2018-0015/math-2018-0015.xml |
| Kanovei V., Katz K., Katz M., Mormann T., What makes a theory of infinitesimals useful? A view by Klein and Fraenkel.
Journal of Humanistic Mathematics, 2018, 8, 1, pp. 108-119. DOI: 10.5642/jhummath.201801.07 http://scholarship.claremont.edu/jhm/vol8/iss1/7 |
| Bascelli T., Blazczyk P., Borovik A., Kanovei V., Katz K., Katz M., Kutateladze S., McCaffery T., Schaps D., Sherry D., Cauchy"s infinitesimals, his sum theorem, and foundational paradigms.
Foundations of Science, 2018, 23, 2, pp 267–296. DOI: 10.1007/s10699-017-9534-y WoS Q2 http://link.springer.com/article/10.1007/s10699-017-9534-y |
| Kanovei V., Lyubetsky V., Countable OD sets of reals belong to the ground model. Archive for Mathematical Logic, 2018, Vol. 57, Iss. 3–4, P. 285 |