A nonstandard set theory in the e-language. Archive for Math. Logic, 2000, 39, 4, pp. 403--416.
Go to publication

On Ulam"s problem of stability of non-exact homomorphisms. Proc. Moscow Steklov Inst. Math., 2000, 231, pp. 238--270.
Go to publication

New Radon-Nikodym ideals. Mathematika, 2000, 47, no. 1--2, pp. 219--227.
Go to publication

Non-wellfounded iterations of perfect set forcing. J. Symbolic Logic, 1999, 64, 2, pp. 551--574.
Go to publication

A nonstandard proof of the Jordan curve theorem. Real Analysis Exchange, 1999, 24, 1, pp. 161--170.
Go to publication

Special model axiom in nonstandard set theory. Math. Logic Quarterly, 1999, 45, 3, pp. 371--384
Go to publication

Extension of standard models of ZFC to models of nonstandard Nelson"s set theory IST. Math. Notes, 1999, 66, 2, pp. 160--166.
Go to publication

When a partial Borel order is Borel linearizable. Fundamenta Mathematicae, 1998, 155, 3, pp. 301--309.
Go to publication

Elementary extensions of external classes in a nonstandard universe. Studia Logica, 1998, 60, 2, pp. 253--273.
Go to publication

Pyramidal structure of constructibility degrees. Math. Notes, 1998, 63, 4, pp. 556--559.
Go to publication

Ulm classification of analytic equivalence relations in generic universes. Math. Logic Quarterly, 1998, 44, 3, pp. 287--303.
Go to publication

On ``star"" schemata of Kossak and Paris, Logic Colloquium "96, Lecture Notes in Logic 12, Springer, 1998, pp. 101--114.
Go to publication

Mathematics in a nonstandard world, I. Math. Japonica, 1997, vol. 45, 2, pp. 369--408.
Go to publication

Mathematics in a nonstandard world, II. Math. Japonica, 1997, vol. 45, 3, pp. 555--571.
Go to publication

Non--Glimm--Effros equivalence relations at second projective level. Fundamenta Mathematicae, 1997, 154, 1, pp. 1--35.
Go to publication

On a Spector ultrapower of Solovay model. Math. Logic Quarterly, 1997, 43, 2, pp. 389--395.
Go to publication

Two dichotomy theorems on colourability of non-analytic graphs. Fundamenta Mathematicae, 1997, 154, 2, pp. 183--201.
Go to publication

Isomorphism property in nonstandard extensions of the ZFC universe. Annals of Pure and Applied Logic, 1997, 88, pp. 1--25.
Go to publication

An Ulm--type classification theorem for equivalence relations in Solovay model. J. Symbolic Logic, 1997, 62, 4, pp. 1333--1351.
Go to publication

Loeb measure from the point of view of coin flipping game. Math. Logic Quarterly, 1996, 42, 1, pp. 19--26.
Go to publication

Internal approach to external sets and universes. 3. Partially saturated universes. Studia Logica, 1996, 56, 3, pp. 293--322.
Go to publication

On external Scott algebras in nonstandard models of Peano arithmetic. J. Symbolic Logic, 1996, 61, 2, pp. 586--608.
Go to publication

Summation of divergent series from the nonstandard point of view. Real Analysis Exchange, 1996, 21, 2, pp. 453--477.
Go to publication

Topologies generated by effectively Suslin sets and their applications in descriptive set theory. Russian Math. Surveys, 1996, 51, No.3, pp. 385--417.
Go to publication

Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic. J. Symbolic Logic, 1995, 60, 1, pp. 318--324.
Go to publication

Internal approach to external sets and universes. 1. Bounded set theory. Studia Logica, 1995, 55, 2, pp. 229--257.
Go to publication

Internal approach to external sets and universes. 2. External universes over the BST universe. Studia Logica, 1995, 55, 3, pp. 347--376.
Go to publication

A course on Foundations of Nonstandard Analysis, IPM Lecture Notes Series 1, 1994, 149 pp. Monograph
Go to publication

On the extension principle in internal set theory. Siberian Math. J., 1992, 33, 6, pp. 999--1010.
Go to publication

The cardinality of the set of Vitali equivalence classes. Math. Notes, 1991, 49, 4, pp. 370--374.
Go to publication

Undecidable hypotheses in Edward Nelson"s internal set theory. Russian Math. Surveys,1991, 46: 6, pp. 1--54
Go to publication

Bounded sets in Edvard Nelson"s internal set theory. Nonstandard analysis. 3rd USSR seminar. Saratov, 1990, pp. 15--23.

On separability of external sets. Mathematical conference dedicated to the memory of M. Ya. Suslin, Saratov, 1989, pp. 38--45.

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

Kolmogorov"s ideas in the theory of operations on sets. Russian Math. Surveys, 1988, 43, 6, pp. 111--155.
Go to publication

M.Ya.Souslin"s contribution to set-theoretic mathematics. Moscow Univ. Math. Bull., 1988, 43, 5, pp. 29--40.
Go to publication

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

N.N.Luzin"s problems on the existence of CA sets without perfect subsets. Math. Notes, 1987, 41, pp. 422--426.
Go to publication

``Nonstandard"" construction of power series. In: V. A. Uspensky, What is the nonstandard analysis, M.: Nauka, 1987, pp. 121--124.

Some problems of descriptive set theory and type theory. Abstract of D.Sc. thesis in physics and mathematics. МИАН им. В.А.Стеклова, 1985, 18 с.
Go to publication

Problem of the existence of nonborel AF_II sets. Math. Notes, 1985, 37, pp. 156--161
Go to publication

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

The axiom of determinacy and the modern development of descriptive set theory. J. Soviet Math., 1988, 40, 3, pp. 257--287.
Go to publication

N.N. Luzin, an outstanding mathematician and teacher. Vestnik Akademii Nauk SSSR, 1984, 11, pp. 95--102. (Russian.)

Undecidable and decidable properties of constituents. Math. USSR Sbornik, 1985, 52, 2, pp. 491--519.
Go to publication

The axiom of choice and the axiom of determinateness. Moscow, Nauka, 1984, 63 pp. Monograph
Go to publication

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

The structure of constituents of CA sets. Siberian Math. J., 1983, 24, 2, pp. 198--215.

Generalization of P.S.Novikov"s theorem on the crossections of Borel sets. Math. Notes, 1983, 33, 2, pp. 144--146
Go to publication