|
|
 |
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.
|
|
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 |
|
|
|
|
|
