

2020 year Authors: Kanovei V., Lyubetsky V.Canonization of smooth equivalence relations on infinitedimensional E0large products.
Notre Dame J. Form. Logic, 2020, to appear.
SCIMAGO, Q2.


2019 year Authors: Seliverstov A.On smoothness recognition over reals. International Conference Mal"tsev Meeting. August 1923, 2019. Collection of Abstracts. Novosibirsk, 2019. P. 97. Go to publication Download (1.8 MB) 

2019 year Authors: Bottazzi E., Kanovei V., Katz M., Mormann T., Sherry D.On mathematical realism and applicability of hyperreals.
Matematychni Studii, 2019, 51, 2, pp. 200224.
DOI:10.15330/ms.51.2.200224
SCIMAGO, Q3


2019 year Authors: Seliverstov A., Zverkóv O., Rubanov L., Lyubetsky V.Protein clustering and gene loss prediction. Computer Assisted Mathematics Conference. Electrotechnical University "LETI" SaintPetersburg, Russia, July 2224, 2019. P. 7 Go to publication Download (205.8 KB) 

2019 year Authors: Seliverstov A.Notes on the generic complexity of recognition problems (in Russian). Proceedings of the International Conference "Algebra and Mathematical Logic: Theory and Applications" (Kazan, June 2428, 2019) Kazan: KFU, 2019. P. 158160. Go to publication Download (1.5 MB) 

2019 year Authors: Kanovei V., Lyubetsky V.Models of set theory in which separation theorem fails.
Izvestiya: Mathematics, 2019.
Submitted.
WoS Q2


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

2019 year Authors: Zverkóv O., Mikhailov K., Isaev S., Rusin L., Popova O., Logacheva M., Penin A., Moroz L., Panchin Y., Lyubetsky V., Aleoshin V.V.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) 

2019 year Authors: Seliverstov A.On the geometric brigade of the Institute of General and Inorganic Chemistry of the Academy of Sciences of the USSR until 1941. XVI International Conference "Algebra, Number Theory and Discrete Geometry: modern problems, applications and problems of history" dedicated to the 80th anniversary of the birth of Professor Michel Desa. Tula, the Tula State Pedagogical University of Leo Tolstoy, 2019. P. 378–380. (In Russian) Go to publication 

2019 year Authors: Seliverstov A.On polynomials of odd degree over reals. International Conference Polynomial Computer Algebra "2019; St. Petersburg, April 15–20, 2016 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2019. P. 133–134. Go to publication Download (567.9 KB) 

2019 year Authors: Kanovei V., Schindler R.Definable Hamel bases and ACω(R).
Fundamenta Mathematicae.
Submitted.
SCOPUS, Q2


2019 year Authors: Kanovei V., Lyubetsky V.Absoluteness of the Solovay set Σ.
Siberian Mathematical Journal,
2018, submitted
SCIMAGO, Q2
WoS Q3


2019 year Authors: Kanovei V., Lyubetsky V.Factoring Solovayrandom extensions, with application to the Reduction property.
Monatshefte fur Mathematik, 2019, submitted.
WoS Q2


2019 year Authors: Kanovei V., Lyubetsky V.The full basis theorem does not imply analytic wellordering,
Annals of pure and applied logic, 2019, submitted.
WoS Q1


2019 year Authors: Gitman V., Friedman S.D., Kanovei V.A model of secondorder arithmetic satisfying AC but not DC.
Journal of Mathematical Logic, 2019, 19, no 1, article ID 1850013, pp. 139.
DOI 10.1142/S0219061318500137
WoS Q1 (Ranked 1st overall in the category of Logic by Journal Citation Reports JCR and SCImago SJR.)
Go to publication 

2019 year Authors: Kanovei V., Lyubetsky V.Nonuniformizable sets with countable crosssections on a given level of the projective hierarchy.
Fundamenta mathematicae,
2019, 245, 2, pp. 175216.
DOI: 10.4064/fm51772018
SCOPUS, Q2 Go to publication 

2019 year Authors: Kanovei V., Lyubetsky V.Definable elements of definable Borel sets.
Mathematical Notes,
2019, 105, no 5, pp. 684693.
DOI: 10.1134/S0001434619050055
SCIMAGO, Q2
Go to publication 

2019 year Authors: Kanovei V., Lyubetsky V.Borel OD sets of reals are ODBorel 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 

2019 year Authors: Kanovei V., Lyubetsky V.Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic, 2019, vol. 84, no 1, pp. 266289.
DOI:10.1017/jsl.2018.77
WoS Q1
Go to publication 

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

