|
|
 |
1998 year Authors: Kanovei V.When a partial Borel order is Borel linearizable.
Fundamenta Mathematicae, 1998, 155, 3, pp. 301--309.
Go to publication |
|
1998 year Authors: Kanovei V., Reeken M.Elementary extensions of external classes in a nonstandard universe.
Studia Logica, 1998, 60, 2, pp. 253--273.
Go to publication |
|
1998 year Authors: Kanovei V., Zapletal J.Pyramidal structure of constructibility degrees.
Math. Notes, 1998, 63, 4, pp. 556--559.
Go to publication |
|
1998 year Authors: Kanovei V.Ulm classification of analytic equivalence relations in generic universes.
Math. Logic Quarterly, 1998, 44, 3, pp. 287--303.
Go to publication |
|
1998 year Authors: Kanovei V.On ``star"" schemata of Kossak and Paris,
Logic Colloquium "96,
Lecture Notes in Logic 12, Springer, 1998, pp. 101--114.
Go to publication |
|
1998 year Authors: Karnaukhov V., Miller B., Rubanov L., Merzlyakov N.S.Digital archives of manuscripts and photo-documents: technology and experience. // Proc. of International Conference EVA’98, Moscow 1 5 December 1998, STG, M., 1998, pp.5/1/1–5/1/9.
|
|
1998 year Authors: Karnaukhov V., Merzlyakov N.S., Rubanov L.Image processing and storage in digital archives of manuscripts and photo-documents. // Proc. of 5-th Open German-Russian Workshop on Pattern Recognition and Image Understanding (21-25 September 1998, Herrshing, Germany). Sankt Augustin: Infix, 1999. p.176-183.
|
|
1997 year Authors: Kanovei V., Reeken M.Mathematics in a nonstandard world, I.
Math. Japonica, 1997, vol. 45, 2, pp. 369--408.
Go to publication |
|
1997 year Authors: Kanovei V., Reeken M.Mathematics in a nonstandard world, II.
Math. Japonica, 1997, vol. 45, 3, pp. 555--571.
Go to publication |
|
1997 year Authors: Kanovei V.Non--Glimm--Effros equivalence relations at second projective level.
Fundamenta Mathematicae, 1997, 154, 1, pp. 1--35.
Go to publication |
|
1997 year Authors: Kanovei V., van Lambalgen M.On a Spector ultrapower of Solovay model.
Math. Logic Quarterly, 1997, 43, 2, pp. 389--395.
Go to publication |
|
1997 year Authors: Kanovei V.Two dichotomy theorems on colourability of non-analytic graphs.
Fundamenta Mathematicae, 1997, 154, 2, pp. 183--201.
Go to publication |
|
1997 year Authors: Kanovei V., Reeken M.Isomorphism property in nonstandard extensions of the ZFC universe.
Annals of Pure and Applied Logic, 1997, 88, pp. 1--25.
Go to publication |
|
1997 year Authors: Kanovei V.An Ulm--type classification theorem for equivalence relations in Solovay model.
J. Symbolic Logic, 1997, 62, 4, pp. 1333--1351.
Go to publication |
|
1997 year Authors: Lyubetsky V.“Transfer theorems and the algebra of modal operators”
Algebra and Logic,
1997, Vol. 36, No. 3, pp. 169–181.
Go to publication |
|
1996 year Authors: Kanovei V., Reeken M.Loeb measure from the point of view of coin flipping game.
Math. Logic Quarterly, 1996, 42, 1, pp. 19--26.
Go to publication |
|
1996 year Authors: Kanovei V., Reeken M.Internal approach to external sets and universes. 3. Partially saturated universes.
Studia Logica, 1996, 56, 3, pp. 293--322.
Go to publication |
|
1996 year Authors: Kanovei V.On external Scott algebras in nonstandard models of Peano arithmetic.
J. Symbolic Logic, 1996, 61, 2, pp. 586--608.
Go to publication |
|
1996 year Authors: Kanovei V., Reeken M.Summation of divergent series from the nonstandard point of view.
Real Analysis Exchange, 1996, 21, 2, pp. 453--477.
Go to publication |
|
1996 year Authors: Kanovei V.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 |
|
1996 year Authors: Lyubetsky V.“On Some Applications of the Semantic Evaluation Method” Problems of Information Transmission, 1996, 32:3, pp. 290–302.
Go to publication |
|
1995 year Authors: Kanovei V.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 |
|
1995 year Authors: Kanovei V., Reeken M.Internal approach to external sets and universes. 1. Bounded set theory.
Studia Logica, 1995, 55, 2, pp. 229--257.
Go to publication |
|
1995 year Authors: Kanovei V., Reeken M.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 |
|
1994 year Authors: Kanovei V.A course on Foundations of Nonstandard Analysis,
IPM Lecture Notes Series 1, 1994, 149 pp. Monograph
Go to publication |
|
1993 year Authors: Lyubetsky V.“On One Approach to Modelling Intelligent Systems” Problems of Information Transmission, 1993, 29:3, pp. 295–297.
Go to publication |
|
1992 year Authors: Kanovei V.On the extension principle in internal set theory.
Siberian Math. J., 1992, 33, 6, pp. 999--1010.
Go to publication |
|
1992 year Authors: Lyubetsky V.“Heyting-Valued Analysis: P. S. Novikov’s Hypotheses”
Contemporary Mathematics,
1993, V. 131, Pt. 3, PP. 565–583.
|
|
|
|
|
|
