Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Lyubetskii, Vasilii Aleksandrovich
Statistics
Total publications: 47
Scientific articles: 47
Presentations: 3

Number of views:
This page:3621
Abstract pages:22964
Full texts:8107
References:3058
Professor
Doctor of physico-mathematical sciences (1991)
Speciality: 05.13.18; 05.13.17 (Mathematical modeling, numerical methods, and the program systems; Theoretical foundation for informatics)
E-mail:
Website: http://logic.math.msu.ru/staff/lyubetsky/

https://www.mathnet.ru/eng/person13593
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/209834
ISTINA https://istina.msu.ru/workers/38379005
https://orcid.org/0000-0002-3739-9161
https://www.webofscience.com/wos/author/record/D-8425-2014
https://www.scopus.com/authid/detail.url?authorId=6603305576

Publications in Math-Net.Ru Citations
2025
1. V. G. Kanovei, V. A. Lyubetskii, “Independence of the comprehension schema in second-order arithmetic from the parameter-free countable choice”, Mat. Zametki, 117:2 (2025),  257–269  mathnet  mathscinet; Math. Notes, 117:2 (2025), 275–286  scopus
2. A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2025, no. 1,  23–32  mathnet  elib; Moscow University Mathematics Bulletin, 80:1 (2025), 23–33
2024
3. K. Yu. Gorbunov, V. A. Lyubetskii, “An exact quadratic algorithm for the shortest tree transformation”, Dokl. RAN. Math. Inf. Proc. Upr., 519 (2024),  22–27  mathnet  elib; Dokl. Math., 110:2 (2024), 373–378
2021
4. V. G. Kanovei, V. A. Lyubetsky, “Models of set theory in which the separation theorem fails”, Izv. RAN. Ser. Mat., 85:6 (2021),  164–204  mathnet  zmath; Izv. Math., 85:6 (2021), 1181–1219  isi  scopus 9
2020
5. K. Yu. Gorbunov, V. A. Lyubetskii, “An almost exact linear algorithm for transformation of chain-cycle graphs with optimization of the sum of operation costs”, Dokl. RAN. Math. Inf. Proc. Upr., 494 (2020),  26–29  mathnet  elib; Dokl. Math., 102:2 (2020), 376–379 2
6. V. G. Kanovei, V. A. Lyubetskii, “On the Equality Relation Modulo a Countable Set”, Mat. Zametki, 108:4 (2020),  629–631  mathnet  mathscinet  elib; Math. Notes, 108:4 (2020), 615–616  isi  scopus 2
2019
7. V. G. Kanovei, V. A. Lyubetskii, “Definable Elements of Definable Borel Sets”, Mat. Zametki, 105:5 (2019),  696–707  mathnet  mathscinet  elib; Math. Notes, 105:5 (2019), 684–693  isi  scopus 1
8. V. G. Kanovei, V. A. Lyubetskii, “Absoluteness of the solovay set Σ”, Sibirsk. Mat. Zh., 60:6 (2019),  1286–1290  mathnet  elib; Siberian Math. J., 60:6 (2019), 1003–1006  isi  scopus
2018
9. K. Yu. Gorbunov, V. A. Lyubetsky, “A linear algorithm for restructuring a graph”, Avtomat. i Telemekh., 2018, no. 12,  124–141  mathnet  elib; Autom. Remote Control, 79:12 (2018), 2203–2216  isi  scopus 1
10. V. G. Kanovei, V. A. Lyubetsky, “Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes”, Izv. RAN. Ser. Mat., 82:1 (2018),  65–96  mathnet  mathscinet  zmath  elib; Izv. Math., 82:1 (2018), 61–90  isi  scopus 12
2017
11. K. Yu. Gorbunov, V. A. Lyubetsky, “Algorithm of transformation of a graph into another one with minimal cost”, Inform. Primen., 11:1 (2017),  79–89  mathnet  elib
12. V. G. Kanovei, V. A. Lyubetskii, “A Countable Definable Set Containing no Definable Elements”, Mat. Zametki, 102:3 (2017),  369–382  mathnet  mathscinet  elib; Math. Notes, 102:3 (2017), 338–349  isi  scopus 20
13. K. Yu. Gorbunov, V. A. Lyubetsky, “Linear algorithm for minimal rearrangement of structures”, Probl. Peredachi Inf., 53:1 (2017),  60–78  mathnet  elib; Problems Inform. Transmission, 53:1 (2017), 55–72  isi  scopus 7
14. V. G. Kanovei, V. A. Lyubetsky, “A generic property of the Solovay set $\Sigma$”, Sibirsk. Mat. Zh., 58:6 (2017),  1302–1305  mathnet  elib; Siberian Math. J., 58:6 (2017), 1012–1014  isi  scopus 3
2015
15. V. G. Kanovei, V. A. Lyubetskii, “On Effective $\sigma$-Boundedness and $\sigma$-Compactness in Solovay's Model”, Mat. Zametki, 98:2 (2015),  247–257  mathnet  mathscinet  elib; Math. Notes, 98:2 (2015), 273–282  isi  scopus 1
16. V. G. Kanovei, V. A. Lyubetsky, “Generalization of one construction by Solovay”, Sibirsk. Mat. Zh., 56:6 (2015),  1341–1350  mathnet  mathscinet  elib; Siberian Math. J., 56:6 (2015), 1072–1079  isi  scopus 4
2013
17. V. A. Lyubetsky, A. V. Seliverstov, O. A. Zverkov, “Elaboration of the Homologous Plastid-Encoded Protein Families that Separate Paralogs in Magnoliophytes”, Mat. Biolog. Bioinform., 8:1 (2013),  225–233  mathnet 1
2012
18. V. G. Kanovei, V. A. Lyubetskii, “Effective Compactness and Sigma-Compactness”, Mat. Zametki, 91:6 (2012),  840–852  mathnet  mathscinet  elib; Math. Notes, 91:6 (2012), 789–799  isi  elib  scopus 2
19. K. Yu. Gorbunov, A. V. Seliverstov, V. A. Lyubetsky, “Geometric relationship between parallel hyperplanes, quadrics, and vertices of a hypercube”, Probl. Peredachi Inf., 48:2 (2012),  113–120  mathnet; Problems Inform. Transmission, 48:2 (2012), 185–192  isi  scopus 4
2011
20. K. Yu. Gorbunov, V. A. Lyubetsky, “The tree nearest on average to a given set of trees”, Probl. Peredachi Inf., 47:3 (2011),  64–79  mathnet  mathscinet; Problems Inform. Transmission, 47:3 (2011), 274–288  isi  scopus 13
21. V. G. Kanovei, V. A. Lyubetsky, “An effective minimal encoding of uncountable sets”, Sibirsk. Mat. Zh., 52:5 (2011),  1074–1086  mathnet  mathscinet; Siberian Math. J., 52:5 (2011), 854–863  isi  scopus 5
2009
22. A. V. Seliverstov, V. A. Lyubetsky, “On symmetric matrices with indeterminate leading diagonals”, Probl. Peredachi Inf., 45:3 (2009),  73–78  mathnet  mathscinet  zmath; Problems Inform. Transmission, 45:3 (2009), 258–263  isi  scopus 4
2008
23. V. A. Lyubetsky, E. A. Zhizhina, L. I. Rubanov, “Gibbs Field Approach for Evolutionary Analysis of Regulatory Signal of Gene Expression”, Probl. Peredachi Inf., 44:4 (2008),  52–71  mathnet  mathscinet  zmath; Problems Inform. Transmission, 44:4 (2008), 333–351  isi  scopus 3
24. V. G. Kanovei, V. A. Lyubetskii, “Borel reducibility as an additive property of domains”, Zap. Nauchn. Sem. POMI, 358 (2008),  189–198  mathnet  elib; J. Math. Sci. (N. Y.), 158:5 (2009), 708–712  elib  scopus
2007
25. V. A. Lyubetskii, S. A. Pirogov, “Nonstandard Representations of Locally Compact Groups”, Mat. Zametki, 82:3 (2007),  383–389  mathnet  mathscinet  zmath  elib; Math. Notes, 82:3 (2007), 341–346  isi  elib  scopus
26. V. G. Kanovei, V. A. Lyubetskii, M. Reeken, “Reducibility of Monadic Equivalence Relations”, Mat. Zametki, 81:6 (2007),  842–854  mathnet  mathscinet  zmath  elib; Math. Notes, 81:6 (2007), 757–766  isi  elib  scopus
27. V. G. Kanovei, V. A. Lyubetskii, “Problems in set-theoretic nonstandard analysis”, Uspekhi Mat. Nauk, 62:1(373) (2007),  51–122  mathnet  mathscinet  zmath  elib; Russian Math. Surveys, 62:1 (2007), 45–111  isi  scopus 6
2006
28. V. G. Kanovei, V. A. Lyubetskii, “A Cofinal Family of Equivalence Relations and Borel Ideals Generating Them”, Trudy Mat. Inst. Steklova, 252 (2006),  94–113  mathnet  mathscinet  zmath; Proc. Steklov Inst. Math., 252 (2006), 85–103  scopus
2005
29. V. G. Kanovei, V. A. Lyubetskii, “Perfect subsets of invariant CA-sets”, Mat. Zametki, 77:3 (2005),  334–338  mathnet  mathscinet  zmath  elib; Math. Notes, 77:3 (2005), 307–310  isi  elib  scopus
2004
30. V. G. Kanovei, V. A. Lyubetskii, “On the Set of Constructible Reals”, Trudy Mat. Inst. Steklova, 247 (2004),  95–128  mathnet  mathscinet  zmath; Proc. Steklov Inst. Math., 247 (2004), 83–114 3
2003
31. P. V. Golubtsov, V. A. Lyubetskii, “Stochastic Dynamical Games with Information of Various Types”, Probl. Peredachi Inf., 39:3 (2003),  40–71  mathnet  mathscinet  zmath; Problems Inform. Transmission, 39:3 (2003), 266–293 7
32. V. G. Kanovei, V. A. Lyubetskii, “On some classical problems of descriptive set theory”, Uspekhi Mat. Nauk, 58:5(353) (2003),  3–88  mathnet  mathscinet  zmath  elib; Russian Math. Surveys, 58:5 (2003), 839–927  isi  scopus 22
1999
33. N. A. Kuznetsov, V. A. Lyubetskii, “Computer Logic in Information Processes”, Probl. Peredachi Inf., 35:2 (1999),  107–111  mathnet  zmath
1997
34. V. A. Lyubetskii, “Transfer theorems and the algebra of modal operators”, Algebra Logika, 36:3 (1997),  282–303  mathnet  mathscinet 4
1996
35. V. A. Lyubetskii, “On Some Applications of the Semantic Evaluation Method”, Probl. Peredachi Inf., 32:3 (1996),  82–96  mathnet  mathscinet  zmath; Problems Inform. Transmission, 32:3 (1996), 290–302
1993
36. V. A. Lyubetskii, “On One Approach to Modelling Intelligent Systems”, Probl. Peredachi Inf., 29:3 (1993),  107–109  mathnet  zmath; Problems Inform. Transmission, 29:3 (1993), 295–297 1
1991
37. V. A. Lyubetskii, “The transition from deducibility in classical set theory to deducibility in intuitionistic set theory for the language of rings”, Algebra Logika, 30:6 (1991),  652–670  mathnet  mathscinet
38. V. A. Lyubetskii, “Intuitionistic theory of algebraic systems and Heyting-valued analysis”, Algebra Logika, 30:3 (1991),  320–332  mathnet  mathscinet 1
1990
39. V. A. Lyubetskii, “Model completeness of a theory and valuation of formulas”, Algebra Logika, 29:1 (1990),  15–28  mathnet  mathscinet
1989
40. V. A. Lyubetskii, “Valuations and sheaves. On some questions of non-standard analysis”, Uspekhi Mat. Nauk, 44:4(268) (1989),  99–153  mathnet  mathscinet  zmath; Russian Math. Surveys, 44:4 (1989), 37–112  isi 10
1985
41. V. A. Lyubetskii, “Some algebraic questions of nonstandard analysis”, Dokl. Akad. Nauk SSSR, 280:1 (1985),  38–41  mathnet  mathscinet  zmath
1983
42. V. A. Lyubetskii, E. I. Gordon, “Embedding of sheaves in a Heyting-valued universe.”, Dokl. Akad. Nauk SSSR, 268:4 (1983),  794–798  mathnet  mathscinet  zmath
1981
43. E. I. Gordon, V. A. Lyubetskii, “Some applications of nonstandard analysis in the theory of Boolean-valued measures”, Dokl. Akad. Nauk SSSR, 256:5 (1981),  1037–1041  mathnet  mathscinet  zmath 2
1971
44. A. G. Dragalin, V. A. Lyubetskii, V. I. Fukson, “Definable sequences of countable ordinals”, Dokl. Akad. Nauk SSSR, 196:6 (1971),  1263–1265  mathnet  mathscinet  zmath
1970
45. V. A. Lyubetskii, “From the existence of a nonmeasurable set of type $A_2$ there follows the existence of an uncountable set that contains no perfect subset of type $CA$”, Dokl. Akad. Nauk SSSR, 195:3 (1970),  548–550  mathnet  mathscinet 5
1969
46. A. G. Dragalin, V. A. Lyubetskii, “Construction of an effectively inaccessible cardinal in a natural prolongation of the Zermelo–Fraenkel system”, Dokl. Akad. Nauk SSSR, 187:6 (1969),  1225–1228  mathnet  mathscinet  zmath
1968
47. V. A. Lyubetskii, “Some consequences of the hypothesis on the uncountability of the set of constructible real numbers”, Dokl. Akad. Nauk SSSR, 182:4 (1968),  758–759  mathnet  mathscinet  zmath 3

Presentations in Math-Net.Ru
1. Модели и алгоритмы в науках о жизни
V. A. Lyubetskii

June 24, 2024 11:30   
2. Решение проблемы (1948 год) А. Тарского
V. A. Lyubetskii, V. G. Kanovei
Dobrushin Mathematics Laboratory Seminar
September 19, 2023 16:00
3. Линейный алгоритм кратчайшей перестройки структур
K. Yu. Gorbunov, V. A. Lyubetskii
Seminar on Coding Theory
December 16, 2014 19:00

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2026