|
|
 |
2023 г. Авторы: 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)
Перейти к публикации |
|
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
Перейти к публикации |
|
2022 г. Авторы: 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
Перейти к публикации |
|
2022 г. Авторы: 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
Перейти к публикации |
|
2022 г. Авторы: 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
Перейти к публикации |
|
2022 г. Авторы: Шиловский Г.А., Сорокина Е.В., Путятина Т.С.Оценка метаболома человека как метод молекулярной диагностики колоректального рака. Профилактика и терапия.
Успехи современной биологии, 2022, том 142, № 2, стр. 199–205.
DOI: 10.31857/S0042132422020077
Перейти к публикации |
|
2022 г. Авторы: Шиловский Г.А., Путятина Т.С., Марков А.В.Эволюция долголетия как видового признака у млекопитающих.
Биохимия, 2022, том 87, № 12, стр. 1947–1971.
DOI: 10.31857/S0320972522120132
|
|
2022 г. Авторы: Шиловский Г.А., Ашапкин В.В.Транскрипционный фактор Nrf2 и митохондрии – друзья или противники в редокс-регуляции темпов старения.
Биохимия, 2022, том 87, № 12, стр. 1856–1867.
DOI: 10.31857/S0320972522120065
Перейти к публикации |
|
2022 г. Авторы: Шиловский Г.А., Сорокина Е.В., Любецкая Е.В., Ферубко Е.В.Новые методы индукции антиоксидантной защиты на основе нутриентов и пробиотиков у пожилых.
Клиническая геронтология, 2022, том 28, № 11-12, стр. 76–78.
DOI: 10.26347/1607-2499202211-12076-078
Перейти к публикации Загрузить (289.1 KB) |
|
2022 г. Авторы: Селиверстов А.В.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.
|
|
2022 г. Авторы: Латкин И.В., Селиверстов А.В.Недетерминированные вычисления посредством обобщенных регистровых машин.
Международная конференция Мальцевские чтения. Тезисы докладов, Новосибирск, 14-19 ноября 2022, Новосибирск: Новосибирский государственный университет, 2022, стр. 72.
|
|
2022 г. Авторы: Латкин И.В., Селиверстов А.В.Вычисления над упорядоченными кольцами посредством обобщённых регистровых машин.
Математическая логика и компьютерные науки, Труды Международной научной конференции, Астана, Казахстан, 7-8 октября 2022, стр. 36-40.
Перейти к публикации |
|
2022 г. Авторы: Адлай С.Ф., Малашонок Г.И., Малышев К.Ю., Селиверстов А.В., Усков Ф.Г.Об алгоритмах вычисления полных эллиптических интегралов.
Записки научных семинаров ПОМИ, 2022, том 517, стр. 5-16.
Перейти к публикации |
|
2022 г. Авторы: Латкин И.В., Селиверстов А.В.О вычислениях над упорядоченными кольцами.
Сибирские электронные математические известия, 2022, том 19, № 2, стр. 1054-1076.
DOI: 10.33048/semi.2022.19.085
Перейти к публикации |
|
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 г. Авторы: Селиверстов А.В.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.
Перейти к публикации |
|
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)
Перейти к публикации |
|
|
|
|
|
