Canonization of smooth equivalence relations on infinite-dimensional E0-large products.
Notre Dame J. Form. Logic, 2020, to appear.
SCIMAGO, Q2.

Screening for mouse genes lost in mammals with long lifespans. BioData Mining, 2019, Vol. 12, Art. 20. DOI: 10.1186/s13040-019-0208-x
Go to publication Download (1.4 MB)

New C-terminal conserved regions of tafazzin, a catalyst of cardiolipin remodeling. Oxidative Medicine and Cellular Longevity, Vol. 2019, Art. 2901057, 13 pp. DOI: 10.1155/2019/2901057
Go to publication Download (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
Go to publication Download (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
Go to publication Download (205.8 KB)

Models of set theory in which separation theorem fails.
Izvestiya: Mathematics, 2019.
Submitted.
WoS Q2

Models of set theory in which separation theorem fails.
arXiv:1905.11241 [math.LO], May 2019.
Go to publication

Dicyemida and Orthonectida: Two stories of body plan simplification. Frontiers in Genetics Vol. 10, Article 443. DOI: 10.3389/fgene.2019.00443
Go to publication Download (6.2 MB)

Absoluteness of the Solovay set Σ.
Siberian Mathematical Journal, 2019, 60, no 6, pp. 1003-1006.
DOI: 10.1134/S0037446619060089
SCIMAGO, Q2
WoS Q3

Factoring Solovay-random extensions, with application to the Reduction property.
Monatshefte fur Mathematik, 2019, submitted.
WoS Q2

The full basis theorem does not imply analytic wellordering,
Annals of pure and applied logic, 2019, submitted.
WoS Q1

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
Go to publication

Definable elements of definable Borel sets.
Mathematical Notes, 2019, 105, no 5, pp. 684-693.
DOI: 10.1134/S0001434619050055
SCIMAGO, Q2
Go to publication

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
Go to publication

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
Go to publication

On intermediate extensions of generic extensions by a random real.
arXiv:1811.10568 [math.LO], December 2018
Go to publication

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.
Go to publication

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

A countable definable set of reals containing no definable elements,
arXiv:1408.3901v2 [math.LO], Sept. 2018, 11 p.
Go to publication

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.
Go to publication Download (2.2 MB)

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.

A linear algorithm of cyclic graph reconfiguration. Lobachevskii Journal of Mathematics, 2018, Iss. 6, in press

Definable E₀ 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
Go to publication

Canonization of smooth equivalence relations on infinite-dimensional perfect cubes.
arXiv:1804.05174 [math.LO], April 2018.
Go to publication

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.
Go to publication

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.
Go to publication

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
Go to publication

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
Go to publication

Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes.
Izvestiya: Mathematics, 2018, Vol. 82, No. 1, P. 61–90.
DOI: 10.1070/IM8521
WoS Q2
Go to publication

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
Go to publication

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769 [math.LO], December 2017.
Go to publication

The Minimum-Cost Transformation of Graphs. Doklady Mathematics, 2017, Vol. 96, No. 2, P. 503–505. doi:10.1134/S1064562417050313

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

Definable minimal collapse functions at arbitrary projective levels.
arXiv:1707.07320 [math.LO], July 2017.
Go to publication

Definable E₀ classes at arbitrary projective levels.
arXiv:1705.02975 [math.LO], May 2017.
Go to publication

Algorithm of transformation of a graph into another one with minimal cost. Informatics and it"s applications, 2017, Vol. 11, Iss. 1, P. 79–89 (in Russian). doi:10.14357/19922264170107

Linear algorithm for minimal rearrangement of structures. Problems of Information Transmission, 2017, Vol. 53, Iss. 1, P. 55–72. doi:10.1134/S0032946017010057

Highly Conserved Elements and Chromosome Structure Evolution in Mitochondrial Genomes in Ciliates. Life, 2017, Vol. 7, No. 9. doi:10.3390/life7010009, PMID: 28264444
Go to publication

The full basis theorem does not imply analytic wellordering.
arXiv:1702.03566 [math.LO], February 2017.
Go to publication

A generic property of the Solovay set Σ.
Siberian Mathematical Journal, 2017, Vol. 58, Iss. 6, P. 1012–1014. doi:10.1134/S0037446617060106 [SCIMAGO, Q2]
Go to publication

A countable definable set containing no definable elements.
Mathematical Notes, Sep 2017, Vol. 102, Iss. 3–4, P. 338–349. doi:10.1134/S0001434617090048 [SCIMAGO, Q2]
Go to publication

A Groszek-Laver pair of undistinguishable E₀-classes.
Mathematical Logic Quarterly, 2017, Vol. 63, No. 1–2, P. 19–31.
doi:10.1002/malq.201500020
WoS Q3
Go to publication

Degenerate inverted repeats in the genomes of mycobacterium. CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 182–187, in Russian.

Molecular Phylogenetics 2016. BioMed Research International, 2016, vol. 2016, Article ID 9029306, 2 pages, DOI: 10.1155/2016/9029306.
Go to publication

A modified algorithm for transformation of chromosomal structures: a condition of absolute exactness. CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 162–172, in Russian.

A Novel Algorithm for Solution of a Combinatory Set Partitioning Problem. Journal of Communications Technology and Electronics, 2016, vol. 61, no. 6, p. 705–708.