|
|
 |
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 г. Авторы: Шиловский Г.А., Путятина Т.С., Моргунова Г.В., Селиверстов А.В., Ашапкин В.В., Сорокина Е.В., Марков А.В., Скулачев В.П.A crosstalk between the biorhythms and gatekeepers of longevity: dual role of glycogen synthase kinase-3. Biochemistry Moscow. 2021. V. 86. P. 433-448.
DOI: 10.1134/S0006297921040052
Перейти к публикации |
|
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. Online ready 26 December 2020.
DOI: 10.1142/S0219061321500148
WoS Q1.
Перейти к публикации |
|
2021 г. Авторы: Кановей В.Г., Любецкий В.А.Модели теории множеств, в которых теорема отделимости неверна.
Известия Российской академии наук. Серия математическая, 2021, том 85, №5,
стр. 3--44, публикуется.
DOI: 10.1070/IM8937
WoS Q2
Перейти к публикации Загрузить (231 KB) |
|
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 г. Авторы: Селиверстов А.В.О круговых сечениях поверхности второго порядка. Компьютерные инструменты в образовании. 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.
Перейти к публикации Загрузить (292.2 KB) |
|
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
Перейти к публикации |
|
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 г. Авторы: Селиверстов А.В.Быстрое перечисление рациональных чисел и задачи биоинформатики. Алгебра, теория чисел и дискретная геометрия: современные проблемы, приложения и проблемы истории, Материалы XVIII Международной конференции, посвящённой столетию со дня рождения профессоров Б. М. Бредихина, В. И. Нечаева и С. Б. Стечкина, Тула, 23–26 сентября 2020, Тула: ТГПУ им. Л. Н. Толстого, 2020. С. 196-198. eLIBRARY ID: 44367872.
Перейти к публикации Загрузить (525.6 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, 10 pp.
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 г. Авторы: Селиверстов А.В.Достаточные условия гомеоморфности вещественных кубических гиперповерхностей. Теория управления и математическое моделирование: Материалы Всероссийской конференции с международным участием, посвященной памяти профессора Н.В. Азбелева и профессора Е.Л. Тонкова (Ижевск, Россия, 15-19 июня 2020 г.). Ижевск: Издательский центр Удмуртский университет, 2020. С. 370-372.
Перейти к публикации Загрузить (212 KB) |
|
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, 10 pp.
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., 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
Перейти к публикации |
|
2020 г. Авторы: Селиверстов А.В.Симметричные матрицы, элементами которых служат линейные функции. Журнал вычислительной математики и математической физики, 2020, том 60, № 1, с. 109–115.
DOI: 10.31857/S0044466920010147
|
|
2020 г. Авторы: 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
Перейти к публикации |
|
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 г. Авторы: Шиловский Г.А.Поли(ADP-рибозил)ирование белков в культивируемых клетках: влияние «стационарного старения» и различных биологически активных соединений.
Диссертация на соискание учёной степени кандидата биологических наук (03.01.08 – Биоинженерия), Москва, 2019, 157 стр.
Перейти к публикации |
|
2019 г. Авторы: Шиловский Г.А.Поли(ADP-рибозил)ирование белков в культивируемых клетках: влияние «стационарного старения» и различных биологически активных соединений.
Автореферат диссертации на соискание учёной степени кандидата биологических наук (03.01.08 – Биоинженерия), Москва, 2019, 26 стр.
Перейти к публикации |
|
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 г. Авторы: Селиверстов А.В.О двоичных решениях систем уравнений.
Прикладная дискретная математика,
2019, № 45, стр. 26–32.
DOI: 10.17223/20710410/45/3
Перейти к публикации |
|
2019 г. Авторы: Любецкий В.А., Кановей В.Г.Теория множеств: абсолютно неразрешимые классические проблемы.
Учебное пособие для вузов, 2-е изд. М.: Юрайт, 2019. 348 стр.
ISBN: 978-5-534-10390-8
|
|
2019 г. Авторы: Любецкий В.А.Элементарная математика с точки зрения высшей. Основные понятия.
Учебное пособие для вузов, 3-е изд. М.: Юрайт, 2019. 538 стр.
ISBN: 978-5-534-10421-9, 978-5-534-12055-4
|
|
2019 г. Авторы: Горбунов К.Ю., Любецкий В.А.Линейный алгоритм реконструкции хромосомных структур. Материалы международного конгресса «Биотехнология: состояние и перспективы развития»
Перейти к публикации |
|
2019 г. Авторы: 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
Перейти к публикации |
|
2019 г. Авторы: 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
Перейти к публикации |
|
|
|
|
|
