RUS  ENG
Full version
JOURNALS // Uspekhi Matematicheskikh Nauk
Uspekhi Mat. Nauk, 1991, Volume 46, Issue 6(282), Pages 3–50 (Mi rm4674)
Undecidable hypotheses in Edward Nelson's internal set theory
V. G. Kanovei

References
1. Albeverio S. i dr., Nestandartnye metody v stokhasticheskom analize i matematicheskoi fizike, Nauka, M., 1990, 616 pp.  mathscinet
2. Vopenka P., Matematika v alternativnoi teorii mnozhestv, Mir, M., 1983, 150 pp.  mathscinet
3. Gordon E. I., “Otnositelno standartnye elementy v teorii vnutrennikh mnozhestv E. Nelsona”, Sib. mat. zh., 30:1 (1989), 89–95  mathnet  mathscinet  zmath
4. Devis M., Prikladnoi nestandartnyi analiz, Mir, M., 1980, 236 pp.  mathscinet
5. Zvonkin A. K., Shubin M. A., “Nestandartnyi analiz i singulyarnye vozmuscheniya obyknovennykh differentsialnykh uravnenii”, Uspekhi mat. nauk, 39:2 (1984), 77–127  mathnet  mathscinet  zmath
6. Iekh T., Teoriya mnozhestv i metod forsinga, Mir, M., 1973, 148 pp.  mathscinet
7. Kanovei V. G., “O korrektnosti eilerova metoda razlozheniya sinusa na mnozhiteli”, Uspekhi mat. nauk, 43:4 (1988), 57–82  mathnet  mathscinet
8. Kanovei V. G., “Teoretiko-mnozhestvennaya nepolnota teorii vnutrennikh mnozhestv Edvarda Nelsona”, Desyataya Vsesoyuznaya konferentsiya po matematicheskoi logike, Alma-Ata, 1990, 75
9. Kanovei V. G., “Ogranichennye mnozhestva v teorii vnutrennikh mnozhestv Edvarda Nelsona”, Nestandartnyi analiz, Tretii Vsesoyuznyi seminar. Tezisy dokladov (Saratov, oktyabr 1990 god), Saratov, 1990, 15–23
10. Keisler G., Chen Ch., Teoriya modelei, Mir, M., 1977, 614 pp.  mathscinet
11. Kelli Dzh., Obschaya topologiya, Nauka, M., 1968, 383 pp.
12. Kusraev A. G., Kutateladze S. S., Nestandartnye metody analiza, Nauka, Novosibirsk, 1990, 346 pp.  mathscinet
13. Lyubetskii V. A., “Otsenki i puchki. O nekotorykh voprosakh nestandartnogo analiza”, Uspekhi mat. nauk, 44:4 (1989), 99–153  mathnet  mathscinet
14. Makkai M., “Dopustimye mnozhestva i beskonechnaya logika”, Spravochnaya kniga po matematicheskoi logike. Chast I. Teoriya modelei, Nauka, M., 1982, 235–288
15. Nauchnye matematicheskie chteniya pamyati M. Ya. Suslina, Pervaya vserossiiskaya shkola po osnovaniyam matematiki i teorii funktsii. Tezisy dokladov (Saratov, 16–21 oktyabrya 1979 g.), Saratov, 1989, 122 pp.  mathscinet
16. Nestandartnyi analiz, Tretii Vsesoyuznyi seminar. Tezisy dokladov (Saratov, oktyabr, 1990 god), Saratov, 1990, 46 pp.
17. Robinson A., Vvedenie v teoriyu modelei i matematiku algebry, Nauka, M., 1976, 376 pp.  mathscinet
18. Uspenskii V. A., Chto takoe nestandartnyi analiz?, Nauka, M., 1987, 128 pp.  mathscinet
19. van den Berg I., Nonstandard Asymptotic Analysis, Lecture Notes in Math., 1249, Springer, Berlin, 1987  mathscinet  zmath
20. Diener F., Stroyan K. D., “Syntactical methods in infinitesimal analysis”, Nonstandard Analysis and its Applications, London Math. Soc. Student Texts, 10, ed. N. Cutland, Cambridge Univ. Press, 1988, 258–281  mathscinet
21. Diener F., Diener M., “Some asymptotic results in ordinary differential equations”, Nonstandard Analysis and its Applications, London Math. Soc. Student Texts, 10, ed. N. Cutland, Cambridge Univ. Press, 1988, 282–297  mathscinet
22. Henson C. W., Keisler H. G., “The strength of nonstandard analysis”, J. Symbol. Log., 51:2 (1986), 377–386  crossref  mathscinet  zmath
23. Hrbaček K., “Axiomatic foundations for nonstandard analysis”, Fundamental Math., 98:1 (1978), 1–19  mathscinet  zmath
24. Hrbaček K., “Nonstandard set theory”, Amer. Math. Monthly, 86:8 (1979), 659–677  crossref  mathscinet  zmath
25. Jansana R., “On the mathematical content of the theory of classes KM”, Zeitschr. für math. Log. und Grundl. Math., 35:7 (1989), 399–412  crossref  mathscinet  zmath
26. Kawaï T., “Axiom systems for nonstandard set theory”, Logic Symposia Hakone 1979, 1980, Lecture Notes in Math., 891, Springer, Berlin, 1981, 57–65  mathscinet
27. Kawaï T., “Nonstandard analysis by axiomatic methods”, Southeast Asia Conference on Logic (Singapore, 1981), Studies in Logic and Foundations of Math., 111, North Holland, Amsterdam, 1983, 55–76  mathscinet
28. Lindstrøm T., “An invitation to nonstandard analysis”, Nonstandard Analysis and its Applications, London Math. Soc. Student Texts, 10, ed. N. Cutland, Cambridge Univ. Press, 1988, 1–105  mathscinet
29. Loos O., “A non-standard approach to the Lebesque integral”, Mathématiques finitaires et analyse non standard, Journées S. M. F. Luminy Mai, Paris, 1985, 27–35  mathscinet
30. Lutz R., Gose M., Nonstandard Analysis: a Practical Guide with Applications, Lecture Notes in Math., 881, Springer, Berlin, 1981  mathscinet  zmath
31. Nelson E., “Internal set theory: a new approach to nonstandard analysis”, Bull. Amer. Math. Soc., 83:6 (1977), 1165–1198  crossref  mathscinet  zmath
32. Nelson E., “The syntax of nonstandard analysis”, Ann. Pure and Applied Logic, 38:2 (1988), 123–134  crossref  mathscinet  zmath
33. Robert A., Non-Standard Analysis, Wiley, N. Y., 1988
34. Robinson A., Non-Standard Analysis, North Holland, Amsterdam, 1966  mathscinet  zmath
35. Ross D., “The special model axiom in nonstandard analysis”, J. Symbol. Log., 55:3 (1990), 1233–1242  crossref  mathscinet  zmath

© Steklov Math. Inst. of RAS, 2026