|
|
 |
2020 г. Авторы: Kanovei V., Lyubetsky V.Canonization of smooth equivalence relations on infinite-dimensional E0-large products.
Notre Dame J. Form. Logic, 2020, to appear.
SCIMAGO, Q2.
|
|
2019 г. Авторы: Селиверстов А.В.Заметки о генерической сложности задач распознавания. Материалы конференции "Алгебра и математическая логика: теория и приложения" (г. Казань, 24-28 июня 2019 г.) Казань: КФУ, 2019. С. 158-160.
Перейти к публикации Загрузить (1.5 MB) |
|
2019 г. Авторы: Кановей В.Г., Любецкий В.А.Модели теории множеств, в которых теорема отделимости неверна.
Известия Российской академии наук. Серия математическая, 2019.
На рецензии.
WoS Q2
|
|
2019 г. Авторы: Kanovei V., Lyubetsky V.Models of set theory in which separation theorem fails.
arXiv:1905.11241 [math.LO],
May 2019.
Перейти к публикации |
|
2019 г. Авторы: Zverkóv O., Mikhailov K., Isaev S., Rusin L., Popova O., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V.V.Dicyemida and Orthonectida: Two stories of body plan simplification.
Frontiers in Genetics
Vol. 10, Article 443.
DOI: 10.3389/fgene.2019.00443
Перейти к публикации Загрузить (6.2 MB) |
|
2019 г. Авторы: Селиверстов А.В.О Геометрической бригаде ИОНХ АН СССР до 1941 года. Алгебра, теория чисел и дискретная геометрия: современные проблемы, приложения и проблемы истории: Материалы XVI Междунар. конф., посвященной 80-летию со дня рождения профессора Мишеля Деза. – Тула: Тул. гос. пед. ун-т им. Л. Н. Толстого, 2019. С. 378–380.
Перейти к публикации |
|
2019 г. Авторы: Селиверстов А.В.On polynomials of odd degree over reals. International Conference Polynomial Computer Algebra "2019; St. Petersburg, April 15–20, 2016 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2019. P. 133–134.
Перейти к публикации Загрузить (567.9 KB) |
|
2019 г. Авторы: Kanovei V., Schindler R.Definable Hamel bases and ACω(R).
Fundamenta Mathematicae.
Submitted.
SCOPUS, Q2
|
|
2019 г. Авторы: Кановей В.Г., Любецкий В.А.Абсолютность множества Σ по Соловею.
Сибирский математический журнал,
2019,
принято в печать.
SCIMAGO, Q2
WoS Q3
|
|
2019 г. Авторы: Kanovei V., Lyubetsky V.Factoring Solovay-random extensions, with application to the Reduction property.
Monatshefte fur Mathematik, 2019, submitted.
WoS Q2
|
|
2019 г. Авторы: Kanovei V., Lyubetsky V.The full basis theorem does not imply analytic wellordering,
Annals of pure and applied logic, 2019, submitted.
WoS Q1
|
|
2019 г. Авторы: Gitman V., Friedman S.D., Kanovei V.A model of second-order arithmetic satisfying AC but not DC.
Journal of Mathematical Logic, 2019, 19, no 1, article ID 1850013, pp. 1--39.
DOI 10.1142/S0219061318500137
WoS Q1 (Ranked 1st overall in the category of Logic by Journal Citation Reports JCR and SCImago SJR.)
Перейти к публикации |
|
2019 г. Авторы: Kanovei V., Lyubetsky V.Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
Fundamenta mathematicae,
2019, 245, 2, pp. 175--216.
DOI: 10.4064/fm517-7-2018
SCOPUS, Q2
Перейти к публикации |
|
2019 г. Авторы: Кановей В.Г., Любецкий В.А.Определимые элементы борелевских множеств.
Математические заметки,
2019, 105, вып. 5, стр. 696–707.
DOI: 10.4213/mzm12001
SCIMAGO Q2
Перейти к публикации |
|
2019 г. Авторы: Kanovei V., Lyubetsky V.Borel OD sets of reals are OD-Borel in some simple models.
Proceedings of the American mathematical society,
2019, 147, no 3, pp. 1277–1282.
DOI 10.1090/proc/14286
WoS Q2
SCIMAGO Q1
Перейти к публикации |
|
2019 г. Авторы: Kanovei V., Lyubetsky V.Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic, 2019, vol. 84, no 1, pp. 266-289.
DOI:10.1017/jsl.2018.77
WoS Q1
Перейти к публикации |
|
2018 г. Авторы: Kanovei V., Lyubetsky V.On intermediate extensions of generic extensions by a random real.
arXiv:1811.10568 [math.LO],
December 2018
Перейти к публикации |
|
2018 г. Авторы: Селиверстов А.В.Эллиптические точки на графиках многочленов третьей степени. Программа 61-й Всероссийской научной конференции МФТИ. 19-25 ноября 2018 года. М.: МФТИ, 2018. С. 93.
Перейти к публикации |
|
2018 г. Авторы: Kanovei V., Lyubetsky V.On Harrington"s model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami.
arXiv:1810.12542 [math.LO],
November 2018.
Перейти к публикации |
|
2018 г. Авторы: Aleoshin V., Slyusarev G., Mikhailov K., Popova O., Rusin L., Zverkóv O., Lyubetsky V.Orthonectida and Dicyemida: Two stories of body plan simplification.
In: Molecular Phylogenetics (Eds.: A. Troitsky, L. Rusin),
Moscow: Torus Press, 2018, P. 3–4.
DOI: 10.30826/MolPhy2018-01
|
|
2018 г. Авторы: Kanovei V., Lyubetsky V.A countable definable set of reals containing no definable elements,
arXiv:1408.3901v2 [math.LO], Sept. 2018, 11 p.
Перейти к публикации |
|
2018 г. Авторы: Gitman V., Friedman S.D., Kanovei V.A model of second-order arithmetic satisfying AC but not DC.
arXiv:1808.04732 [math.LO],
August 2018.
Перейти к публикации |
|
2018 г. Авторы: Seliverstov A., Shilovsky G.A., Rubanov L., Zverkóv O., Lyubetsky V.Longevity in mammals: lost genes as a determinant. Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB-2018): The Eleventh International Conference (20–25 Aug. 2018, Novosibirsk, Russia); Abstracts / Institute of Cytology and Genetics, Siberian Branch of Russian Academy of Sciences; Novosibirsk State University. – Novosibirsk: ICG SB RAS, 2018. P. 249.
Перейти к публикации Загрузить (2.2 MB) |
|
2018 г. Авторы: Seliverstov A., Rubanov L., Shilovsky G., Zverkóv O., Lyubetsky V.Longevity in euarchontoglires: lost genes as a determinant.
FEBS Open Bio,
2018, Vol. 8 (Suppl. 1), P. 456–457;
DOI: 10.1002/2211-5463.12453.
|
|
2018 г. Авторы: Селиверстов А.В.Двоичные решения некоторых систем линейных уравнений. Проблемы оптимизации и их приложения = Optimization Problems and Their Applications (OPTA-2018): тезисы докладов VII Международной конференции (Омск, Россия, 8-14 июля 2018 г.): памяти проф. А.А. Колоколова / редкол.: С.В. Белим и др. - Омск: Изд-во Ом. гос. ун-та, 2018. С. 105.
Загрузить (2.2 MB) |
|
2018 г. Авторы: Селиверстов А.В.Binary Solutions to Some Systems of Linear Equations.
In: Eremeev A., Khachay M., Kochetov Y., Pardalos P. (eds) Optimization Problems and Their Applications. OPTA 2018.
Communications in Computer and Information Science, vol 871, pp. 183-192. Springer, Cham (2018).
Перейти к публикации |
|
2018 г. Авторы: Горбунов К.Ю., Любецкий В.А.Линейный алгоритм перестройки графа.
Автоматика и телемеханика,
2018, вып. 11, в печати
|
|
2018 г. Авторы: Селиверстов А.В.Замечание о двоичных решениях некоторых систем алгебраических уравнений. Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения: Материалы XV Междунар. конф., посвященной столетию со дня рождения профессора Николая Михайловича Коробова. – Тула: ТГПУ им. Л.Н. Толстого, 2018. С. 197-199.
Перейти к публикации Загрузить (7.2 MB) |
|
2018 г. Авторы: Селиверстов А.В.Распознавание вещественных кубических гиперповерхностей без прямой из особых точек. Международная алгебраическая конференция, посвящённая 110-летию со дня рождения профессора А.Г. Куроша. Тезисы докладов. - М.: Издательство МГУ, 2018. С. 175-177.
Перейти к публикации Загрузить (1.7 MB) |
|
2018 г. Авторы: Селиверстов А.В.Real cubic hypersurfaces containing no line of singular points. International Conference Polynomial Computer Algebra "2018, Russian Academy of Sciences, St. Petersburg Department of Steklov Mathematical Institute, Euler International Mathematical Institute, April 19–21 2018, St. Petersburg, Russia, Ed. by N. N. Vassiliev, VVM Publishing, 2018, P. 109–110.
Перейти к публикации Загрузить (2.8 MB) |
|
2018 г. Авторы: Lyubetsky V., Lyubetskaya E., Gorbunov K.A linear algorithm of cyclic graph reconfiguration.
Lobachevskii Journal of Mathematics,
2018, Iss. 6, in press
|
|
2018 г. Авторы: Kanovei V., Lyubetsky V.Definable E0 classes at arbitrary projective levels.
Annals of Pure and Applied Logic,
2018, Vol. 169, Iss. 9, P. 851–871.
DOI: 10.1016/j.apal.2018.04.006
WoS Q1
Перейти к публикации |
|
2018 г. Авторы: Kanovei V., Lyubetsky V.Canonization of smooth equivalence relations on infinite-dimensional perfect cubes.
arXiv:1804.05174 [math.LO], April 2018.
Перейти к публикации |
|
2018 г. Авторы: Селиверстов А.В.О некоторых вещественных кубических гиперповерхностях. Алгебра и теория алгоритмов: Всероссийская конференция, посвященная 100-летию факультета математики и компьютерных наук Ивановского государственного университета: сборник материалов. Иваново, Иван. гос. ун-т. 2018. С.179-181.
Перейти к публикации Загрузить (2.3 MB) |
|
2018 г. Авторы: Zverkóv O., Rubanov L., Rusin L., Seliverstov A., Lyubetsky V.Finding long highly conserved elements in complete animal genomes.
CEUR Workshop Proceedings,
Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 402–408, in Russian.
Перейти к публикации |
|
2018 г. Авторы: Gorbunov K., Lyubetsky V.Transformation of large chromosome structures: an algorithm of equalization of gene contents.
CEUR Workshop Proceedings,
Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 395–401, in Russian.
Перейти к публикации |
|
2018 г. Авторы: Kanovei V., Katz M., Blaszczyk P., Nowik T.Monotone subsequence via ultrapower.
Open Mathematics, 2018, 16, 1, c. 149-153
DOI: 10.1515/math-2018-0015
WoS Q2
Перейти к публикации |
|
2018 г. Авторы: Kanovei V., Katz K., Katz M., Mormann T.What makes a theory of infinitesimals useful? A view by Klein and Fraenkel.
Journal of Humanistic Mathematics, 2018, 8, 1, pp. 108-119.
DOI: 10.5642/jhummath.201801.07
Перейти к публикации |
|
2018 г. Авторы: Bascelli T., Blazczyk P., Borovik A., Kanovei V., Katz K., Katz M., Kutateladze S., McCaffery T., Schaps D., Sherry D.Cauchy"s infinitesimals, his sum theorem, and foundational paradigms.
Foundations of Science, 2018, 23, 2, pp 267–296.
DOI:
10.1007/s10699-017-9534-y
WoS Q2
Перейти к публикации |
|
2018 г. Авторы: Kanovei V., Lyubetsky V.Countable OD sets of reals belong to the ground model.
Archive for Mathematical Logic,
2018, Vol. 57, Iss. 3–4, P. 285–298.
DOI: 10.1007/s00153-017-0569-0
WoS Q3
Перейти к публикации |
|
2018 г. Авторы: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al.Gregory"s sixth operation,
Foundations of Science, 2018, 23, 1, pp. 133--144.
DOI: 10.1007/s10699-016-9512-9
WoS Q2
Перейти к публикации |
|
2018 г. Авторы: Herzberg F., Kanovei V., Katz M., Lyubetsky V.Minimal axiomatic frameworks for definable hyperreals with transfer.
Journal of Symbolic Logic,
2018, 83, 1, pp. 385-391.
DOI: 10.1017/jsl.2017.48
WoS Q1
Перейти к публикации |
|
2018 г. Авторы: Кановей В.Г., Любецкий В.А.Неуниформизуемые множества второго проективного уровня со счетными сечениями в виде классов Витали.
Известия Российской академии наук. Серия математическая,
2018, том 82, № 1, стр. 65–96.
DOI: 10.4213/im8521
WoS Q2
Перейти к публикации |
|
2017 г. Авторы: Lyubetsky V., Gershgorin R., Gorbunov K.Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming.
BMC Bioinformatics,
2017, Vol. 18, No. 537.
doi:10.1186/s12859-017-1944-x, PMID: 29212445
Перейти к публикации |
|
2017 г. Авторы: Селиверстов А.В.Эффективная унирациональность кубической гиперповерхности. Труды 60-й Всероссийской научной конференции МФТИ. 20–26 ноября 2017 г. Прикладная математика и информатика.. М.: МФТИ, 2017. С. 173–175.
Перейти к публикации Загрузить (18.5 MB) |
|
2017 г. Авторы: Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., Kudryk T., Kutateladze S., McGaffey T., Mormann T., Schaps D., Sherry D.Cauchy, infinitesimals and ghosts of departed quantifiers,
Mat. Stud. 2017, 47, 2, 115--144
doi:10.15330/ms.47.2.115-144
Перейти к публикации |
|
2017 г. Авторы: Kanovei V., Lyubetsky V.Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769 [math.LO], December 2017.
Перейти к публикации |
|
2017 г. Авторы: Селиверстов А.В.Поиск точек на гладкой кубической гиперповерхности. Компьютерная алгебра: материалы Международной конференции. Москва, 30 октября - 3 ноября 2017 г. / ред. С.А. Абрамов, Т.М. Садыков. - Москва: ФГБОУ ВО РЭУ им. Г.В. Плеханова, 2017. С. 158-164.
|
|
2017 г. Авторы: Селиверстов А.В.Начертательная геометрия для преподавания математики. Проблемы качества графической подготовки студентов в техническом вузе: традиции и инновации. 2017. Т. 1. С. 346-352.
Загрузить (175.4 KB) |
|
2017 г. Авторы: Горбунов К.Ю., Любецкий В.А.Кратчайшее преобразование графа.
Доклады академии наук,
2017, том 476, № 6, стр. 614–616.
doi:10.7868/S0869565217300028
|
|
|
|
|
|
