Nonstandard Methods In Functional Analysis: Lectures And Notes

In the early 1960s, by using techniques from the model theory of first-order logic, Robinson gave a rigorous formulation and extension of Leibniz'' infinitesimal calculus. Since then, the methodology has found applications in a wide spectrum of areas in mathematics, with particular success in the probability theory and functional analysis. In the latter, fruitful results were produced with Luxembu...