ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХ
Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english
Публикаций на странице:    Страница: 1234 56789
2024 г.
Авторы: Кановей В.Г., Любецкий В.А.

Независимость схемы свертки в арифметике второго порядка от счетного выбора без параметров. Математические заметки, 2024 (WoS Q3, SCIMAGO Q2), на рецензировании.

2024 г.
Авторы: 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)
Перейти к публикации

2024 г.
Авторы: 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)
Перейти к публикации Загрузить (248.3 KB)

2024 г.
Авторы: 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)
Перейти к публикации

2024 г.
Авторы: Kanovei V., Lyubetsky V.

Parameterfree Comprehension does not imply full Comprehension in second order Peano arithmetic. Studia Logica, 2024, accepted. (WoS Q2)
Загрузить (128.6 KB)

2023 г.
Авторы: 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)
Перейти к публикации

2023 г.
Авторы: 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)
Перейти к публикации

2023 г.
Авторы: 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)
Перейти к публикации

2023 г.
Авторы: Зверко́в О.А., Шиловский Г.А., Селиверстов А.В., Любецкий В.А.

Связь видовой продолжительности жизни с эволюцией гена Fbxl21. Proceedings of 11th Moscow Conference on Computational Molecular Biology MCCMB"23. Москва, 3–6 августа 2023, М.: ИППИ РАН, 2023

2023 г.
Авторы: 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)
Перейти к публикации

2023 г.
Авторы: 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)
Перейти к публикации

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)
Перейти к публикации

2023 г.
Авторы: 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)
Перейти к публикации

2023 г.
Авторы: 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)
Перейти к публикации

2022 г.
Авторы: 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.
Перейти к публикации

2022 г.
Авторы: 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
Перейти к публикации

2022 г.
Авторы: 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.
Перейти к публикации

2022 г.
Авторы: 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)
Перейти к публикации

2022 г.
Авторы: 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.
Перейти к публикации

2022 г.
Авторы: 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)
Перейти к публикации

2022 г.
Авторы: 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)
Перейти к публикации

2022 г.
Авторы: 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)
Перейти к публикации

2021 г.
Авторы: 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 г.
Авторы: Шиловский Г.А., Путятина Т.С., Павлова И.Б., Сорокина Е.В., Ямскова О.В., Любецкий В.А.

Митохондриально-направленные соединения, обеспечивающие защиту фосфолипида митохондрий кардиолипина при возрастных патологиях человека. Клиническая геронтология, 2021, том 27, № 3-4, стр. 90–94. DOI: 10.26347/1607-2499202103-04090-094
Перейти к публикации

2021 г.
Авторы: Kanovei V., Lyubetsky V.

On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021.
Перейти к публикации

2021 г.
Авторы: 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.
Перейти к публикации

2021 г.
Авторы: 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)
Перейти к публикации

2021 г.
Авторы: 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)
Перейти к публикации

2021 г.
Авторы: Кановей В.Г., Любецкий В.А.

Модели теории множеств, в которых теорема отделимости неверна. Известия Российской академии наук. Серия математическая, 2021, том 85, №6, стр. 164–204. DOI: 10.4213/im8937 (WoS Q2)
Перейти к публикации

2021 г.
Авторы: 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)
Перейти к публикации

2021 г.
Авторы: 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)
Перейти к публикации

2020 г.
Авторы: 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)
Перейти к публикации

2020 г.
Авторы: 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)
Перейти к публикации

2020 г.
Авторы: Горбунов К.Ю., Любецкий В.А.

Эволюция митохондриальных геномных структур у Metazoa: алгоритм и программа. Материалы международного форума «Биотехнология: состояние и перспективы развития», Москва, 28–30 октября 2020, вып. 18, стр. 260–261. DOI: 10.37747/2312-640X-2020-18-260-262
Перейти к публикации

2020 г.
Авторы: Рубанов Л.И., Шиловский Г.А., Селиверстов А.В., Зверко́в О.А., Любецкий В.А.

Предсказание потерь генов на основе геномных структур. Материалы международного форума «Биотехнология: состояние и перспективы развития», Москва, 28–30 октября 2020, вып. 18, стр. 258–259. DOI: 10.37747/2312-640X-2020-18-258-260
Перейти к публикации

2020 г.
Авторы: Горбунов К.Ю., Любецкий В.А.

Почти точный линейный алгоритм преобразования графов из цепей и циклов, с оптимизацией суммы цен операций. Доклады Российской академии наук. Математика, информатика, процессы управления, 2020, том 494, № 1, стр. 26–29. DOI: 10.31857/S2686954320050343
Перейти к публикации

2020 г.
Авторы: 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.
Перейти к публикации

2020 г.
Авторы: 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
Перейти к публикации

2020 г.
Авторы: 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
Перейти к публикации Загрузить (844.5 KB)

2020 г.
Авторы: 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
Перейти к публикации

2020 г.
Авторы: 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)
Перейти к публикации

2020 г.
Авторы: Кановей В.Г., Любецкий В.А.

Об отношении равенства с точностью до счетного множества. Математические заметки, 2020, том 108, вып. 4, стр. 629–631. DOI: 10.4213/mzm12753
Перейти к публикации

2020 г.
Авторы: 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
Перейти к публикации

2020 г.
Авторы: 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)
Перейти к публикации

2020 г.
Авторы: 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
Перейти к публикации

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.
Перейти к публикации

2019 г.
Авторы: Горбунов К.Ю., Любецкий В.А.

Линейный алгоритм реконструкции хромосомных структур. Материалы международного конгресса «Биотехнология: состояние и перспективы развития», Москва, 25–27 февраля 2019, вып. 17, стр. 349–350.
Перейти к публикации

2019 г.
Авторы: Рубанов Л.И., Шиловский Г.А., Селиверстов А.В., Зверко́в О.А., Любецкий В.А.

Гены мыши, потерянные у грызунов и приматов с высокой продолжительностью жизни. Материалы международного конгресса «Биотехнология: состояние и перспективы развития», Москва, 25–27 февраля 2019, вып. 17, стр. 341.
Перейти к публикации

2019 г.
Авторы: Шиловский Г.А., Путятина Т.С., Ашапкин В.В., Ямскова О.В., Любецкий В.А., Сорокина Е.В., Шрам С.И., Марков А.В., Высоких М.Ю.

Биологическое разнообразие кардиолипина и его ремоделирование при окислительном стрессе и возрастных патологиях. Биохимия, 2019, том 84, № 12, стр. 1815–1831. DOI: 10.1134/S0320972519120066

2019 г.
Авторы: Любецкий В.А., Кановей В.Г.

Теория множеств: абсолютно неразрешимые классические проблемы. Учебное пособие для вузов, 2-е изд. М.: Юрайт, 2019. 348 стр. ISBN: 978-5-534-10390-8

Публикаций на странице:    Страница: 1234 56789
Поиск по публикациям сотрудника В.А. Любецкий
Год публикации
с по
Автор

Название/ключевое слово

Тип публикации

Наличие в международных базах цитирования
Искать в подразделении

По убыванию даты
По возрастанию даты
 

 

© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2024
Об институте  |  Контакты  |  Противодействие коррупции