ÂÅÐÑÈß ÄËß ÑËÀÁÎÂÈÄßÙÈÕ
Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
ðóññêèé | english
Ïóáëèêàöèé íà ñòðàíèöå:    Page: 123 456789
2024 year
Authors: Gorbunov K., Lyubetsky V.

Algorithms for the reconstruction of genomic structures with proofs of their low polynomial complexity and high exactness. Mathematics, March 11 2024, Vol. 12, No. 6, Art. 817. DOI: 10.3390/math12060817 (WoS Q1)
Go to publication

2024 year
Authors: Kanovei V., Lyubetsky V.

Jensen Reals by Means of Second-Order Peano Arithmetic. Axioms, 2024, 13(2), Article no 96. DOI: 10.3390/axioms13020096 (WoS Q2)
Go to publication Download (248.3 KB)

2024 year
Authors: Kanovei V., Lyubetsky V.

A good lightface Δ^1_n well-ordering of the reals does not imply the existence of boldface Δ^1_{n−1} well-orderings. Annals of Pure and Applied Logic, 2024, 175, 6, pp.\ 1-38. DOI 10.1016/j.apal.2024.103426 (WoS Q2)
Go to publication

2024 year
Authors: Kanovei V., Lyubetsky V.

Parameterfree Comprehension does not imply full Comprehension in second order Peano arithmetic. Studia Logica, 2024, accepted. (WoS Q2)
Download (128.6 KB)

2023 year
Authors: 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)
Go to publication

2023 year
Authors: 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)
Go to publication

2023 year
Authors: 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)
Go to publication

2023 year
Authors: 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 Q2)
Go to publication

2023 year
Authors: 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)
Go to publication

2023 year
Authors: 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)
Go to publication

2023 year
Authors: 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)
Go to publication

2023 year
Authors: Kanovei V., Lyubetsky V.

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

2022 year
Authors: 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.
Go to publication

2022 year
Authors: 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
Go to publication

2022 year
Authors: 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.
Go to publication

2022 year
Authors: 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)
Go to publication

2022 year
Authors: 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.
Go to publication

2022 year
Authors: 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)
Go to publication

2022 year
Authors: 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)
Go to publication

2022 year
Authors: 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)
Go to publication

2021 year
Authors: 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.

2021 year
Authors: Kanovei V., Lyubetsky V.

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

2021 year
Authors: 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.
Go to publication

2021 year
Authors: 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)
Go to publication

2021 year
Authors: 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)
Go to publication

2021 year
Authors: 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)
Go to publication

2021 year
Authors: 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)
Go to publication

2021 year
Authors: 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)
Go to publication

2020 year
Authors: 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)
Go to publication

2020 year
Authors: 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)
Go to publication

2020 year
Authors: 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
Go to publication

2020 year
Authors: 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
Go to publication

2020 year
Authors: 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
Go to publication

2020 year
Authors: 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.
Go to publication

2020 year
Authors: 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
Go to publication

2020 year
Authors: 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
Go to publication Download (844.5 KB)

2020 year
Authors: 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
Go to publication

2020 year
Authors: 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)
Go to publication

2020 year
Authors: 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
Go to publication

2020 year
Authors: 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
Go to publication

2020 year
Authors: 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)
Go to publication

2020 year
Authors: 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
Go to publication

2019 year
Authors: 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.
Go to publication

2019 year
Authors: 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.
Go to publication

2019 year
Authors: 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.
Go to publication

2019 year
Authors: 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

2019 year
Authors: 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

Ïóáëèêàöèé íà ñòðàíèöå:    Page: 123 456789
Search for publications of V. Lyubetsky
Year of publication
from ïî
Author

Search phrase

Type of publication

Íàëè÷èå â ìåæäóíàðîäíûõ áàçàõ öèòèðîâàíèÿ
Search in department

Date descending
Date ascending
 

 

© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024
About  |  Contacts  |  Ïðîòèâîäåéñòâèå êîððóïöèè