|
 |
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 г. Авторы: 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.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.
Перейти к публикации |
 |
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 г. Авторы: Шиловский Г.А.Лабильность защитной системы клетки Nrf2/Keap/ARE в различных моделях клеточного старения и возрастных патологиях.
Биохимия, 2022, том 87, вып. 1, стр. 86–103.
DOI: 10.31857/S0320972522010067 Перейти к публикации |
 |
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 г. Авторы: Шиловский Г.А., Путятина Т.С., Марков А.В.Альтруизм и феноптоз как программы, поддерживаемые эволюцией.
Биохимия, 2021,
том 86, вып. 12, стр. 1782–1797.
DOI: 10.31857/S0320972521120034 Перейти к публикации |
 |
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. С. 262-266.
doi:10.26456/mfcsics-21-36 Перейти к публикации |
 |
2021 г. Авторы: Селиверстов А.В.О некоторых алгоритмах квазиполиномиального времени. Компьютерные инструменты в образовании. 2021, № 2. С. 5–12. DOI: 10.32603/2071-2340-2021-2-5-12 Перейти к публикации Загрузить (376.6 KB) |
 |
2021 г. Авторы: Шиловский Г.А., Путятина Т.С., Павлова И.Б., Сорокина Е.В., Ямскова О.В., Любецкий В.А.Митохондриально-направленные соединения, обеспечивающие защиту фосфолипида митохондрий кардиолипина при возрастных патологиях человека.
Клиническая геронтология, 2021, том 27, № 3-4, стр. 90–94.
DOI: 10.26347/1607-2499202103-04090-094 Перейти к публикации |
 |
2021 г. Авторы: Шиловский Г.А., Путятина Т.С., Орловский И.В.Перспективы разработки и применения потенциальных антиоксидантных препаратов на основе глутамил-содержащих и металл-связывающих пептидов.
Клиническая геронтология, 2021, том 27, № 1-2, стр. 59–63.
DOI: 10.26347/1607-2499202101-02059-063
|
 |
2021 г. Авторы: Моргунова Г.В., Шиловский Г.А., Хохлов А.Н.Влияние ограничения питания на старение: исправление проблем с "сенсорами питания" у постмитотических клеток?
Биохимия, 2021, том 86, вып. 10, стр. 1531–1549.
DOI: 10.31857/S0320972521100092 Перейти к публикации |
 |
2021 г. Авторы: Олескин А.В., Сорокина Е.В., Шиловский Г.А.Взаимодействие катехоламинов с микроорганизмами, нейронами и с клетками иммунной системы.
Успехи современной биологии, 2021, том 141, № 1, стр. 3–13.
DOI: 10.31857/S004213242101021X Перейти к публикации |
 |
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 г. Авторы: Малашонок Г.И., Селиверстов А.В.Calculation of integrals in MathPartner. Discrete and Continuous Models and Applied Computational Science. 2021. Vol. 29. No. 4. P. 337-346.
DOI:10.22363/2658-4670-2021-29-4-337-346 Перейти к публикации Загрузить (537.6 KB) |
 |
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 г. Авторы: Селиверстов А.В.Об отсутствии (0,1)-решений у системы уравнений. Международная конференция Мальцевские чтения 20-24 сентября 2021. Тезисы докладов. Новосибирск: 2021. С. 73.
Перейти к публикации |
 |
2021 г. Авторы: 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).
Перейти к публикации |
 |
2021 г. Авторы: 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.
Перейти к публикации |
 |
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. № 52. С. 5-15. DOI: 10.17223/20710410/52/1 Перейти к публикации |
 |
2021 г. Авторы: Селиверстов А.В.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 Перейти к публикации Загрузить (1.2 MB) |
 |
2021 г. Авторы: Селиверстов А.В.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.
Перейти к публикации Загрузить (261 KB) |
 |
2021 г. Авторы: Шиловский Г.А., Путятина Т.С., Моргунова Г.В., Селиверстов А.В., Ашапкин В.В., Сорокина Е.В., Марков А.В., Скулачев В.П.Регуляция белков циркадных ритмов и Nrf2-опосредованной антиоксидантной защиты: двойная роль киназы гликогенсинтазы 3.
Биохимия, 2021, том 86, вып. 4, стр. 511–528.
DOI: 10.31857/S0320972521040059 Перейти к публикации |
 |
2021 г. Авторы: Селиверстов А.В.Эвристические алгоритмы распознавания некоторых кубических гиперповерхностей. Программирование. 2021. № 1. С. 65–72. DOI: 10.31857/S0132347421010106 Перейти к публикации |
 |
2021 г. Авторы: 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. Перейти к публикации |
 |
2021 г. Авторы: Кановей В.Г., Любецкий В.А.Модели теории множеств, в которых теорема отделимости неверна.
Известия Российской академии наук. Серия математическая,
2021, том 85, №6, стр. 164–204.
DOI: 10.4213/im8937
(WoS Q2) Перейти к публикации |
 |
2021 г. Авторы: 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 Перейти к публикации |
 |
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 г. Авторы: Enayat A., Kanovei V.An unpublished theorem of Solovay, revisited. arXiv:2001.11058 [math.LO], January 2020. Перейти к публикации |
 |
2020 г. Авторы: Селиверстов А.В.О круговых сечениях поверхности второго порядка. Компьютерные инструменты в образовании. 2020. № 4. С. 59-68.
DOI: 10.32603/2071-2340-2020-4-59-68 Перейти к публикации Загрузить (281.8 KB) |
 |
2020 г. Авторы: Шиловский Г.А., Сорокина Е.В.Охратоксин А и индукция антиоксидантной / антитоксической системы клетки транскрипционным фактором NRF2 (обзор литературы).
Проблемы медицинской микологии,
2020, том 22, № 4, стр. 3–7. Перейти к публикации |
 |
2020 г. Авторы: Моргунова Г.В., Шиловский Г.А., Хохлов А.Н.Возрастные расстройства метаболизма: от «четырёх моделей медицины» до клеток.
Клиническая геронтология, 2020, том 26, № 9–10, стр. 17–20.
DOI: 10.26347/1607-2499202009-10017-020 Перейти к публикации |
 |
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 г. Авторы: Селиверстов А.В.An Effectively Computable Projective Invariant Polynomial Computer Algebra "2020. St. Petersburg, 2020. Перейти к публикации Загрузить (8.7 MB) |
 |
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 г. Авторы: 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 Перейти к публикации |
 |
2020 г. Авторы: 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 Перейти к публикации |
|
|
|
|