A model of second-order arithmetic satisfying AC but not DC.
Journal of Math. Logic, 2019, 19, no 1, принято в печать.
Published online: 21 September 2018
DOI 10.1142/S0219061318500137
WoS Q1 (Ranked 1st overall in the category of Logic by Journal Citation Reports JCR and SCImago SJR.)
Перейти к публикации
Canonization of smooth equivalence relations on infinite-dimensional E0-large products.
Notre Dame J. Form. Logic, 2019, принято в печать.
SCIMAGO, Q2.
Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
Fundamenta mathematicae,
2019, принято в печать.
Published online 28 January, 2019.
WoS Q3
SCOPUS, Q2 Перейти к публикации
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 Перейти к публикации
Эллиптические точки на графиках многочленов третьей степени. Программа 61-й Всероссийской научной конференции МФТИ. 19-25 ноября 2018 года. М.: МФТИ, 2018. С. 93. Перейти к публикации
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.
Перейти к публикации
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
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)
Двоичные решения некоторых систем линейных уравнений. Проблемы оптимизации и их приложения = Optimization Problems and Their Applications (OPTA-2018): тезисы докладов VII Международной конференции (Омск, Россия, 8-14 июля 2018 г.): памяти проф. А.А. Колоколова / редкол.: С.В. Белим и др. - Омск: Изд-во Ом. гос. ун-та, 2018. С. 105. Загрузить (2.2 MB)
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).
Перейти к публикации
Замечание о двоичных решениях некоторых систем алгебраических уравнений. Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения: Материалы XV Междунар. конф., посвященной столетию со дня рождения профессора Николая Михайловича Коробова. – Тула: ТГПУ им. Л.Н. Толстого, 2018. С. 197-199.
Перейти к публикацииЗагрузить (7.2 MB)
Распознавание вещественных кубических гиперповерхностей без прямой из особых точек. Международная алгебраическая конференция, посвящённая 110-летию со дня рождения профессора А.Г. Куроша. Тезисы докладов. - М.: Издательство МГУ, 2018. С. 175-177. Перейти к публикацииЗагрузить (1.7 MB)
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)
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 Перейти к публикации
О некоторых вещественных кубических гиперповерхностях. Алгебра и теория алгоритмов: Всероссийская конференция, посвященная 100-летию факультета математики и компьютерных наук Ивановского государственного университета: сборник материалов. Иваново, Иван. гос. ун-т. 2018. С.179-181. Перейти к публикацииЗагрузить (2.3 MB)
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. Перейти к публикации
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 Перейти к публикации
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 Перейти к публикации
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 Перейти к публикации
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, том 82, № 1, стр. 65–96.
DOI: 10.4213/im8521
WoS Q2 Перейти к публикации
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 Перейти к публикации
Эффективная унирациональность кубической гиперповерхности. Труды 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 Перейти к публикации
Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769 [math.LO], December 2017. Перейти к публикации
Поиск точек на гладкой кубической гиперповерхности. Компьютерная алгебра: материалы Международной конференции. Москва, 30 октября - 3 ноября 2017 г. / ред. С.А. Абрамов, Т.М. Садыков. - Москва: ФГБОУ ВО РЭУ им. Г.В. Плеханова, 2017. С. 158-164.
Начертательная геометрия для преподавания математики. Проблемы качества графической подготовки студентов в техническом вузе: традиции и инновации. 2017. Т. 1. С. 346-352.
Загрузить (175.4 KB)
Novel transmembrane protein c-Answer revealed by bioinformatic screening of genes present only in well regenerating animals.
FEBS Journal, 2017, Vol. 284, Iss. S1, P. 155.
doi:10.1111/febs.14174
A linear algorithm for the shortest transformation of graphs with different operation costs.
Journal of Communications Technology and Electronics,
2017, Vol. 62, No. 6, P. 653–662.
doi:10.1134/S1064226917060092
Novel FGF-signaling modulator c-Answer revealed by bioinformatics screening for genes present only in well-regenerative animals.
Mechanisms of Development,
2017, Vol. 145, P. S49.
doi:10.1016/j.mod.2017.04.089
О касательных прямых к аффинным гиперповерхностям. Вестник Удмуртского университета. Математика. Механика. Компьютерные науки 2017. Том 27, No. 2. С. 248--256. DOI: 10.20537/vm170208 Перейти к публикацииЗагрузить (245.3 KB)
Projective-invariant description of a meandering river. Journal of Communications Technology and Electronics, 2017; vol. 62, no. 6, p. 663–668. DOI: 10.1134/S1064226917060201