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

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

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
Fundamenta mathematicae, 2019, to appear.
SCIMAGO, Q2
SCOPUS, Q2
Go to publication

Borel OD sets of reals are OD-Borel in some simple models.
Proceedings of the American mathematical society, 2019, to appear.
DOI 10.1090/proc/14286
SCIMAGO, Q1
SCOPUS, Q2
Go to publication

Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic, 2019 To appear.
SCIMAGO, Q1
SCOPUS, Q1

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
SCIMAGO, Q1
SCOPUS, Q2
Go to publication

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

Definable elements of Borel sets.
Mathematical Notes, 2018, to appear
SCIMAGO, Q2
SCOPUS, Q3

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
SCIMAGO, Q1
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
SCIMAGO, 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
SCIMAGO: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
SCIMAGO, Q2
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.

A Method for Identification of Highly Conserved Elements and Evolutionary Analysis of Superphylum Alveolata. BMC Bioinformatics, 2016, vol. 17, no. 385, 16 pages, DOI: 10.1186/s12859-016-1257-5, PMID: 27645252.
Go to publication

A generic property of Solovay"s set Σ.
arXiv:1611.00176 [math.LO], pp. 1-4, November 2016.
Go to publication

In Cohen generic extension, every countable OD set of reals belongs to the ground model.
July 2016, arXiv:1607.02880 [math.LO] pp. 1-3.
Go to publication

Algorithms for Reconstruction of Chromosomal Structures. BMC Bioinformatics, 2016, vol. 17, no. 40, 23 pages, DOI: 10.1186/s12859-016-0878-z, PMID: 26780836.
Go to publication

Countable OD sets of reals belong to the ground model.
September 2016, arXiv:1609.01032 [math.LO], pp. 1-12.
Go to publication

Ribosome reinitiation at leader peptides increases translation of bacterial proteins. Biology Direct, 2016, vol. 11, no. 20, 6 pages, DOI: 10.1186/s13062-016-0123-8, PMID: 27084079.
Go to publication

Regulation of Expression and Evolution of Genes in Plastids of Rhodophytic Branch. Life, 2016, vol. 6, no. 7, 13 pages, DOI: 10.3390/life6010007, PMID: 26840333.
Go to publication

Counterexamples to countable-section $Pi^1_2$ uniformization and $Pi^1_3$ separation.
Annals of Pure and Applied Logic, 2016, 167, 3, pp. 262–283.
DOI: 10.1016/j.apal.2015.12.002
SCIMAGO, Q1
Go to publication