|
|
 |
2021 year Authors: Kanovei V.Paradoxical partitions of the reals by Robert Solovay.
International Conference "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
7 July 2021, 12:45–13:30, Steklov Math. Inst. (Moscow).
Go to publication |
|
2021 year Authors: Kanovei V.On the ‘Definability of definable’ problem of Alfred Tarski.
Logic Colloquium 2021.
European Summer Meeting of the Association for Symbolic Logic.
Book of abstracts.
S.Chlebowski, D.Ratajczyk, P.Lupkowski (eds.)
Adam Mickiewicz University, Poznan, Poland, 19-24 July 2021.
Page 195.
Go to publication |
|
2021 year Authors: Enayat A., Kanovei V., Lyubetsky V.On effectively indiscernible projective sets and the Leibniz-Mycielski axiom.
Mathematics,
2021, Vol. 9, No. 14, Art. 1670.
DOI: 10.3390/math9141670
(WoS Q1)
Go to publication |
|
2021 year Authors: Seliverstov A.Binary solutions to large systems of linear equations. Prikl. Diskr. Mat. 2021, no. 52, pp. 5-15. DOI: 10.17223/20710410/52/1
Go to publication |
|
2021 year Authors: Seliverstov A.A plain note on binary solutions to large systems of linear equations. In: S.A. Abramov, L.A. Sevastyanov (eds) Computer algebra: 4th International Conference Materials, Moscow, Russia, June 28-29 2021. Moscow: MAKS Press, 2021, pp. 100-103. DOI: 10.29003/m2019.978-5-317-06623-9
Go to publication Download (1.2 MB) |
|
2021 year Authors: Seliverstov A.A gap between small and large systems of linear equations. The 22nd Workshop on Computer Algebra in memory of Professor Vladimir Gerdt, Dubna, Russia, 2021. P. 26.
Go to publication Download (261 KB) |
|
2021 year Authors: Shilovsky G., Putyatina T.S., Morgunova G.V., Seliverstov A., Ashapkin V.V., Sorokina E.V., Markov A.V., Skulachev V.P.A crosstalk between the biorhythms and gatekeepers of longevity: dual role of glycogen synthase kinase-3. Biochemistry Moscow, 2021, vol. 86, pp. 433-448.
DOI: 10.1134/S0006297921040052
Go to publication |
|
2021 year Authors: Seliverstov A.Heuristic algorithms for recognition of some cubic hypersurfaces. Programming and Computer Software, 2021, vol. 47, no. 1, pp. 50-55. DOI: 10.1134/S0361768821010096
Go to publication |
|
2021 year Authors: Enayat A., Kanovei V.An unpublished theorem of Solovay, on OD partitions of reals into two non-OD parts, revisited.
Journal of Mathematical Logic, 2021. Online ready 26 December 2020.
DOI: 10.1142/S0219061321500148
WoS Q1.
Go to publication |
|
2021 year Authors: Kanovei V., Lyubetsky V.Models of set theory in which separation theorem fails.
Izvestiya: Mathematics, 2021, Vol. 85, No 5,
to appear.
DOI: 10.1070/IM8937
WoS Q2
Go to publication Download (231 KB) |
|
2021 year Authors: Kanovei V., Schindler R.Definable Hamel bases and ACω(R).
Fundamenta Mathematicae, 2021, 253, 3, p. 239-256.
DOI 10.4064/fm909-6-2020
WoS Q3
Go to publication |
|
2021 year Authors: Kanovei V., Lyubetsky V.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.
Go to publication |
|
2021 year Authors: Kanovei V., Lyubetsky V.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
Go to publication |
|
2020 year Authors: Seliverstov A.On circular sections of a second-order surface. Computer tools in education, 2020, no. 4, pp. 59-68.
DOI: 10.32603/2071-2340-2020-4-59-68
Go to publication Download (281.8 KB) |
|
2020 year Authors: Kanovei V., Lyubetsky V.On the "definability of definable" problem of Alfred Tarski.
Mathematics,
2020, Vol. 8, No. 12, Art. 2214.
DOI: 10.3390/math8122214
(WoS Q1)
Go to publication |
|
2020 year Authors: Gorbunov K., Lyubetsky V.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)
Go to publication |
|
2020 year Authors: Gorbunov K., Lyubetsky V.Evolution of mitochondrial genomic structures in metazoans: algorithm and software.
The proceedings of International forum «Biotechnology: state of the art and perspectives»,
Moscow, Russia, October 28–30 2020, Iss. 18, P. 261–262.
DOI: 10.37747/2312-640X-2020-18-260-262
Go to publication |
|
2020 year Authors: Rubanov L., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V.Gene loss prediction based on genomic structure.
The proceedings of International forum «Biotechnology: state of the art and perspectives»,
Moscow, Russia, October 28–30 2020, Iss. 18, P. 259–260.
DOI: 10.37747/2312-640X-2020-18-258-260
Go to publication |
|
2020 year Authors: Seliverstov A.An Effectively Computable Projective Invariant Polynomial Computer Algebra "2020. St. Petersburg, 2020.
Go to publication Download (292.2 KB) |
|
2020 year Authors: Gorbunov K., Lyubetsky V.An almost exact linear algorithm for transformation of chain-cycle graphs with optimization of the sum of operation costs.
Doklady Mathematics,
2020, Vol. 102, No. 2, P. 376–379.
DOI: 10.1134/S1064562420050324
Go to publication |
|
2020 year Authors: Gorbunov K., Lyubetsky V.An almost exact linear complexity algorithm of the shortest transformation of chain-cycle graphs.
arXiv:2004.14351 [math.CO], Apr 29 2020.
Go to publication |
|
2020 year Authors: Ashapkin V., Khavinson V., Shilovsky G., Linkova N., Vanyushin B.Gene expression in human mesenchymal stem cell aging cultures: modulation by short peptides
Molecular Biology Reports,
2020, Vol. 47, Iss. 6, P. 4323–4329.
DOI: 10.1007/s11033-020-05506-3, PMID: 32399807
Go to publication |
|
2020 year Authors: Skulachev V., Shilovsky G., Putyatina T., Popov N., Markov A., Skulachev M., Sadovnichii V.Perspectives of Homo sapiens lifespan extension: focus on external or internal resources?
Aging, 2020, Vol. 12, No. 6, P. 5566–5584.
DOI: 10.18632/aging.102981, PMID: 32229707
Go to publication |
|
2020 year Authors: Lyubetsky V., Shilovsky G., Zverkóv O., Seliverstov A., Rubanov L.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
Go to publication |
|
2020 year Authors: Lyubetsky V., Shilovsky G., Seliverstov A., Zverkóv O., Rubanov L.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
Go to publication Download (844.5 KB) |
|
2020 year Authors: Seliverstov A. Fast enumeration of rational numbers and bioinformatics problems. XVIII International conference Algebra, number theory and discrete geometry modern problems, applications and problems of history dedicated to the centenary of the birth of professors B. M. Bredikhin, V. I. Nechaev and S. B. Stechkin, Tula, September 23–26 2020, Tula: TSPU, 2020, pp. 196-198. eLIBRARY ID: 44367872
Go to publication Download (525.6 KB) |
|
2020 year Authors: Rubanov L., Zverkóv O., Shilovsky G., Seliverstov A., Lyubetsky V.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
Go to publication |
|
2020 year Authors: Kanovei V., Lyubetsky V.On the Δ1n Problem of Harvey Friedman.
Mathematics,
2020, Vol. 8, No. 9, Art. 1477.
DOI: 10.3390/math8091477
(WoS Q1)
Go to publication |
|
2020 year Authors: Kanovei V., Lyubetsky V.On the equality modulo a countable set.
Mathematical notes,
2020, Vol. 108, Iss. 4, P. 615–616.
DOI: 10.1134/S0001434620090357
Go to publication |
|
2020 year Authors: Lyubetsky V., Zverkóv O., Rubanov L., Seliverstov A.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
Go to publication |
|
2020 year Authors: Kanovei V., Lyubetsky V.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)
Go to publication |
|
2020 year Authors: Kanovei V., Katz M., Nowik T.Metric completions, Heine-Borel, and approachability.
Open Mathematics, 2020, Volume 18, Issue 1, 162-166.
DOI: 10.1515/math-2020-0017
WoS Q3
Go to publication |
|
2020 year Authors: Seliverstov A.Symmetric matrices whose entries are linear functions.
Computational Mathematics and Mathematical Physics, 2020, Vol. 60, No. 1, pp. 102–108.
DOI: 10.1134/S0965542520010121
|
|
2020 year Authors: Bair J., Blaszczyk P., Heinig P., Kanovei V., Katz M., McGaffey T.Cauchy"s work on integral geometry, centers of curvature, and other applications of infinitesimals.
Real Analysis Exchange, 2020,
Vol. 45, No. 1, pp. 127-150 .
DOI: 10.14321/realanalexch.45.1.0127
Go to publication |
|
2020 year Authors: Kanovei V., Lyubetsky V.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
Go to publication |
|
2019 year Authors: Zverkóv O., Mikhailov K., Isaev S., Rusin L., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V.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.
Go to publication |
|
2019 year Authors: Gorbunov K., Lyubetsky V.Linear algorithm for reconstruction of chromosome structures.
The proceedings of International congress «Biotechnology: state of the art and perspectives»,
Moscow, Russia, February 25–27 2019, Iss. 17, P. 350–351.
Go to publication |
|
2019 year Authors: Rubanov L., Shilovsky G., Seliverstov A., Zverkóv O., Lyubetsky V.Mouse genes lost in rodent and primate species with long lifespan.
The proceedings of International congress «Biotechnology: state of the art and perspectives»,
Moscow, Russia, February 25–27 2019, Iss. 17, P. 342.
Go to publication |
|
2019 year Authors: Shilovsky G., Putyatina T., Ashapkin V., Yamskova O., Lyubetsky V., Sorokina E., Shram S., Markov A., Vyssokikh M.Biological diversity and remodeling of cardiolipin in oxidative stress and age-related pathologies.
Biochemistry (Moscow), 2019, Vol. 84, No. 12, P. 1469–1483.
DOI: 10.1134/S000629791912006X
|
|
2019 year Authors: Seliverstov A.On binary solutions to systems of equations.
Prikladnaya Diskretnaya Matematika,
2019, No. 45, P. 26–32 (in Russian).
DOI: 10.17223/20710410/45/3
Go to publication |
|
2019 year Authors: Lyubetsky V., Kanovei V.Set theory: absolute undecidability of classical problems.
Textbook for universities, 2nd ed., Moscow, Urait, 2019, 348 p. (in Russian).
ISBN: 978-5-534-10390-8
|
|
2019 year Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., Kutateladze S., Nowik T., Schaps D., Sherry D.Gregory’s Sixth Operation.
Mircea Pitici (Editor), The Best Writing on Mathematics 2019
Princeton University Press, 2019, pp. 195–207.
DOI: 10.1515/9780691197944-015
Book DOI: 10.1515/9780691197944
Online ISBN: 9780691197944
Go to publication |
|
2019 year Authors: Bair J., Blaszczyk P., Kanovei V., Katz M., Heinig P.19th-century real analysis, forward and backward.
Antiquitates Mathematicae, 2019, 13, 1, pp. 19-49.
DOI:10.14708/am.v13i1.6440
Go to publication |
|
|
|
|
|
