|
|
 |
2025 г. Авторы: Зверко́в О.А., Селиверстов А.В.On binary solutions to a system of linear equations modulo three. Programming and Computer Software. 2025. Vol. 51. No. 2. P. 109–116.
Перейти к публикации |
|
2025 г. Авторы: Kanovei V., Lyubetsky V.Notes on the equiconsistency of ZFC without the Power Set axiom and 2nd order PA.
arXiv: 2507.11643 [math.LO], July 2025, 29 pp. DOI: 10.48550/arXiv.2507.11643
Перейти к публикации |
|
2025 г. Авторы: Хазиев Г.А., Селиверстов А.В., Зверко́в О.А.Imperfect palindromes depending on GC-content. Сomputer Assisted Mathematics 2025. July 15–17, 2025, pp. 53–55.
Перейти к публикации |
|
2025 г. Авторы: Селиверстов А.В.On systems of three linear equations modulo three. Сomputer Assisted Mathematics 2025, July 15–17, 2025, pp. 113–116.
Перейти к публикации |
|
2025 г. Авторы: Nikolaeva O., <Unknown>, Muntyan M., Zverkóv O., Spirin S., Lyubetsky V., Slyusarev G., Aleoshin V.Rare evolutionary events support the phylogenetic placement of Orthonectida within Annelida.
International Journal of Molecular Sciences, 2025, Vol. 26, Iss. 13, Art. 5983.
DOI: 10.3390/ijms26135983
Перейти к публикации |
|
2025 г. Авторы: Селиверстов А.В.The Generic-Case Complexity of Finding a Binary Solution to a System of Linear Equations. In: A. A. Ryabenko, D. S. Kulyabov (eds) Computer algebra: 6th International Conference Materials. Moscow, 23–25 June, 2025. Moscow: RUDN University. P. 98–101.
Перейти к публикации |
|
2025 г. Авторы: Хазиев Г.А., Селиверстов А.В., Зверко́в О.А.Searching for an Imperfect Palindrome. In: A. A. Ryabenko, D. S. Kulyabov (eds) Computer algebra: 6th International Conference Materials. Moscow, 23–25 June, 2025. Moscow: RUDN University. P. 62–65.
Перейти к публикации |
|
2025 г. Авторы: Селиверстов А.В.Ранняя история недезарговых плоскостей. Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: Современные проблемы, приложения и проблемы истории: Материалы XXIV Международной конференции, посвященной 110-летию со дня рождения академика Ю.В. Линника и 110-летию со дня рождения профессора А.Б. Шидловского и 80-летию со дня рождения профессора Г.И. Архипова, Тула, 14–17 мая 2025. Тула: ТГПУ им. Л. Н. Толстого, 2025.
Перейти к публикации |
|
2025 г. Авторы: Хазиев Г.А., Селиверстов А.В., Любецкий В.А.Выравнивание последовательностей со структурой. Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: Современные проблемы, приложения и проблемы истории: Материалы XXIV Международной конференции, посвященной 110-летию со дня рождения академика Ю.В. Линника и 110-летию со дня рождения профессора А.Б. Шидловского и 80-летию со дня рождения профессора Г.И. Архипова, Тула, 14–17 мая 2025. Тула: ТГПУ им. Л. Н. Толстого, 2025.
Перейти к публикации |
|
2025 г. Авторы: Zhang X., Li Z., Chen J., Yang W., He X., Wu P., Chen F., Zhou Z., Ren Ch., Shan Y., Wen X., Lyubetsky V., Rusin L., Chen X., Yang J.-R.Stereotyped subclones revealed by high-density single-cell lineage tracing support robust development.
Advanced Science, 2025, 2406208.
DOI: 10.1002/advs.202406208
Перейти к публикации |
|
2025 г. Авторы: Kanovei V., Lyubetsky V.Notes on iterative summation of alternating factorials.
Mathematics, 2025, Vol. 13, No. 12, Article 1942.
DOI 10.3390/math13121942.
(WoS Q1, БС1)
Перейти к публикации Загрузить (228.7 KB) |
|
2025 г. Авторы: Семенов А.Л., Бабенко М.А., Белов А.Я., Верещагин Н.К., Вишникин М.Е., Золин Е.Е., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Оноприенко А.А., Пентус М.Р., Сопрунов С.Ф., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.Кафедра математической логики и теории алгоритмов.
Вестник Московского университета. Серия 1. Математика. Механика, 2025, № 1, стр. 23–32.
DOI: 10.55959/MSU0579-9368-1-66-1-4
Перейти к публикации |
|
2025 г. Авторы: Kanovei V., Lyubetsky V.On the significance of parameters and the projective level in the Choice and Collection axioms.
Memoirs of the American Mathematical Society, 2025, under review.
(WoS Q1, БС1)
|
|
2025 г. Авторы: Kanovei V., Lyubetsky V.On the uniform projection and covering problems in descriptive set theory under the axiom of constructibility.
Mathematics, 2025, Vol. 13, No 3, Article 409.
DOI 10.3390/math13030409
(WoS Q1, БС1)
Перейти к публикации |
|
2025 г. Авторы: Kanovei V., Lyubetsky V.On the uniform projection problem in descriptive set theory.
Axioms, 2025, Vol. 14, No. 1, Art. 13.
DOI: 10.3390/axioms14010013
(WoS Q2, БС2)
Перейти к публикации |
|
2025 г. Авторы: Кановей В.Г., Любецкий В.А.Независимость схемы свертки в арифметике второго порядка от счетного выбора без параметров.
Математические заметки, 2025, том 117, вып. 2, стр. 257–269.
DOI: 10.4213/mzm14255
(WoS Q3, Scimago SJR Q2, БС2)
Перейти к публикации |
|
2025 г. Авторы: Kanovei V., Lyubetsky V.Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic.
Studia Logica, 2025, 113, pp. 109--124.
DOI: 10.1007/s11225-024-10108-2
(WoS Q2, Scimago Q1, БС2)
Перейти к публикации |
|
2024 г. Авторы: Селиверстов А.В.О длине невыполнимой подформулы. Алгебра и логика. 2024. Том 63. No. 1. С. 89-99.
Перейти к публикации |
|
2024 г. Авторы: Зверко́в О.А., Селиверстов А.В., Шиловский Г.А.Выравнивание скрытого палиндрома.
Математическая биология и биоинформатика,
2024, Т. 19, N 2, С. 427-438.
DOI: 10.17537/2024.19.427
Перейти к публикации |
|
2024 г. Авторы: Байрамов А.В., Ермакова Г.В., Любецкий В.А., Зарайский А.Г.Поиск генетических основ появления и развития парных конечностей у челюстноротых путем исследования современных представителей эволюционно древних групп.
Сборник тезисов Всероссийской научной конференции с международным участием, посвященной юбилею академика Б.Л. Астаурова «Генетика и индивидуальное развитие»,
Москва, ИБР РАН, 29–31 октября 2024, М.: «Перо», 2024, стр. 27.
Перейти к публикации |
|
|
|
|
|
