On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic.
Mathematics,
2023, 11 (3), Article no. 726.
DOI: 10.3390/math11030726
(WoS Q1) Перейти к публикации
On Russell typicality in Set Theory.
Proceedings of the American Mathematical Society, 2023, to appear.
DOI: 10.1090/proc/16232
(WoS Q2) Перейти к публикации
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 Перейти к публикации
The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. arXiv: 2209.07599 [math.LO], September 2022. Перейти к публикации
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) Перейти к публикации
A model in which the Separation principle holds for a given effective projective Sigma-class.
arXiv: 2204.03915 [math.LO], April 2022. Перейти к публикации
On the ‘definability of definable’ problem of Alfred Tarski, Part II.
Transactions of the American Mathematical Society,
2022, Vol. 375, No. 12, P. 8651–8686.
DOI: 10.1090/tran/8710
(WoS Q2) Перейти к публикации
A model in which the separation principle holds for a given effective projective Sigma-class.
Axioms, 2022, 11, Issue 3, Paper no. 122.
DOI 10.3390/axioms11030122
(WoS Q2) Перейти к публикации
A generic model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe.
Mathematics, 2022, 10, Issue 3, Paper no. 491, DOI 10.3390/math10030491
(WoS Q1) Перейти к публикации
Complex evolution of Fbxl21 gene in mammals.
Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’21,
Moscow, Russia, July 30 — August 2 2021.
Митохондриально-направленные соединения, обеспечивающие защиту фосфолипида митохондрий кардиолипина при возрастных патологиях человека.
Клиническая геронтология, 2021, том 27, № 3-4, стр. 90–94.
DOI: 10.26347/1607-2499202103-04090-094 Перейти к публикации
A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe. arXiv: 2111.13491 [math.LO], November 2021. Перейти к публикации
Multiplicatively exact algorithms for transformation and reconstruction of directed path-cycle graphs with repeated edges.
Mathematics, Oct 14 2021, Vol. 9, No. 20, Art. 2576.
DOI: 10.3390/math9202576 (WoS Q1) Перейти к публикации
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, том 85, №6, стр. 164–204.
DOI: 10.4213/im8937
(WoS Q2) Перейти к публикации
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) Перейти к публикации
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) Перейти к публикации
On the "definability of definable" problem of Alfred Tarski.
Mathematics, 2020, Vol. 8, No. 12, Art. 2214.
DOI: 10.3390/math8122214
(WoS Q1) Перейти к публикации
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) Перейти к публикации
Эволюция митохондриальных геномных структур у Metazoa: алгоритм и программа.
Материалы международного форума «Биотехнология: состояние и перспективы развития»,
Москва, 28–30 октября 2020, вып. 18, стр. 260–261.
DOI: 10.37747/2312-640X-2020-18-260-262 Перейти к публикации
Предсказание потерь генов на основе геномных структур.
Материалы международного форума «Биотехнология: состояние и перспективы развития»,
Москва, 28–30 октября 2020, вып. 18, стр. 258–259.
DOI: 10.37747/2312-640X-2020-18-258-260 Перейти к публикации
Почти точный линейный алгоритм преобразования графов из цепей и циклов, с оптимизацией суммы цен операций.
Доклады Российской академии наук. Математика, информатика, процессы управления,
2020, том 494, № 1, стр. 26–29.
DOI: 10.31857/S2686954320050343 Перейти к публикации
An almost exact linear complexity algorithm of the shortest transformation of chain-cycle graphs.
arXiv:2004.14351 [math.CO], Apr 29 2020. Перейти к публикации
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 Перейти к публикации
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)
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, том 108, вып. 4, стр. 629–631.
DOI: 10.4213/mzm12753 Перейти к публикации
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 Перейти к публикации
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) Перейти к публикации
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 Перейти к публикации
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. Перейти к публикации
Линейный алгоритм реконструкции хромосомных структур.
Материалы международного конгресса «Биотехнология: состояние и перспективы развития»,
Москва, 25–27 февраля 2019, вып. 17, стр. 349–350. Перейти к публикации
Гены мыши, потерянные у грызунов и приматов с высокой продолжительностью жизни.
Материалы международного конгресса «Биотехнология: состояние и перспективы развития»,
Москва, 25–27 февраля 2019, вып. 17, стр. 341. Перейти к публикации
Биологическое разнообразие кардиолипина и его ремоделирование при окислительном стрессе и возрастных патологиях.
Биохимия, 2019, том 84, № 12, стр. 1815–1831.
DOI: 10.1134/S0320972519120066
Элементарная математика с точки зрения высшей. Основные понятия.
Учебное пособие для вузов, 3-е изд. М.: Юрайт, 2019. 538 стр.
ISBN: 978-5-534-10421-9, 978-5-534-12055-4
Линейный алгоритм реконструкции хромосомных структур. Материалы международного конгресса «Биотехнология: состояние и перспективы развития» Перейти к публикации
Screening for mouse genes lost in mammals with long lifespans.
BioData Mining, 2019, Vol. 12, Art. 20.
DOI: 10.1186/s13040-019-0208-x, PMID: 31728160
(WoS Q1) Перейти к публикацииЗагрузить (1.4 MB)
New C-terminal conserved regions of tafazzin, a catalyst of cardiolipin remodeling.
Oxidative Medicine and Cellular Longevity,
Vol. 2019, Art. 2901057.
DOI: 10.1155/2019/2901057, PMID: 31781330 Перейти к публикацииЗагрузить (2.6 MB)
Bioinformatics screening of genes specific for well-regenerating vertebrates reveals c-answer, a regulator of brain development and regeneration.
Cell Reports, Vol. 29, Iss. 4, P. 1027–1040.
DOI: 10.1016/j.celrep.2019.09.038, PMID: 31644900
(WoS Q1, IF 8) Перейти к публикацииЗагрузить (6.1 MB)
Protein clustering and gene loss prediction.
Computer Assisted Mathematics Conference.
Electrotechnical University "LETI" Saint-Petersburg, Russia, July 22-24, 2019. P. 7 Перейти к публикацииЗагрузить (205.8 KB)
Dicyemida and Orthonectida: Two stories of body plan simplification.
Frontiers in Genetics
Vol. 10, Article 443.
DOI: 10.3389/fgene.2019.00443, PMID: 31178892 Перейти к публикацииЗагрузить (6.2 MB)
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 Перейти к публикации
Определимые элементы определимых борелевских множеств.
Математические заметки,
2019, 105, вып. 5, стр. 696–707.
DOI: 10.4213/mzm12001 Перейти к публикации
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) Перейти к публикации