Nonstandard methods in geometric functional analysis

References (70)

1. Theorem. (l) A standard set is the lowering of a compact space if and only if each of its essential points is near-standard.
2. A standard set is the lowering of a totally bounded space if and only if each of its essential points is pre-near-standard. RnrnnrNcns
3. G. P. Akilov, E. V. Kolesnikov, and A. G. Kusraev, On the order-continuous extension of a positive operator, Sibirsk. Mat. Zh. 29 ( 1988), no. 5, 24-35; English transl. in Siberian Math. J.29 (1988), no. 5.
4. K. I. Beidar and A. V. Mikhalev, Orthogonal completeness and algebraic systems, Uspekhi Mat. Nauk 40 (1985), no. 6, 79-l15; English transl. in Russian Math. Surveys 40 (1985), no. 6.
5. P. Vopenka, Mathematics in the Alternative Set Theory, Teubner, Leipzig, 1979.
6. B. Z. Vulikh, Introduction to the theory of partially ordered spaces, Fizmatgiz, Moscow, l96l; English transl. Noordhoof, Groningen, 1967.
7. R. Goldblatt, Topoi: The Categorial Analysis of Logic, North-Holland, Amsterdam, 1979.
8. E. I. Gordon, Real numbers in Boolean-valued models of set theory and K-spaces, Dokl.
9. Akad. Nauk SSSR 237 (1977), no. 4, 773-775 English transl. in Soviet Math. Dokl. l8 (1977).
10. -, K-spaces in Boolean-valued models of the theory of sets, Dokl. Akad. Nauk SSSR 258 (1981), no. 4, 777-780; English transl. in Soviet Math. Dokl. 23 (1981).
11. -, On theorems on the presemation of relations in K-spaces, Sibirsk. Mat. Zh. 23
12. no. 3, 55-65; English transl. in Siberian Math. J.23 (1982), no. 3 (1983).
13. -, Nonstandardfinite-dimensional analogs of operators in t,r(R'), Sibirsk. Mat. Zh. 29 (1988), no.2, 45-59; English transl. in Siberian Math. J.29 (1988), no. 2. 10. -, Relatively standard elements in E. Nelson's internal set theory, Sibirsk Mat. Zh. 30 (1989), no. l, 89-95; English transl. in Siberian Math. J.30 (1989), no. 1. ll. E. I. Gordon and V. A. Lyubetskii, Some applications of nonstandard analysis in the theory of Boolean-valued measures, Dokl. Akad. Nauk SSSR 256 (l9Sl), no. 5, 1037-1041;
14. English transl. in Soviet Math. Dokl. 23 (1981).
15. A. K. Zvonkin and M. A. Shubin, Nonstandard analysis and singular perturbations of ordinary diferential equations, Uspekhi Mat. Nauk 39 (1984), no.2,77-127; English transl. in Russian Math. Surveys 39 (1984), no. 2.
16. M. Davis, Applied Nonstandard Analysis, Wiley-Interscience, New York, 1977.
17. T. Jech, Lectures in Set Theory with Particular Emphasis on Forcing, Springer, Berlin, 197 t. 15. V. G. Kanovei, Correctness of the Euler method of decomposing the sine function into an infinite product, Uspekhi Mat. Nauk 43 (1988), no.4, 57-81; English transl. in Russian Math. Surveys 43 (1988), no. 4.
18. L. V. Kantorovich, Toward a general theory of operations in semiordered spaces, Dokl. Akad. Nauk SSSR f ( 1936), no. 7 , 27 l-27
19. Russian)
20. -, On a class of functional equations, Dokl. Akad. Nauk SSSR 4 (1936), no. 45, 2Il- 216. (Russian)
21. L. V. Kantorovich and G. P. Akilov, Functional Analysis, "Nauka", Moscow, 1977; En- glish transl., Pergamon Press, Oxford-New York, 1982.
22. L. V. Kantorovich, B. Z. Vulikh, and A. G. Pinsker, Functional analysis in partially ordered spaces, GITTL, Moscow, 1950. (Russian)
23. P. J. Cohen, Set Theory and the Continuum Hypothesis, Benjamin, New York, 1966.
24. A. G. Kusraev, Some categories and functors of Boolean-valued analysis, Dokl. Akad.
25. Nauk SSSR 271 (1983), no. l, 281-284; English transl. in Soviet Math. Dokl. 28 (1983).
26. -, Order-continuous functionals in Boolean-valued models of set theory, Sibirsk Mat.
27. 25 (1984), no. 1, 69-79; English transl. in Siberian Math. J.25 (1984), no. 1. 23. -, Banach-Kantorovich spaces, Sibirsk Mat.2h.26 (1985), no.2, 119-126; English transl. in Siberian Math. J.26 (1985), no. 2.
28. -, Vector Duality and its Applications, "Nauka", Novosibirsk, 1985. (Russian)
29. -, Boolean-valued models and ordered algebraic systems, in: Eighth All-Union Con- ference on Mathematical Logrc. Abstracts of Lectures, Moscow, 1986, 99. (Russian) 26. -, Linear operators in lattice ordered spaces, in: Studies in Geometry in the Large and Mathematical Analysis, "Nauka", Novosibirsk, I 987, 84-123. (Russian)
30. A. G. Kusraev and S. S. Kutateladze, Analysis of subdffirentials by means of Boolean valued models, Dokl. Akad. Nauk, SSSR 265 (1982), no. 5, 1061-1064; English transl. in Soviet Math. Dokl. 26 (198211983).
31. -, Subdffirential Calculu.s, "Nauka", Novosibirsk, 1987. (Russian)
32. A. G. Kusraev and S. A. Malyugin, Atomic decomposition of vector measureg Sibirsk Mat. 2h.30 (1989), no. 5, 101-110; English transl. in Siberian Math. J.30 (1989), no. 5.
33. A. G. Kusraev and V. Z. Strizhevskll, Lattice normed spaces and majorized operators, Studies in Geometry and Analysis, "Nauka", Novosibirsk, 1986, 56-102. (Russian)
34. S. S. Kutateladze, Descents and Ascents, Dokl. Akad. Nauk SSSR 272 (1983), no. 3, 521-524; English transl. in Soviet Math. Dokl. 28 (1983).
35. -, Infinitesimal tangent cones, Sibirsk. Mat.2h.26 (1985), no. 6, 67-76; English transl. in Siberian Math. J.26 (1985), no. 6.
36. -, Nonstandard methods in subdffirential calculus, Partial Differential Equations, "Nauka", Novosibirsk, 1986, pp. 116-120. (Russian) 35. -, Cyclic monads and their applications, Sibirsk Mat. Zh. 27 (1986), no. l, 100-l l0; English transl. in Siberian Math. J.27 (1986), no. l. 36. -, A variant of nonstandard convex programming Sibirsk Mat.2h.27 (1986), no. 4, 84-92;
37. English transl. in Siberian Math. J.27 (1986), no. 4. 37. -, Directions of nonstandard analysis, Trudy Inst. Mat. (Novosibirsk) 14 (1989), 153- 182. (Russian)
38. -, Monads of pro-ultrafilters and of extensional filters, Sibirsk Mat.2h.30 (1989), no.
39. I,129-132; English transl. in Siberian Math. J. 30 (1989), no. l. 39. -, Components of positive operators, Sibirsk Mat.2h.30 (1989), no. 5, lll-119;
40. English transl. in Siberian Math. J. 30 (1989), no. 5.
41. V. A. Lyubetskii and E. I. Gordon, Boolean extensions of uniform structures, Studies in Nonclassical Logics and Formal Systems, "Nauka", Moscow, 1983, pp. 82-153. (Russian)
42. V. A. Lyubetskil, On some algebraic questions of nonstandard analysis, Dokl. Akad. Nauk SSSR 280 (1985), no. 1,38-41; English transl. in Soviet Math. Dokl.3f (1985).
43. S. Albeverio, R. Hoegh-Krohn, J. E. Fenstad, and T. Lindstrom, Nonstandard Methods in Stochastic Analysis and Mathematical Physics, Academic Press, Orlando, FL, 1986.
44. W. A. J. Luxemburg (ed.), Applications of Model Theory to Algebra, Analysis and Proba- bility, Holt, Rinehart and Winston, New York, 1969.
45. J. L. Bell, Boolean Valued Models and Independence Proofs in Set Theory, Clarendon Press, Oxford, 1979.
46. B. Benninghofen and M. M. Richter, A general theory of superinfinitesimals, Fund. Math. 128 (1987), no. 3, 199-215.
47. C. Cristiant, Der Beitrag Gridels frir die Rechfertigang der Leibnizschen ldee von der In- finitesimalen, Osterreich. Akad. Wiss. Math. Nachr. f92 (1983), nos. 1-3,25-43.
48. W. Henson and J. Keisler, On the strength of nonstandard analysis, J. Symbolic Logic 51 (1986), no.2,377-386.
49. R. B. Holmes, Geometric Functional Analysis and its Applications, Springer, Berlin-New York, 1975.
50. K. Hrbacek, Nonstandard set theory, Amer. Math. Monthly 86 (1979), no. 8, 659-677.
51. T. Jech, Abstract theory of abelian operator algebras: An application of forcing, Trans. Amer. Math. Soc. 289 (1985), no. 1, 133-162.
52. -, First order theory of complete Stonean algebras, Canad. Math. Bull. 30 (1987), no. 4,385-392.
53. I. Kaplansky, Modules over operator algebras, Amer. J. Math. 75 (1953), no. 4, 839-858.
54. T. Kawai, Axiom systems of nonstandard set theory, Logic Symposia, Hakone, 1979, 1980, Springer, Berlin-New York, 1981, pp. 57-65.
55. A. G. Kusraev, Boolean valued convex analysis, Mathematische Optimierung. Theorie und Anwendungen, Wartburg/Eisenach, 1983, pp. 106-109.
56. W. A. J. Luxemburg and A. C. Zaanen, Riesz Spaces, vol. l, North-Holland, Amsterdam- London, 1971.
57. D. Maharam, On kernel representation of linear operators, Trans. Amer. Math. Soc. 70 (1955), no. l, 229-255.
58. E. Nelson, Radically Elementary Probability Theory, Princeton University Press, Prince- ton, N.J., 1987. 58. -, The syntax of nonstandard analysis, Ann. Pure Appl. Logic 38 (1988), no.2,123- r34.
59. M. Ozawa, A classffication of type I AW* -algebras and Boolean valued analysis, J. Math. Soc. Japan 36 (1984), no. 4, 589-608.
60. -, A transfer principle from von Neumann algebras to AW* -algebras, J . London Math. Soc. (2) 32 (1985), no. l, l4l-148.
61. -, Boolean valued approach to the trace problem of AW" -algebra.s, J. London Math. Soc. (2) 33 (1986), no.2,347-354.
62. -, Embeddable AW'-algebras and regular completions, J. London Math. Soc. (2) 34 (1986), no. 3, 5l l-523.
63. A. Robinson, Non-standard Analysis, North-Holland, Amsterdam-London, 1970.
64. R. Solovay and S. Tennenbaum, Iterated Cohen extensions and Souslin's problem, Ann. of Math. 94 (1972), no.2,201-245.
65. G. Takeuti, Two Applications of Logic to Mathematics,Ivanami & Princeton University Press, Tokyo-Princeton, N.J., I 978.
66. -, Von Neumann algebras and Boolean vahted analysis, J. Math. Soc. Japan 35 ( 1983), no. l. l-21.
67. -, C* -algebras and Boolean valued analysis, Japan J. Math. 9 (1983), no.2,207-246.
68. G. Takeuti and W. M. Zaing, Axiomatic Set Theory, Springer, New York, 1973.
69. D. Tall, The calculus of Leibniz-an alternative modern approach, Math. Intelligencer 2 (1979180), no. 1, 54.
70. A. Z. Zaanen, Riesz Spaces, Vol. II, North-Holland, Amsterdam, 1983. Translated bv D. LOUVISH