|
|
 |
1991 year Authors: Kanovei V.The cardinality of the set of Vitali equivalence classes.
Math. Notes, 1991, 49, 4, pp. 370--374.
Go to publication |
|
1991 year Authors: Kanovei V.Undecidable hypotheses in Edward Nelson"s internal set theory.
Russian Math. Surveys,1991, 46: 6, pp. 1--54
Go to publication |
|
1991 year Authors: Lyubetsky V.“Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings”
Algebra and Logic,
1991, Vol. 30, No. 6, pp. 427–439.
Go to publication |
|
1991 year Authors: Lyubetsky V.“Intuitionistic theory of algebraic systems and heyting-valid analysis”
Algebra and Logic,
1991, Vol. 30, No. 3, pp. 208– 216.
Go to publication |
|
1990 year Authors: Kanovei V.Bounded sets in Edvard Nelson"s internal set theory.
Nonstandard analysis. 3rd USSR seminar. Saratov, 1990, pp. 15--23.
|
|
1990 year Authors: Lyubetsky V.“Model-completeness of a theory and evaluation of formulas”
Algebra and Logic,
1990, Vol. 29, No. 1, pp. 10–22.
Go to publication |
|
1989 year Authors: Kanovei V.On separability of external sets.
Mathematical conference dedicated to the memory of M. Ya. Suslin,
Saratov, 1989, pp. 38--45.
|
|
1989 year Authors: Lyubetsky V.“Valuations and sheaves. On some questions of non-standard analysis”
Russian Mathematical Surveys,
1989, Vol. 44, No. 4, pp. 37–113.
Go to publication |
|
1988 year Authors: Kanovei V.The correctness of Euler"s method for the factorization of the sine function into an infinite product.
Russian Math. Surveys, 1988, 43, 4, pp. 65--94.
Go to publication |
|
1988 year Authors: Kanovei V.Kolmogorov"s ideas in the theory of operations on sets.
Russian Math. Surveys, 1988, 43, 6, pp. 111--155.
Go to publication |
|
1988 year Authors: Kanovei V., Uspensky V.A.M.Ya.Souslin"s contribution to set-theoretic mathematics.
Moscow Univ. Math. Bull., 1988, 43, 5, pp. 29--40.
Go to publication |
|
1988 year Authors: Grishin V., Kanovei V.On work in descriptive set theory carried out at the Mathematical Institute of the Academy of Sciences.
Proc. Steklov Inst. Math., 1990, Issue 1, pp. 245--265.
Go to publication |
|
1988 year Authors: Lyubetsky V.“On some applications of Heyting-valued analysis II”
Article in the book COLOG-88, Lecture Notes in Computer Science, Vol. 417, Springer, 1990, P. 122–145, Proceedings of the International Conference on Computer Logic, Tallinn, USSR, December 12–16 1988
|
|
1987 year Authors: Kanovei V.N.N.Luzin"s problems on the existence of CA sets without perfect subsets.
Math. Notes, 1987, 41, pp. 422--426.
Go to publication |
|
1987 year Authors: Kanovei V.``Nonstandard"" construction of power series.
In: V. A. Uspensky, What is the nonstandard analysis, M.: Nauka, 1987, pp. 121--124.
|
|
1985 year Authors: Kanovei V.Some problems of descriptive set theory and type theory.
Abstract of D.Sc. thesis in physics and mathematics.
ÌÈÀÍ èì. Â.À.Ñòåêëîâà, 1985, 18 ñ.
Go to publication |
|
1985 year Authors: Kanovei V.Problem of the existence of nonborel AF_II sets.
Math. Notes, 1985, 37, pp. 156--161
Go to publication |
|
1985 year Authors: Kanovei V.Development of descriptive set theory under the influence of N.N.Luzin"s work.
Russian Math. Surveys, 1985, 40, 3, pp. 135--180.
Go to publication |
|
1985 year Authors: Kanovei V.The axiom of determinacy and the modern development of descriptive set theory.
J. Soviet Math., 1988, 40, 3, pp. 257--287.
Go to publication |
|
1984 year Authors: Uspensky V.A., Kanovei V.N.N. Luzin, an outstanding mathematician and teacher.
Vestnik Akademii Nauk SSSR, 1984, 11, pp. 95--102. (Russian.)
|
|
1984 year Authors: Kanovei V.Undecidable and decidable properties of constituents.
Math. USSR Sbornik, 1985, 52, 2, pp. 491--519.
Go to publication |
|
1984 year Authors: Kanovei V.The axiom of choice and the axiom of determinateness. Moscow, Nauka, 1984, 63 pp.
Monograph
Go to publication |
|
1983 year Authors: Kanovei V.Some problems of descriptive set theory and definability in the theory of types.
Studies in nonclassical logic and formal systems,
work collect.,
Moscow, 1983, pp. 21--81
|
|
1983 year Authors: Kanovei V.The structure of constituents of CA sets.
Siberian Math. J., 1983, 24, 2, pp. 198--215.
|
|
1983 year Authors: Kanovei V.Generalization of P.S.Novikov"s theorem on the crossections of Borel sets.
Math. Notes, 1983, 33, 2, pp. 144--146
Go to publication |
|
1983 year Authors: Kanovei V.An answer on N. N. Luzin"s question about the separability of CA curves.
Math. Notes, 1983, 33, 3, pp. 223--224.
Go to publication |
|
1983 year Authors: Kanovei V., Uspensky V.A.Luzin"s problems on constituents and their fate.
Moscow Univ. Math. Bull.
1983, 38, 6, pp. 86--102
Go to publication |
|
1982 year Authors: Kanovei V.On N.N. Luzin"s problems on the embeddability and decomposability of projective sets.
Math. Notes, 1982, 32, pp. 494--499.
Go to publication |
|
1982 year Authors: Kanovei V.Projective hierarchy of N.N. Luzin: the current state of the theory.
Appendix to the Russian translation of
Handbook of Mathematical Logic, part 2: Set Theory, Moscow, Nauka,1982,
pp. 273--364.
|
|
1981 year Authors: Kanovei V.On uncountable sequences of sets given by the sieve operation,
Soviet Math. Dokl., 1981, 23, 2, pp. 352--356.
Go to publication |
|
1981 year Authors: Kanovei V., Ostrovsky A.V.On non-Borel F_II sets,
Soviet Math. Dokl., 1981, 24, 2, pp. 386--389.
Go to publication |
|
1981 year Authors: Kanovei V.Theory of Zermelo without the power set axiom and the theory of Zermelo -- Fraenkel without the power set axiom are relatively
consistent,
Math. Notes, 1981, 30, 3, pp. 695--702.
Go to publication |
|
|
|
|
|