2018 year Authors: Kanovei V., Lyubetsky V.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 

2018 year Authors: Aleoshin V., Slyusarev G., Mikhailov K., Popova O., Rusin L., Zverkóv O., Lyubetsky V.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/MolPhy201801


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

2018 year Authors: Gitman V., Friedman S.D., Kanovei V.A model of secondorder arithmetic satisfying AC but not DC.
arXiv:1808.04732 [math.LO],
August 2018. Go to publication 

2018 year Authors: Seliverstov A., Shilovsky G.A., Rubanov L., Zverkóv O., Lyubetsky V.Longevity in mammals: lost genes as a determinant. Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB2018): 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) 

2018 year Authors: Seliverstov A., Rubanov L., Shilovsky G., Zverkóv O., Lyubetsky V.Longevity in euarchontoglires: lost genes as a determinant.
FEBS Open Bio,
2018, Vol. 8 (Suppl. 1), P. 456–457;
DOI: 10.1002/22115463.12453.


2018 year Authors: Seliverstov A.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. 183192. Springer, Cham (2018). Go to publication 

2018 year Authors: Seliverstov A.Note on binary solutions to some systems of algebraic equations (In Russian).
Algebra, Number Theory and Discrete Geometry: modern problems and applications. Proceedings of the XV International Conference, dedicated to the centenary of the birth of Professor Nikolai Mikhailovich Korobov.  Tula: Tula State Pedagogical University of Leo Tolstoy, 2018. P. 197199. Go to publication Download (7.2 MB) 

2018 year Authors: Seliverstov A.Recognizing real cubic hypersurfaces without a straight line of singular points (In Russian). International Algebraic Conference dedicated to the 110th anniversary of Professor A. G. Kurosh. Proceedings.  Moscow, MSU, 2018, pp. 175177. Go to publication Download (1.7 MB) 

2018 year Authors: Seliverstov A.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. Go to publication Download (2.8 MB) 

2018 year Authors: Lyubetsky V., Lyubetskaya E., Gorbunov K.A linear algorithm of cyclic graph reconfiguration.
Lobachevskii Journal of Mathematics,
2018, Iss. 6, in press


2018 year Authors: Kanovei V., Lyubetsky V.Definable E_{0} 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 

2018 year Authors: Kanovei V., Lyubetsky V.Canonization of smooth equivalence relations on infinitedimensional perfect cubes.
arXiv:1804.05174 [math.LO], April 2018. Go to publication 

2018 year Authors: Zverkóv O., Rubanov L., Rusin L., Seliverstov A., Lyubetsky V.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 

2018 year Authors: Gorbunov K., Lyubetsky V.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 

2018 year Authors: Kanovei V., Katz M., Blaszczyk P., Nowik T.Monotone subsequence via ultrapower.
Open Mathematics, 2018, 16, 1, c. 149153
DOI: 10.1515/math20180015
WoS Q2 Go to publication 

2018 year Authors: Kanovei V., Katz K., Katz M., Mormann T.What makes a theory of infinitesimals useful? A view by Klein and Fraenkel.
Journal of Humanistic Mathematics, 2018, 8, 1, pp. 108119.
DOI: 10.5642/jhummath.201801.07 Go to publication 

2018 year Authors: 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/s106990179534y
WoS Q2 Go to publication 

2018 year Authors: Kanovei V., Lyubetsky V.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/s0015301705690
WoS Q3 Go to publication 

2018 year Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al.Gregory"s sixth operation,
Foundations of Science, 2018, 23, 1, pp. 133144.
DOI: 10.1007/s1069901695129
WoS Q2 Go to publication 

2018 year Authors: Herzberg F., Kanovei V., Katz M., Lyubetsky V.Minimal axiomatic frameworks for definable hyperreals with transfer.
Journal of Symbolic Logic,
2018, 83, 1, pp. 385391.
DOI: 10.1017/jsl.2017.48
WoS Q1
Go to publication 

2018 year Authors: Kanovei V., Lyubetsky V.Nonuniformizable sets of second projective level with countable crosssections 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 

2017 year Authors: Lyubetsky V., Gershgorin R., Gorbunov K.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/s128590171944x, PMID: 29212445 Go to publication 

2017 year Authors: 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, 115144
doi:10.15330/ms.47.2.115144 Go to publication 

2017 year Authors: Kanovei V., Lyubetsky V.Nonuniformizable sets with countable crosssections on a given level of the projective hierarchy.
arXiv:1712.00769 [math.LO], December 2017. Go to publication 



