Lab.6 IITP RAS logo
20/05/19
23:33:05

Laboratory of Mathematic methods and models in bioinformatics,
Institute for Information Transmission Problems,
Russian Academy of Sciences

« back

Publications of Vladimir Kanovei

  1. V.G. Kanovei. Singular cardinals. Mathematical Notes, 1973, Vol. 13, No. 5, P. 429–433, DOI: 10.1007/BF01147473, eLIBRARY: 30993090,
  2. V.G. Kanovei. On initial segments of degrees of constructibility. Mathematical Notes, 1975, Vol. 17, No. 6, P. 563–567, DOI: 10.1007/BF01442704, eLIBRARY: 30980640,
  3. V.G. Kanovei. The independence of some propositions of descriptive set theory and second order arithmetic. Soviet Mathematics, 1975, Vol. 16, No. 4, P. 937
  4. V.G. Kanovei. Proof of a theorem of Lusin. Mathematical Notes, 1978, Vol. 23, No. 1, P. 35–37, DOI: 10.1007/BF01104883, eLIBRARY: 30914597,
  5. V.G. Kanovei. On the nonemptiness of classes in axiomatic set theory. Mathematics of the USSR-Izvestiya, 1978, Vol. 12, No. 3, P. 507–535, DOI: 10.1070/IM1978v012n03ABEH001997,
  6. V.G. Kanovei. A consequence of the Martin axiom. Mathematical Notes, 1979, Vol. 26, No. 1, P. 549–553, DOI: 10.1007/BF01140280, eLIBRARY: 30845336,
  7. V.G. Kanovei. The set of all analytically definable sets of natural numbers can be defined analytically. Mathematics of the USSR-Izvestiya, 1980, Vol. 15, No. 3, P. 469–500, DOI: 10.1070/IM1980v015n03ABEH001258,
  8. V.G. Kanovei. Theory of Zermelo without power set axiom and the theory of Zermelo-Frenkel without power set axiom are relatively consistent. Mathematical Notes, 1981, Vol. 30, No. 3, P. 695–702, DOI: 10.1007/BF01141627, eLIBRARY: 30916105,
  9. V.G. Kanovei. N. N. Luzin's problems on imbeddability and decomposability of projective sets. Mathematical Notes, 1982, Vol. 32, No. 1, P. 490–499, DOI: 10.1007/BF01137222, eLIBRARY: 30868299,
  10. V.G. Kanovei. Generalization of P.S. Novikov's theorem on cross sections of Borel sets. Mathematical Notes, 1983, Vol. 33, No. 2, P. 144–146, DOI: 10.1007/BF01160381, eLIBRARY: 30864984,
  11. V.G. Kanovei. An answer to Luzin's question about the separability of CA-curves. Mathematical Notes, 1983, Vol. 33, No. 3, P. 223–224, DOI: 10.1007/BF01686331, eLIBRARY: 30989994,
  12. V.G. Kanovei. Structure of constituents of π11-sets. Siberian Mathematical Journal, 1983, Vol. 24, No. 2, P. 198–215, DOI: 10.1007/BF00968736,
  13. No English citation is currently avaliable for this publication.
    .. . . , .: , 1984, 63 c.
  14. V.G. Kanovei. Undecidable and decidable properties of constituents. Mathematics of the USSR-Sbornik, 1985, Vol. 52, No. 2, P. 491–519, DOI: 10.1070/SM1985v052n02ABEH002902,
  15. V.G. Kanovei. Problem of the existence of nonBorel AF||-sets. Mathematical Notes, 1985, Vol. 37, No. 2, P. 156–161, DOI: 10.1007/BF01156763, eLIBRARY: 30832215,
  16. V.G. Kanovei. The axiom of determinacy and the modern development of descriptive set theory. Journal of Mathematical Sciences, 1988, Vol. 40, No. 3, P. 257–287, DOI: 10.1007/BF01092890,
  17. V.G. Kanovei. The development of the descriptive theory of sets under the influence of the work of Luzin. Russian Mathematical Surveys, 1985, Vol. 40, 3, P. 135–180, DOI: 10.1070/RM1985v040n03ABEH003591, eLIBRARY: 31101833,
  18. V.G. Kanovei. N. N. Luzin's problems on the existence of CA-sets without perfect subsets. Mathematical Notes, May-Jun 1987, Vol. 41, No. 5, P. 422–426, DOI: 10.1007/BF01159870, eLIBRARY: 31113310,
  19. V.G. Kanovei. The correctness of Euler's method for the factorization of the sine function into an infinite product. Russian Mathematical Surveys, 1988, Vol. 43, No. 4, P. 65–94, DOI: 10.1070/RM1988v043n04ABEH001868, eLIBRARY: 30811497,
  20. V.G. Kanovei. Kolmogorov's ideas in the theory of operations on sets. Russian Mathematical Surveys, 1988, Vol. 43, No. 6, P. 111–155, DOI: 10.1070/RM1988v043n06ABEH001995, eLIBRARY: 31124056,
  21. V.N. Grishin, V.G. Kanovei. Work on descriptive set theory carried out at the V. A. Steklov Institute of Mathematics. Proceedings of the Steklov Institute of Mathematics, 1990, Vol. 182, P. 245–265, Mi: tm1926
  22. No English citation is currently avaliable for this publication.
    .. . . , 1989,  44, . 3(267), . 201, Mi: umn2600,
  23. No English citation is currently avaliable for this publication.
    .. . . . . , 1990,  45, . 2(272), 231, Mi: umn4734,
  24. V.G. Kanovei. Cardinality of the set of Vitali equivalence classes. Mathematical Notes, Mar-Apr 1991, Vol. 49, No. 4, P. 370–374, DOI: 10.1007/BF01158211, eLIBRARY: 30854307,
  25. V.G. Kanovei. Undecidable hypotheses in Edward Nelson's internal set theory. Russian Mathematical Surveys, Nov-Dec 1991, Vol. 46, No. 6, P. 1–54, DOI: 10.1070/RM1991v046n06ABEH002870,
  26. V.G. Kanovei. On the extension principle in internal set theory. Siberian mathematical journal, NovOct 1992, Vol. 33, No. 6, P. 999–1010, DOI: 10.1007/BF00971023,
  27. No English citation is currently avaliable for this publication.
    .. . . . . , 1992,  47, . 3(285), . 197–198, Mi: umn4537,
  28. V.G. Kanovei. A course on Foundations of Nonstandard Analysis. (With a preface by. M. Reeken), IPM Lecture Notes Series, Vol. 1, IPM, Tehran, Iran, 1994, 149 pages, i
  29. V.G. Kanovei, M. Reeken. Internal approach to external sets and universes. Part 1 Bounded set theory. Studia Logica, 1995, Vol. 55, No. 2, P. 229–257, DOI: 10.1007/BF01061236, eLIBRARY: 30846597,
  30. V.G. Kanovei, M. Reeken. Internal approach to external sets and universes. Part 2 External universes over the universe of bounded set theory. Studia Logica, 1995, Vol. 55, No. 3, P. 347–376, DOI: 10.1007/BF01057803, eLIBRARY: 31114831,
  31. V.G. Kanovei, M. Reeken. Summation of divergent series from the nonstandard point of view. Real Analysis Exchange, 1995, Vol. 21, No. 2, P. 473–497, eLIBRARY: 31002425
  32. V.G. Kanovei. Topologies generated by effectively Suslin sets, and their applications in descriptive set theory. Russian Mathematical Surveys, 1996, Vol. 51, No. 3, P. 385–417, DOI: 10.1070/RM1996v051n03ABEH002907, WOSA1996WC01100002, Scopus: 2-s2.0-0030504741,
  33. V.G. Kanovei. On external Scott algebras in nonstandard models of Peano arithmetic. Journal of Symbolic Logic, Jun 1996, Vol. 61, Iss. 2, P. 586–607, DOI: 10.2307/2275677, eLIBRARY: 13230633,
  34. V.G. Kanovei, M. Reeken. Internal approach to external sets and universes. Part 3 Partially saturated universes. Studia Logica, 1996, Vol. 56, No. 3, P. 293–322, DOI: 10.1007/BF00372770, eLIBRARY: 31271066,
  35. V.G. Kanovei, M. Reeken. Loeb measure from the point of view of a coin flipping game. Mathematical Logic Quarterly, 1996, Vol. 42, Iss. 1, P. 19–26, eLIBRARY: 13247198
  36. V.G. Kanovei. An Ulm-type classification theorem for equivalence relations in Solovay model. Journal of Symbolic Logic, Dec 1997, Vol. 62, Iss. 4, P. 1333–1351, DOI: 10.2307/2275646, eLIBRARY: 20949072,
  37. V.G. Kanovei, M. Reeken. Isomorphism property in nonstandard extensions of the ZFC universe. Annals of Pure and Applied Logic, 1997, Vol. 88, No. 1, P. 1–25, eLIBRARY: 13267869
  38. V.G. Kanovei. Non-Glimm-Effros equivalence relations at second projective level. Fundamenta mathematicae, 1997, Vol. 154, Iss. 1, P. 1–35, eLIBRARY: 13252699
  39. V.G. Kanovei. Two dichotomy theorems on colourability of non-analytic graphs. Fundamenta mathematicae, 1997, Vol. 154, Iss. 2, P. 183–201, eLIBRARY: 13254718
  40. V.G. Kanovei. On a spector ultrapower for the Solovay model. Mathematical Logic Quarterly, 1997, Vol. 43, Iss. 3, P. 389–395, eLIBRARY: 13252900
  41. V.G. Kanovei, J. Zapletal. Pyramidal structure of constructibility degrees. Mathematical Notes, 1998, Vol. 63, No. 4, P. 556–559, DOI: 10.1007/BF02311261, eLIBRARY: 20943130,
  42. V.G. Kanovei, M. Reeken. Elementary Extensions of External Classes in a Nonstandard Universe. Studia Logica, 1998, Vol. 60, No. 2, P. 253–273, DOI: 10.1023/A:1005064032270, eLIBRARY: 18253636,
  43. V.G. Kanovei. When a partial borel order is linearizable. Fundamenta mathematicae, 1998, Vol. 155, Iss. 3, P. 301–309, eLIBRARY: 13305014
  44. V.G. Kanovei. Ulm Classification of Analytic Equivalence Relations in Generic Universes. Mathematical Logic Quarterly, 1998, Vol. 44, Iss. 3, P. 287–303, DOI: 10.1002/malq.19980440302, eLIBRARY: 13292534,
  45. V.G. Kanovei. On non-wellfounded iterations of the perfect set forcing. Journal of Symbolic Logic, Jun 1999, Vol. 64, Iss. 2, P. 551–574, DOI: 10.2307/2586484, eLIBRARY: 13313996,
  46. V. Kanovei, M. Reeken. Special model axiom in nonstandard set theory. Mathematical Logic Quarterly, 1999, Vol. 45, Iss. 3, P. 371–384, eLIBRARY: 13313998
  47. V.G. Kanovei, M. Reeken. Extension of standard models of ZFC to models of Nelsons nonstandard set theory IST. Mathematical Notes, 1999, Vol. 66, No. 2, P. 160–166, DOI: 10.1007/BF02674872, eLIBRARY: 20938564,
  48. V.G. Kanovei. Linearization of definable order relations. Annals of Pure and Applied Logic, Mar 2000, Vol. 102, No. 12, P. 69–100, DOI: 10.1016/S0168-0072(99)00013-5, WOS000084782400003, eLIBRARY: 193490, eLIBRARY: 13339255,
  49. V.G. Kanovei, M. Reeken. A nonstandard set theory in the ∈-language. Archive for Mathematical Logic, 2000, Vol. 39, No. 6, P. 403–416, DOI: 10.1007/s001530050155, WOS000089083700002, eLIBRARY: 13340666,
  50. V.G. Kanovei, M. Reeken. Extending Standard Models of ZFC to Models of Nonstandard Set Theories. Studia Logica, 2000, Vol. 64, No. 1, P. 37–59, DOI: 10.1023/A:1005286212737, eLIBRARY: 20898243,
  51. V.G. Kanovei, M. Reeken. New RadonNikodym ideals. Mathematika, Dec 2000, Vol. 47, Iss. 1-2, P. 219–227, DOI: 10.1112/S0025579300015837, WOS000177538900018, eLIBRARY: 13358709,
  52. V.G. Kanovei, M. Reeken. On Baire measurable homomorphisms of quotients of the additive group of the reals. Mathematical Logic Quarterly, 2000, Vol. 46, Iss. 3, P. 377–384, DOI: 10.1002/1521-3870(200008)46:3<377::AID-MALQ377>3.0.CO;2-9, WOS000088718400005,
  53. V.G. Kanovei, M. Reeken. On Ulam's Problem of Stability of Non-exact Homomorphisms. Proceedings of the Steklov Institute of Mathematics, 2000, Vol. 231, P. 238–270, Mi: tm518
  54. V.G. Kanovei. A version of the JensenJohnsbraten coding at arbitrary level n ≥ 3. Archive for Mathematical Logic, 2001, Vol. 40, No. 8, P. 615–628, DOI: 10.1007/s001530100087, WOS000173031500004, eLIBRARY: 13376049,
  55. V.G. Kanovei. Nonstandard set theory in ∈-language. Mathematical Notes, 2001, Vol. 70, No. 1-2, P. 42–45, DOI: 10.1023/A:1010265716574, WOS000171684100006, eLIBRARY: 20865624,
  56. J.R.P. Christensen, V.G. Kanovei, M. Reeken. On Borel orderable groups. Topology and Its Applications, Feb 14 2001, Vol. 109, Iss. 3, P. 285–299, DOI: 10.1016/S0166-8641(99)00164-9, WOS000166392200002, eLIBRARY: 519309,
  57. V.G. Kanovei, M. Reeken. Borel and countably determined reducibility in nonstandard domain. Eprint, arXiv:math/0202290 [math.LO], 27 Feb 2002, 34 pp., i,
  58. V.G. Kanovei, M. Reeken. Some new results on Borel irreducibility of equivalence relations. Eprint, arXiv:math/0203102 [math.LO], 11 Mar 2002, 27 pp., i,
  59. V.G. Kanovei, V.A. Lyubetsky. On some classical problems of descriptive set theory. Russian mathematical surveys, Sep-Oct 2003, Vol. 58, Iss. 5, P. 839–927, DOI: 10.1070/RM2003v058n05ABEH000666, WOS000189179400001, Scopus: 2-s2.0-1542291397, eLIBRARY: 13417662,
  60. V.G. Kanovei, M. Reeken. Some new results on Borel irreducibility of equivalence relations. Izvestiya: Mathematics, 2003, Vol. 67, No. 1, P. 55–76, DOI: 10.1070/IM2003v067n01ABEH000418, WOS000185513200004, Scopus: 2-s2.0-33748479303, eLIBRARY: 13964943,
  61. V.G. Kanovei, M. Reeken. A theorem on ROD-hypersmooth equivalence relations in the Solovay model. Mathematical Logic Quarterly, May 2003, Vol. 49, Iss. 3, P. 299–304, DOI: 10.1002/malq.200310030, WOS000182874700009, eLIBRARY: 13441354,
  62. V.G. Kanovei, M. Reeken. Borel and Countably Determined Reducibility in Nonstandard Domain. Monatshefte fur Mathematik, Nov 2003, Vol. 140, No. 3, 197, 231, DOI: 10.1007/s00605-003-0004-y, WOS000186540700002, eLIBRARY: 13419940,
  63. B. Durand, V.G. Kanovei, V.A. Uspensky, N.K. Vereshchagin. Do stronger definitions of randomness exist?. Theoretical Computer Science, Jan 2003, Vol. 290, No. 3, P. 1987–1996, WOS000179441900034, eLIBRARY: 29473063,
  64. V.G. Kanovei, V.A. Lyubetsky. Classic problems of descriptive set theory. Proceedings of IV international Smirnov conference, RAS, Moscow, Russia, 2003, P. 32–34, in Russian
  65. No English citation is currently avaliable for this publication.
    .. , .. . . (100 ), , 2003, . 690
  66. V.G. Kanovei, S. Shelah. A definable nonstandard model of the reals. Eprint, arXiv:math/0311165 [math.LO], 11 Nov 2003, i,
  67. V.G. Kanovei, S. Shelah. A definable nonstandard model of the reals. Journal of Symbolic Logic, Mar 2004, Vol. 69, No. 1, P. 159–164, DOI: 10.2178/jsl/1080938834, WOS000220185200015, eLIBRARY: 13453427,
  68. V.G. Kanovei, V.A. Lyubetsky. On the set of constructible reals. Proceedings of the Steklov Institute of Mathematics, 2004, Vol. 247, P. 83–114, Mi: tm12
  69. V.G. Kanovei, M. Reeken. Borel irreducibility between two large families of Borel equivalence relations. In: Logic Colloquium 99, Lecture Notes in Logic, 17, ASL, Cambridge University Press, 2004, P. 100–110, DOI: 10.1017/9781316755921.009,
  70. V.G. Kanovei, M. Reeken, S. Shelah. Fully saturated extensions of the standard universe. Abstracts of the International Conference Logic, Algebra and Geometry, St.Petersburg, Russia, June 17 2004, P. 16–17, i
  71. V.G. Kanovei, M. Reeken, S. Shelah. Fully saturated extensions of the standard universe. Abstracts of the International Congress Nonstandard Models of Arithmetic and Analysis (M.ARI.AN. 2004), Pisa, Italy, June 2526 2004, P. 1, i,
  72. V.G. Kanovei, M. Reeken, S. Shelah. Fully saturated extensions of the standard universe. Timetable and abstracts, Logic Colloquium 2004, Abstracts of the ASL European Summer Meeting Logic Colloquium 2004, Torino, Italy, July 2531 2004, P. 116, i,
  73. V.G. Kanovei, M. Reeken. Nonstandard Analysis, Axiomatically. Series: Springer Monographs in Mathematics, 2004, XVI+408 pages, ISBN: 978-3-540-22243-9, i
  74. V.G. Kanovei, V.A. Lyubetsky. Perfect subsets of invariant CA-sets. Mathematical Notes, Mar-Apr 2005, Vol. 77, No. 3-4, P. 307–310, DOI: 10.1007/s11006-005-0031-1, WOS000228965300002, Scopus: 2-s2.0-20244383975, eLIBRARY: 13497341,
  75. V.G. Kanovei, V.A. Uspensky. Equivalence of two forms of the continuum hypothesis. Vestnik Moskovskogo Universiteta. Ser. 1 Matematika Mekhanika, 2005, No. 3, P. 62–64, eLIBRARY: 9133206
  76. V.G. Kanovei, V.A. Lyubetsky. A cofinal family of equivalence relations generated by Borel ideals. Abstracts of the A.S.L. European Summer Meeting Logic Colloquium '05, Athens, Greece, July 28 August 3 2005, P. 83, i
  77. V.G. Kanovei, M. Reeken. Effective cardinals in the nonstandard universe. Eprint, arXiv:math/0512054 [math.LO], 2 Dec 2005, i,
  78. V.G. Kanovei, V.A. Lyubetsky. A Cofinal Family of Equivalence Relations and Borel Ideals Generating Them. Proceedings of the Steklov Institute of Mathematics, 2006, Vol. 252, No. 1, P. 85–103, DOI: 10.1134/S008154380601010X, Scopus: 2-s2.0-33746072961, eLIBRARY: 13527855,
  79. V.G. Kanovei, V.A. Uspensky. Uniqueness of nonstandard extensions. Moscow University Mathematics Bulletin, 2006, Vol. 61, No. 5, P. 3–10, eLIBRARY: 9297010
  80. V.G. Kanovei, M. Reeken. Effective cardinals in the nonstandard universe. Proceedings of the 9th Asian Logic Conference Mathematical Logic in Asia, Novosibirsk, Russia, August 1619 2005, World Scientific Publishers, 2006, P. 113–144, DOI: 10.1142/9789812772749_0009, WOS000244679700009
  81. V.G. Kanovei. Varia. Ideals and Equivalence Relations. Eprint, arXiv:math/0603506 [math.LO], 21 Mar 2006, i,
  82. V.G. Kanovei. Varia: Ideals and Equivalence Relations, beta-version. Eprint, arXiv:math/0610988 [math.LO], 31 Oct 2006, i,
  83. V.G. Kanovei, V.A. Lyubetsky. Modern set theory: basics of descriptive dynamics. Nauka, 2007, 231 pages, Monograph, in Russian
  84. V.G. Kanovei, V.A. Lyubetskii. Problems of set-theoretic non-standard analysis. Russian Mathematical Surveys, Jan-Feb 2007, Vol. 62, Iss. 1, P. 45–111, DOI: 10.1070/RM2007v062n01ABEH004381, WOS000247727000002, Scopus: 2-s2.0-34547325348, eLIBRARY: 13533917,
  85. V.G. Kanovei, V.A. Lyubetskii, M. Reeken. Reducibility of Monadic equivalence relations. Mathematical Notes, May-Jun 2007, Vol. 81, Iss. 5-6, P. 757–766, DOI: 10.1134/S0001434607050239, WOS000247942500023, Scopus: 2-s2.0-34547245457, eLIBRARY: 13539883,
  86. No English citation is currently avaliable for this publication.
    .. , .. . . , 2007,  1, . 305–314, eLIBRARY9574343,
  87. No English citation is currently avaliable for this publication.
    .. , .. . . , 2007, i
  88. V.G. Kanovei. A weak dichotomy below E_1 \times E_3. Eprint, arXiv:0707.2706 [math.LO], 18 Jul 2007, i,
  89. V.G. Kanovei, V.A. Lyubetsky. Borel reducibility as an additive property of domains. In: Studies in constructive mathematics and mathematical logic. Part XI, Zapiski Nauchnyh Seminarov POMI, Vol. 358, St.Petersburg, POMI, 2008, P. 189–198, in Russian, Mi: znsl2151
  90. K.Yu. Gorbunov, V.G. Kanovei, V.A. Lyubetsky. Inferring optimal scenario of gene evolution along a species tree. Abstracts of The Sixth International Conference on Bioinformatics of Genome Regulation and Structure (BGRS'2008), Novosibirsk, Russia, June 2228 2008, P. 90, i,
  91. Sy-D. Friedman, V.G. Kanovei, V.A. Lyubetsky. On ROD reducibility of equivalence relations in Solovay model. In: Proceedings of the International Conference Methods of Logic in Mathematics V, Saint-Petersburg, Russia, June 17 2008, P. 6
  92. V.G. Kanovei. Borel equivalence relations: structure and classification. University Lectures series of the AMS, 2008, Vol. 44, 240 pages, ISBN-10: 0-8218-4453-9, ISBN-13: 978-0-8218-4453-3, i
  93. V.G. Kanovei, T. Linton, V.A. Uspensky. Lebesgue measure and gambling. Sbornik: Mathematics, NovDec 2008, Vol. 199, No. 11, P. 1597–1619, DOI: 10.1070/SM2008v199n11ABEH003974, WOS000264258100002, Scopus: 2-s2.0-66149111433, eLIBRARY: 13570983,
  94. Sy-D. Friedman, V.G. Kanovei. Some natural equivalence relations in the Solovay model. Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg, 2008, Vol. 78, No. 1, P. 91–98, DOI: 10.1007/s12188-008-0003-y, WOS000260634600006, eLIBRARY: 13572446,
  95. V.G. Kanovei, W. Purkert. Mengenlehre Historische Einfuhrung. In: Gesammelte Werke, Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie, 2008, Teil I, P. 1–40, DOI: 10.1007/978-3-540-76807-4_1,
  96. V.G. Kanovei, V.A. Lyubetsky. Reasonable non--Radon--Nikodym ideals. Eprint, arXiv:0806.4760 [math.LO], 29 Jun 2008, i,
  97. V.G. Kanovei, V.A. Lyubetsky. Reasonable non-RadonNikodym ideals. Topology and Its Applications, Feb 15 2009, Vol. 156, Iss. 5, P. 911–914, DOI: 10.1016/j.topol.2008.11.008, WOS000264470400008, Scopus: 2-s2.0-60249084018, eLIBRARY: 13598368, i,
  98. V.G. Kanovei, V.A. Lyubetsky. Borel reducibility as an additive property of domains. Journal of Mathematical Sciences, 2009, Vol. 158, No. 5, P. 708–712, DOI: 10.1007/s10958-009-9406-2, Scopus: 2-s2.0-67349232744, eLIBRARY: 13608054,
  99. V.G. Kanovei, V.A. Lyubetsky, M. Reeken. Nonstandard class and superset theories. Logic and Mathematics, Department of Mathematics, The University of York, August 37 2009, P. 21
  100. V.G. Kanovei. On Hausdorff ordered structures. Izvestiya: Mathematics, 2009, Vol. 73, No. 5, P. 939–958, DOI: 10.1070/IM2009v073n05ABEH002469, WOS000272485400004, Scopus: 2-s2.0-71449123358, eLIBRARY: 15307004,
  101. V.G. Kanovei, V.A. Lyubetsky. Modern Set Theory: Borel and projective sets. Published by Independent Moscow university, 2010, 320 pages, Monograph
  102. V.G. Kanovei, V.A. Lyubetsky. Julius Koenig sets as higher infinity. Abstracts of the International Workshop Infinite and Infinitesimal in Mathematics, Computing and Natural Sciences, Grand Hotel San Michele, Cetraro, Italy, May 1721 2010, University of Calabria, Italy, 2010, P. 27, i,
  103. V.G. Kanovei. A weak dichotomy below E1 × E3. Topology and Its Applications, June 1 2010, Vol. 157, Iss. 8, P. 1465–1478, DOI: 10.1016/j.topol.2009.03.052, WOS000277677500021, eLIBRARY: 23961208, i,
  104. J. Bagaria, V.G. Kanovei. On coding uncountable sets by reals. Mathematical Logic Quarterly, August 2010, Vol. 56, Iss. 4, P. 409–424, DOI: 10.1002/malq.200910056, WOS000280910700007, eLIBRARY: 15325718, i,
  105. V.G. Kanovei. Linear ROD subsets of Borel partial orders are countably cofinal in the Solovay model. Eprint, arXiv:1004.5542 [math.LO], 30 Apr / 5 Jun 2010, i,
  106. V.G. Kanovei. Linear ROD subsets of Borel partial orders are countably cofinal in Solovay's model. Eprint, arXiv:1005.5534 [math.LO], 30 May / 5 Jun 2010, i,
  107. V.G. Kanovei. On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals. Eprint, arXiv:1008.3471 [math.LO], 20 Aug 2010, 20 pages, i,
  108. V.G. Kanovei, V.A. Lyubetsky. An effective minimal encoding of uncountable sets. Siberian mathematical journal, Sep 2011, Vol. 52, No. 5, P. 854–863, DOI: 10.1134/S0037446611050107, WOS000298650500010, Scopus: 2-s2.0-80155151863, eLIBRARY: 18011619,
  109. V.G. Kanovei, V.A. Lyubetsky. On the infinitary pantachie of Du Bois Reymond. Proceedings of the International Mathematical Conference 50 Years Of IITP, Moscow, Russia, July 2529 2011, 7 pp., i,
  110. V.G. Kanovei. On effective compactness and sigma-compactness. Eprint, arXiv:1103.1060 [math.LO], 5 Mar 2011, i,
  111. V.G. Kanovei. On effective sigma-boundedness and sigma-compactness. Eprint, arXiv:1110.0919 [math.LO], 5 Oct 2011, i,
  112. V.G. Kanovei, V.A. Lyubetsky. Effective Compactness and Sigma-Compactness. Mathematical notes, May 2012, Vol. 91, Iss. 6, P. 789–799, DOI: 10.1134/S0001434612050252, WOS000305984400025, Scopus: 2-s2.0-84864194710, eLIBRARY: 24952888,
  113. V.G. Kanovei, V.A. Lyubetsky. An infinity which depends on the axiom of choice. Applied Mathematics and Computation, April 15 2012, Vol. 218, Iss. 16, P. 8196–8202, DOI: 10.1016/j.amc.2011.05.003, WOS000302267700020, Scopus: 2-s2.0-84859431986, eLIBRARY: 23962434,
  114. V.G. Kanovei, M.G. Katz, T. Mormann. Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics. Eprint, arXiv:1211.0244 [math.FA], 1 Nov 2012, 52 pp., i,
  115. V.G. Kanovei, V.A. Lyubetsky. Modern set theory: absolute undecidability of classical problems. Moscow, MCNMO press, 2013, 380 p., monograph, in Russian
  116. V.G. Kanovei, V.A. Lyubetsky. On effective σ-boundedness and σ-compactness. Mathematical Logic Quarterly, May 2013, Vol. 59, Iss. 3, P. 147–166, DOI: 10.1002/malq.201200001, WOS000318790100005, Scopus: 2-s2.0-84877641044, eLIBRARY: 20427977,
  117. V. Kanovei, M. Sabok, J. Zapletal. Canonical Ramsey Theory on Polish Spaces. Cambridge Tracts in Mathematics, Iss. 202, Cambridge University Press, 2013, viii+269 pp., ISBN 978-1-107-02685-8, 978-1-139-20866-6, DOI: 10.1017/CBO9781139208666, WOS000325694000012
  118. V.G. Kanovei, M.G. Katz, T. Mormann. Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics. Foundations of Science, Jun 2013, Vol. 18, Iss. 2, P. 259–296, DOI: 10.1007/s10699-012-9316-5, WOS000319436600003, eLIBRARY: 20436177,
  119. V.G. Kanovei, P. Koepke. Gaps in partially ordered sets and related problems. Commentary to [H 1909a] and [H 1936b], In: Felix Hausdorff, Gesammelte Werke, Band Ia: Allgemeine Mengenlehre, Berlin: Springer, 2013, P. 367–405, ISBN 978-3-642-25598-4,
  120. V.G. Kanovei. Kommentar zu [H 1909a], Die Graduierung nach dem Endverlauf. In: Felix Hausdorff, Gesammelte Werke, Band Ia: Allgemeine Mengenlehre, Berlin: Springer, 2013, P. 336–346, ISBN 978-3-642-25598-4,
  121. V.G. Kanovei. Kommentar zu [H 1936b], Summen von $aleph_1$ Mengen. In: Felix Hausdorff, Gesammelte Werke, Band Ia: Allgemeine Mengenlehre, Berlin: Springer, 2013, P. 364–366, ISBN 978-3-642-25598-4,
  122. U. Felgner, V. Kanovei, P. Koepke, W. Purkert, editors. Felix Hausdorff, Gesammelte Werke, Band Ia: Allgemeine Mengenlehre. Berlin: Springer, 2013, xxvi+538 pp., ISBN 978-3-642-25598-4
  123. J. Bair, P. Blaszczyk, R. Ely, V. Henry, V.G. Kanovei, K.U. Katz, M.G. Katz, S.S. Kutateladze, T. McGaffey, D.M. Schaps, D. Sherry, S. Shnider. Is mathematical history written by the victors?. Notices of the American Mathematical Society, Aug 2013, Vol. 60, No. 7, P. 886–904, eLIBRARY: 20439744, i,
  124. V.G. Kanovei. Nonstandard analysis on surreal numbers. Proceedings of the international conference NUMTA 2013, Pellegrini Editore, Kosenza, Italy, 2013, P. 83
  125. V.G. Kanovei. Surreal numbers from the point of view of nonstandard analysis. Sy David Friedman's 60th-Birthday Conference, Vienna, Austria, July 2013
  126. J. Bair, P. Blaszczyk, R. Ely, V. Henry, V.G. Kanovei, K.U. Katz, M.G. Katz, S.S. Kutateladze, T. McGaffey, D.M. Schaps, D. Sherry, S. Shnider. Is mathematical history written by the victors?. Eprint, arXiv:1306.5973 [math.HO], 25 Jun 2013, 41 pp., i,
  127. V.G. Kanovei. On countable cofinality of definable chains in Borel partial orders. Eprint, arXiv:1312.2064 [math.LO], 7 Dec 2013, i,
  128. T. Bascelli, E. Bottazzi, F.S. Herzberg, V.G. Kanovei, K.U. Katz, M.G. Katz, T. Nowik, D. Sherry, S. Shnider. Fermat, Leibniz, Euler, and the Gang: The True History of the Concepts of Limit and Shadow. Notices of the American Mathematical Society, Sep 2014, Vol. 61, No. 8, P. 848–864, DOI: 10.1090/noti1149, eLIBRARY: 24048032. $ RFBR 13-01-00006.
  129. V.G. Kanovei. On the automorphisms behind the Gitik Koepke model. In: Infinity, Computability and Metamathematics, Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, Stefan Geschke, Benedikt Loewe, and Philipp Schlicht, eds, 17 April 2014, College publications, London, 2014, Vol. 23, P. 229–253, i
  130. V.G. Kanovei. A generalization of Solovay's Σ-construction. Eprint, arXiv:1402.0961 [math.LO], 5 Feb 2014, i,
  131. V.G. Kanovei. A generalization of Solovay's Σ-construction with application to intermediate models. Eprint, arXiv:1403.5757 [math.LO], 23 Mar 2014, i,
  132. T. Bascelli, E. Bottazzi, F.S. Herzberg, V.G. Kanovei, K.U. Katz, M.G. Katz, T. Nowik, D. Sherry, S. Shnider. Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow. Eprint, arXiv:1407.0233 [math.HO], 1 Jul 2014, 35 pp., i,
  133. V.G. Kanovei. A generalization of Solovay's Σ-construction with application to intermediate models. Eprint, arXiv:1407.0929 [math.LO], 3/4 Jul 2014, 12 pp., i,
  134. V.G. Kanovei, V.A. Lyubetsky. Linearization of partial quasi-orderings in the Solovay model revisited. Eprint, arXiv:1408.1202 [math.LO], 6 Aug 2014, i,
  135. V.G. Kanovei, V.A. Lyubetsky. A countable definable set of reals containing no definable elements. Eprint, arXiv:1408.3901v1 [math.LO], 18 Aug 2014, i,
  136. V.G. Kanovei, V.A. Lyubetsky. A definable E0-class containing no definable elements. Eprint, arXiv:1408.6642 [math.LO], 28 Aug 2014, i,
  137. V.G. Kanovei, V.A. Lyubetsky. Counterexamples to countable-section Π21 uniformization and Π31 separation. Eprint, arXiv:1410.2537 [math.LO], 9/16 Oct 2014, i,
  138. V.G. Kanovei, V.A. Lyubetsky. On countable cofinality and decomposition of definable thin orderings. Eprint, arXiv:1412.0195 [math.LO], 30 Nov 2014, i,
  139. V.G. Kanovei, V.A. Lyubetsky. Grossone approach to Hutton and Euler transforms. Applied Mathematics and Computation, Mar 15 2015, Vol. 255, P. 36–43.
    DOI: 10.1016/j.amc.2014.06.037, WOS000351676900005, Scopus: 2-s2.0-85027935393, eLIBRARY: 24010655. $ RFBR 13-01-00006. i,
  140. V.G. Kanovei , V.A. Lyubetsky. Generalization of one construction by Solovay. Siberian Mathematical Journal, Nov 2015, Vol. 56, Iss. 6, P. 1072–1079.
    DOI: 10.1134/S0037446615060117, WOS000367464500011, Scopus: 2-s2.0-84952911671, eLIBRARY: 26928676. $ RFBR 13-01-00006, RSF 14-50-00150.
  141. V.G. Kanovei, V.A. Lyubetsky. On effective σ-boundedness and σ-compactness in Solovays model. Mathematical Notes, Jul 2015, Vol. 98, Iss. 1, P. 273–282.
    DOI: 10.1134/S0001434615070299, WOS000360070400029, Scopus: 2-s2.0-84940102194, eLIBRARY: 24942013. $ RFBR 13-01-00006, RSF 14-50-00150.
  142. V.G. Kanovei, V.A. Lyubetsky. A definable E0 class containing no definable elements. Archive for Mathematical Logic, Aug 2015, Vol. 54, Iss. 5-6, P. 711–723.
    DOI: 10.1007/s00153-015-0436-9, WOS000358581600014, Scopus: 2-s2.0-84938997026, eLIBRARY: 24005243. $ RFFI 13-01-00006, RSF 14-50-00150.
  143. V.G. Kanovei, K.U. Katz, M.G. Katz, M. Schaps. Proofs and Retributions, Or: Why Sarah Cant Take Limits. Foundations of Science, Mar 2015, Vol. 20, Iss. 1, P. 1–25.
    DOI: 10.1007/s10699-013-9340-0, WOS000349337400001, Scopus: 2-s2.0-85027917336, eLIBRARY: 24033304, eLIBRARY: 31054359. $ RFBR 13-01-00006. i,
  144. V.G. Kanovei, K.U. Katz, M.G. Katz, D. Sherry. Eulers Lute and Edwardss Oud. Mathematical Intelligencer, Dec 2015, Vol. 37, Iss. 4, P. 48–51.
    DOI: 10.1007/s00283-015-9565-6, WOS000366845100011, Scopus: 2-s2.0-84946430849, eLIBRARY: 29464529. $ RSF 14-50-00150, RFBR 13-01-00006.
  145. V.G. Kanovei. Some applications of finite-support products of Jensens minimal forcing. Book of abstracts, Logic Colloquium 2015, Annual European Summer Meeting of the Association for Symbolic Logic, University of Helsinki, Aug 38 2015, P. 670–671,
  146. V.G. Kanovei, K.U. Katz, M.G. Katz, D. Sherry. Euler's lute and Edwards' oud. Eprint, arXiv:1506.02586 [math.HO], 8 Jun / 10 Nov 2015, i,
  147. V.G. Kanovei, V.A. Lyubetsky. Counterexamples to countable-section Π21 uniformization and Π31 separation. Annals of Pure and Applied Logic, Mar 2016, Vol. 167, No. 3, P. 262–283.
    DOI: 10.1016/j.apal.2015.12.002, WOS000368208900005, Scopus: 2-s2.0-84953218395, eLIBRARY: 26853147. $ RFFI 13-01-00006, RSF 14-50-00150.
  148. V.G. Kanovei, V.A. Lyubetsky. On countable cofinality and decomposition of definable thin orderings. Fundamenta mathematicae, 2016, Vol. 235, P. 13–36.
    DOI: 10.4064/fm977-10-2015, WOS000387102600002, Scopus: 2-s2.0-84983356306, eLIBRARY: 27136881. $ RSF 14-50-00150. i,
  149. P. Blaszczyk, A. Borovik, V.G. Kanovei, M.G. Katz, T. Kudryk, S.S. Kutateladze, D. Sherry. A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos. Logica Universalis, Dec 2016, Vol. 10, Iss. 4, P. 393–405.
    DOI: 10.1007/s11787-016-0153-0, WOS000411397100001, Scopus: 2-s2.0-84978036267, eLIBRARY: 28444203,
  150. T. Bascelli, P. Blaszczyk, V.G. Kanovei, K.U. Katz, M.G. Katz, D.M. Schaps, D. Sherry. Leibniz versus Ishiguro: Closing a Quarter Century of Syncategoremania. HOPOS: The Journal of the International Society for the History of Philosophy of Science, Spr 2016, Vol. 6, Iss. 1, P. 117–147.
    DOI: 10.1086/685645, WOS000377144100005. $ RFBR 13-01-00006.
  151. V.G. Kanovei, K.U. Katz, M.G. Katz, T. Nowik. Small oscillations of the pendulum, Eulers method, and adequality. Quantum Studies: Mathematics and Foundations, Sep 2016, Vol. 3, Iss. 3, P. 231–236.
    DOI: 10.1007/s40509-016-0074-x,
  152. V.G. Kanovei. Some applications of finite-support products of Jensen's minimal forcing. Abstracts and slides of the Winter School in Abstract Analysis 2016, Hejnice, Czech Republic, Jan 30 Feb 6 2016,
  153. P. Blaszczyk, V.G. Kanovei, M.G. Katz, D. Sherry. Controversies in the foundations of analysis: Comments on Schubring's Conflicts. Eprint, arXiv:1601.00059 [math.HO], 1/31 Jan 2016, 24 pp., i,
  154. M. Golshani, V.G. Kanovei, V.A. Lyubetsky. A Groszek-Laver pair of undistinguishable E0 classes. Eprint, arXiv:1601.03477 [math.LO], 14 Jan 2016, 18 pp., i,
  155. V.G. Kanovei. OD elements of countable OD sets in the Solovay model. Eprint, arXiv:1603.04237 [math.LO], 14/15 Mar 2016, 20 pp., i,
  156. T. Bascelli, P. Blaszczyk, V.G. Kanovei, K.U. Katz, M.G. Katz, D.M. Schaps, D. Sherry. Leibniz vs Ishiguro: Closing a quarter-century of syncategoremania. Eprint, arXiv:1603.07209 [math.HO], 23 Mar 2016, 37 pp., i,
  157. V.G. Kanovei, K.U. Katz, M.G. Katz, T. Nowik. Small oscillations of the pendulum, Euler's method, and adequality. Eprint, arXiv:1604.06663 [math.HO], 13 Apr 2016, i,
  158. J. Bair, P. Blaszczyk, R. Ely, V. Henry, V.G. Kanovei, K.U. Katz, M.G. Katz, S.S. Kutateladze, T. McGaffey, P. Reeder, D.M. Schaps, D. Sherry, S. Shnider. Interpreting the infinitesimal mathematics of Leibniz and Euler. Eprint, arXiv:1605.00455 [math.HO], 2 May 2016, 62 pp., i,
  159. P. Blaszczyk, V.G. Kanovei, K.U. Katz, M.G. Katz, T. Kudryk, T. Mormann, D. Sherry. Is Leibnizian calculus embeddable in first order logic?. Eprint, arXiv:1605.03501 [math.LO], 11 May 2016, 22 pp., i,
  160. P. Blaszczyk, A. Borovik, V.G. Kanovei, M.G. Katz, T. Kudryk, S.S. Kutateladze, D. Sherry. A non-standard analysis of a cultural icon: The case of Paul Halmos. Eprint, arXiv:1607.00149 [math.HO], 1 Jul 2016, 15 pp., i,
  161. V.G. Kanovei. In Cohen generic extension, every countable OD set of reals belongs to the ground model. Eprint, arXiv:1607.02880 [math.LO], 11 Jul 2016, i,
  162. V.G. Kanovei, V.A. Lyubetsky. Countable OD sets of reals belong to the ground model. Eprint, arXiv:1609.01032 [math.LO], 5 Sep / 20 Nov 2016, 16 pp., i,
  163. P. Blaszczyk, V.G. Kanovei, K.U. Katz, M.G. Katz, S.S. Kutateladze, D. Sherry. Toward a history of mathematics focused on procedures. Eprint, arXiv:1609.04531 [math.HO], 15 Sep 2016, 30 pp., i,
  164. V.G. Kanovei, V.A. Lyubetsky. A generic property of Solovay's set Σ. Eprint, arXiv:1611.00176 [math.LO], 1 Nov 2016, i,
  165. T. Bascelli, P. Blaszczyk, V.G. Kanovei, K.U. Katz, M.G. Katz, S.S. Kutateladze, T. Nowik, D.M. Schaps, D. Sherry. Gregory's sixth operation. Eprint, arXiv:1612.05944 [math.HO], 18 Dec 2016, 17 pp., i,
  166. V.G. Kanovei. Some applications of finite-support products of Jensen's minimal Δ31 forcing. Winter School in Abstract Analysis 2016, Hejnice, Czech Republic, Jan 30 Feb 6 2016, oral presentation, i,
  167. V.G. Kanovei, V.A. Lyubetsky. A generic property of the Solovay set Σ. Siberian Mathematical Journal, Nov 2017, Vol. 58, Iss. 6, P. 1012–1014.
    DOI: 10.1134/S0037446617060106, WOS000425153500010, Scopus: 2-s2.0-85042169573, ISTINA: 88755250. $ RFBR 130100006, 170100705, RSF 145000150.
  168. V.G. Kanovei, V.A. Lyubetsky. A countable definable set containing no definable elements. Mathematical Notes, Sep 2017, Vol. 102, Iss. 34, P. 338–349.
    DOI: 10.1134/S0001434617090048, WOS000413455100004, Scopus: 2-s2.0-85032274221, eLIBRARY: 31091804, ISTINA: 87048672. $ RFBR 13-01-00006, 17-01-00705, RSF 14-50-00150.
  169. M. Golshani, V.G. Kanovei, V.A. Lyubetsky. A Groszek-Laver pair of undistinguishable E0-classes. Mathematical Logic Quarterly, Apr 2017, Vol. 63, Iss. 12, P. 19–31.
    DOI: 10.1002/malq.201500020, WOS000400361900002, Scopus: 2-s2.0-85017391646, eLIBRARY: 29498577, ISTINA: 87048441. $ RFBR 13-01-00006, RSF 14-50-00150.
  170. P. Blaszczyk, V.G. Kanovei, M.G. Katz, D. Sherry. Controversies in the Foundations of Analysis: Comments on Schubrings Conflicts. Foundations of Science, Mar 2017, Vol. 22, Iss. 1, P. 125–140.
    DOI: 10.1007/s10699-015-9473-4, WOS000394258500004, Scopus: 2-s2.0-84951766324, eLIBRARY: 29447240. $ RFBR 13-01-00006.
  171. P. Blaszczyk, V.G. Kanovei, K.U. Katz, M.G. Katz, T. Kudryk, T. Mormann, D. Sherry. Is Leibnizian calculus embeddable in first order logic?. Foundations of Science, Dec 2017, Vol. 22, Iss. 4, P. 717–731.
    DOI: 10.1007/s10699-016-9495-6, WOS000414693600004, Scopus: 2-s2.0-84975526213, eLIBRARY: 31037398,
  172. P. Blaszczyk, V.G. Kanovei, K.U. Katz, M.G. Katz, S.S. Kutateladze, D. Sherry. Toward a history of mathematics focused on procedures. Foundations of Science, Dec 2017, Vol. 22, Iss. 4, P. 763–783.
    DOI: 10.1007/s10699-016-9498-3, WOS000414693600007, Scopus: 2-s2.0-84988662718, eLIBRARY: 30985328,
  173. J. Bair, P. Blaszczyk, R. Ely, V. Henry, V.G. Kanovei, K.U. Katz, M.G. Katz, S.S. Kutateladze, T. McGaffey, P. Reeder, D.M. Schaps, D. Sherry, S. Shnider. Interpreting the infinitesimal mathematics of Leibniz and Euler. Journal for General Philosophy of Science, Jun 2017, Vol. 48, Iss. 2, P. 195–238.
    DOI: 10.1007/s10838-016-9334-z, WOS000403472000003, Scopus: 2-s2.0-84978654577, eLIBRARY: 31017552,
  174. P. Fletcher, K. Hrbacek, V.G. Kanovei, M.G. Katz, C. Lobry, S. Sanders. Approaches to analysis with infinitesimals following Robinson, Nelson, and Others. Real Analysis Exchange, Fall 2017, Vol. 42, No. 2, P. 193–252.
    DOI: 10.14321/realanalexch.42.2.0193, WOS000431996500001, Scopus: 2-s2.0-85035096829. $ RFBR 17-01-00705
  175. V.G. Kanovei, M.G. Katz. A positive function with vanishing Lebesgue integral in ZermeloFraenkel set theory. Real Analysis Exchange, Fall 2017, Vol. 42, No. 2, P. 385–390.
    DOI: 10.14321/realanalexch.42.2.0385, WOS000431996500008, Scopus: 2-s2.0-85041594711. $ RFBR 17-01-00705.
  176. J. Bair, P. Blaszczyk, R. Ely, V. Henry, V.G. Kanovei, K.U. Katz, M.G. Katz, T. Kudryk, S.S. Kutateladze, T. McGaffey, T. Mormann, D.M. Schaps, D. Sherry. Cauchy, infinitesimals and ghosts of departed quantifiers. Matematychni Studii, Fall 2017, Vol. 47, No. 2, P. 115–144.
    DOI: 10.15330/ms.47.2.115-144, Scopus: 2-s2.0-85035096937, eLIBRARY: 31143940. $ RFBR 17-01-00705. i,
  177. V.G. Kanovei. On star schemata of Kossak and Paris. In: Logic Colloquium '96, Lecture Notes in Logic, Cambridge University Press, 2017, P. 101–114.
    DOI: 10.1017/9781316716816.005
  178. V.G. Kanovei. The full basis theorem does not imply analytic wellordering. ASL European Summer Meeting Logic Colloquium 2017, Stockholm University, 1420 August 2017, Programme and Abstracts, P. 136–137, i,
  179. V.G. Kanovei, V.A. Lyubetsky. The full basis theorem does not imply analytic wellordering. Eprint, arXiv:1702.03566v2 [math.LO], 12/20 Feb 2017, 62 pp., i,
  180. P. Fletcher, K. Hrbacek, V.G. Kanovei, M.G. Katz, C. Lobry, S. Sanders. Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Eprint, arXiv:1703.00425 [math.CA], 1 Mar 2017, 54 pp., i,
  181. T. Bascelli, P. Blaszczyk, A. Borovik, V.G. Kanovei, K.U. Katz, M.G. Katz, S.S. Kutateladze, T. McGaffey, D.M. Schaps, D. Sherry. Cauchy's infinitesimals, his sum theorem, and foundational paradigms. Eprint, arXiv:1704.07723 [math.HO], 25 Apr / 9 May 2017, 42 pp., i,
  182. V.G. Kanovei, M.G. Katz. A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory. Eprint, arXiv:1705.00493 [math.CA], 1 May 2017, i,
  183. V.G. Kanovei, V.A. Lyubetsky. Definable E0 classes at arbitrary projective levels. Eprint, arXiv:1705.02975 [math.LO], 8 May 2017, i,
  184. F.S. Herzberg, V.G. Kanovei, M.G. Katz, V.A. Lyubetsky. Minimal axiomatic frameworks for definable hyperreals with transfer. Eprint, arXiv:1707.00202 [math.LO], 1 Jul 2017, i,
  185. V.G. Kanovei, V.A. Lyubetsky. Definable minimal collapse functions at arbitrary projective levels. Eprint, arXiv:1707.07320 [math.LO], 23 Jul 2017, 30 pp., i,
  186. J. Bair, P. Blaszczyk, R. Ely, V. Henry, V.G. Kanovei, K.U. Katz, M.G. Katz, T. Kudryk, S.S. Kutateladze, T. McGaffey, T. Mormann, D.M. Schaps, D. Sherry. Cauchy, infinitesimals and ghosts of departed quantifiers. Eprint, arXiv:1712.00226 [math.HO], 1 Dec 2017, 45 pp., i,
  187. V.G. Kanovei, V.A. Lyubetsky. Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy. Eprint, arXiv:1712.00769v1 [math.LO], 3 Dec 2017, i,
  188. V.G. Kanovei, V.A. Lyubetsky. Definable minimal collapse functions at arbitrary projective levels. Descriptive Set Theory in Turin, Turin, Italy, September 68 2017, oral presentation, i,
  189. V.G. Kanovei, V.A. Lyubetsky. Definable E0 classes at arbitrary projective levels. Annals of Pure and Applied Logic, Sep 2018, Vol. 169, Iss. 9, P. 851–871.
    DOI: 10.1016/j.apal.2018.04.006, WOS000439538800001, Scopus: 2-s2.0-85046128737, ISTINA: 123276915. $ RFBR 17-01-00705, RSF 14-50-00150.
  190. F.S. Herzberg, V.G. Kanovei, M.G. Katz, V.A. Lyubetsky. Minimal axiomatic frameworks for definable hyperreals with transfer. Journal of Symbolic Logic, Mar 2018, Vol. 83, Iss. 1, P. 385–391.
    DOI: 10.1017/jsl.2017.48, WOS000431290300022, Scopus: 2-s2.0-85043588162, ISTINA: 88755476. $ RFBR 17-01-00705, RSF 14-50-00150.
  191. Sy-D. Friedman, V. Gitman, V.G. Kanovei. A model of second-order arithmetic satisfying AC but not DC. Journal of Mathematical Logic, 21 Sep 2018, Vol. 18, No. 2, ID 1850013, 39 pp.
    DOI: 10.1142/S0219061318500137, Scopus: 2-s2.0-85053776193. $ RFBR 17-01-00705.
  192. V.G. Kanovei, V.A. Lyubetsky. 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, WOS000427245900004, Scopus: 2-s2.0-85043703476, ISTINA: 88755057. $ RFBR 17-01-00705, RSF 14-50-00150. i,
  193. P. Blaszczyk, V.G. Kanovei, M.G. Katz, T. Nowik. Monotone subsequence via ultrapower. Open Mathematics, Mar 2 2018, Vol. 16, Iss. 1, P. 149–153.
    DOI: 10.1515/math-2018-0015, WOS000428396700002, Scopus: 2-s2.0-85043581249,
  194. T. Bascelli, P. Blaszczyk, V.G. Kanovei, K.U. Katz, M.G. Katz, S.S. Kutateladze, T. Nowik, D.M. Schaps, D. Sherry. Gregorys sixth operation. Foundations of Science, Mar 2018, Vol. 23, Iss. 1, P. 133–144.
    DOI: 10.1007/s10699-016-9512-9, WOS000426932100009, Scopus: 2-s2.0-85006833539, eLIBRARY: 29470196,
  195. T. Bascelli, P. Blaszczyk, A. Borovik, V.G. Kanovei, K.U. Katz, M.G. Katz, S.S. Kutateladze, T. McGaffey, D.M. Schaps, D. Sherry. Cauchys infinitesimals, his sum theorem, and foundational paradigms. Foundations of Science, Jun 2018, Vol. 23, Iss. 2, P. 267–296.
    DOI: 10.1007/s10699-017-9534-y, WOS000432736600008, Scopus: 2-s2.0-85021226787, eLIBRARY: 31031064. $ RFBR 17-01-00705.
  196. V.G. Kanovei, V.A. Lyubetsky. Countable OD sets of reals belong to the ground model. Archive for Mathematical Logic, May 2018, Vol. 57, Iss. 34, P. 285–298.
    DOI: 10.1007/s00153-017-0569-0, WOS000428317500005, Scopus: 2-s2.0-85021254314, eLIBRARY: 31038998, ISTINA: 87048552. $ RSF 14-50-00150, RFBR 17-01-00705.
  197. V.G. Kanovei, K.U. Katz, M.G. Katz, T. Mormann. What makes a theory of infinitesimals useful? A view by Klein and Fraenkel. Journal of Humanistic Mathematics, Jan 2018, Vol. 8, Iss. 1, P. 108–119.
    DOI: 10.5642/jhummath.201801.07, WOS000429301200006, i. $ RFBR 17-01-00705.
  198. V.G. Kanovei, V.A. Lyubetsky. Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy. Eprint, arXiv:1712.00769v3 [math.LO], 31 Jan 2018, i,
  199. V.G. Kanovei, K.U. Katz, M.G. Katz, T. Mormann. What makes a theory of infinitesimals useful? A view by Klein and Fraenkel. Eprint, arXiv:1802.01972 [math.HO], 1 Feb 2018, 10 pp., i,
  200. P. Blaszczyk, V.G. Kanovei, M.G. Katz, T. Nowik. Monotone subsequence via ultrapower. Eprint, arXiv:1803.00312 [math.CA], 1 Mar 2018, i,
  201. V.G. Kanovei, V.A. Lyubetsky. Canonization of smooth equivalence relations on infinite-dimensional perfect cubes. Eprint, arXiv:1804.05174 [math.LO], 14/23 Apr 2018, i,
  202. Sy-D. Friedman, V. Gitman, V.G. Kanovei. A model of second-order arithmetic satisfying AC but not DC. Eprint, arXiv:1808.04732 [math.LO], 14/15 Aug 2018, i,
  203. V.G. Kanovei, V.A. Lyubetsky. A countable definable set of reals containing no definable elements. Eprint, arXiv:1408.3901v2 [math.LO], 3 Sep 2018, i,
  204. V.G. Kanovei, V.A. Lyubetsky. On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level. Eprint, arXiv:1810.12542 [math.LO], 30 Oct 2018, i,
  205. V.G. Kanovei, V.A. Lyubetsky. On intermediate extensions of generic extensions by a random real. Eprint, arXiv:1811.10568 [math.LO], 26 Nov 2018, i,
  206. V.G. Kanovei. What can hold exactly on N-th projective level. Descriptive set theory conference, Lausanne, Switzerland, June 1822 2018, plenary report, i
  207. V.G. Kanovei. Canonization on product and iterated perfect and large perfect sets. Ramsey Theory in Logic, Combinatorics and Complexity, Bertinoro (Forli-Cesena), Italy, July 1520 2018, plenary report, i
  208. V.G. Kanovei, V.A. Lyubetsky. Definable minimal collapse functions at arbitrary projective levels. Journal of Symbolic Logic, Vol. 84, Iss. 1, Mar 2019, P. 266–289.
    DOI: 10.1017/jsl.2018.77, WOS000461193400011, Scopus: 2-s2.0-85062940536, ISTINA: 187639120. $ RFBR 03-01-00757, RSF 14-50-00150.
  209. V.G. Kanovei, V.A. Lyubetsky. Borel OD sets of reals are OD-Borel in some simple models. Proceedings of the American Mathematical Society, Mar 2019, Vol. 147, Iss. 3, P. 1277–1282.
    DOI: 10.1090/proc/14286, WOS000455239400032, Scopus: 2-s2.0-85065094740, ISTINA: 180632648. $ RFBR 17-01-00705, RSF 14-50-00150.
  210. V.G. Kanovei, V.A. Lyubetsky. Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy. Fundamenta mathematicae, 2019, Vol. 245, Iss. 2, P. 175–215.
    DOI: 10.4064/fm517-7-2018, WOS000459113000005, ISTINA: 180630026. $ RFBR 17-01-00705, 18-29-13037.
  211. V.G. Kanovei, V.A. Lyubetsky. Definable Elements of Definable Borel Sets. Mathematical Notes, 2019, Vol. 105, No. 5, P. 47–57.
    DOI: 10.1134/S0001434619050055, ISTINA: 192231151,
  212. V.G. Kanovei, V.A. Lyubetsky. The full basis theorem does not imply analytic wellordering. Annals of Pure and Applied Logic, 2019, submitted
  213. V.G. Kanovei, V.A. Lyubetsky. Factoring Solovay-random extensions, with application to the Reduction property. Monatshefte fur Mathematik, 2019, submitted
  214. No English citation is currently avaliable for this publication.
    .. , .. . Σ . , 2019, .
    $ 17-01-00705, 18-29-13037. ,
  215. V.G. Kanovei, R. Schindler. Definable Hamel bases and ACω(R). Fundamenta mathematicae, 2019, submitted
  216. V.G. Kanovei, V.A. Lyubetsky. Canonization of smooth equivalence relations on infinite-dimensional E0-large products. Notre Dame Journal of Formal Logic, 2019, accepted
  217. V.G. Kanovei, R. Schindler. Definable Hamel bases and ACω(R). Eprint, arXiv:1901.04750 [math.LO], 15 Jan 2019, i,

Last update: 2019-05-16

« back