Palestrante: Pedro Vaz Pimenta
The second part of this talk consists on a quick study of a special class of models constructed via ultraproducts in which the Transference Principle holds. This construction will give us the basis for a formalization of the infinitesimal calculus and properties related to ultra-filter spaces.
References:
Kanoveĭ, V. G., and Michael Reeken. Nonstandard Analysis, Axiomatically. Berlin: Springer, 2004. Print.
Loeb, Peter A., and Manfred Wolff P. H. Nonstandard Analysis for the Working Mathematician. Second ed. Dordrecht: Kluwer Academic, 2015. Print.