If one wants to present the methods of nonstandard analysis in their full generality and with full rigor, then notions and tools from mathematical logic such as “first-order formula” or “elementary extension” are definitely needed. However, we believe that a gentle introduction to the basics of nonstandard methods and their use in combinatorics does not directly require any technical machinery from logic. Only at a later stage, when advanced nonstandard techniques are applied and their use must be put on firm foundations, detailed knowledge of notions from logic will be necessary.
CITATION STYLE
Nasso, M. D., Goldbring, I., & Lupini, M. (2019). Nonstandard analysis. In Lecture Notes in Mathematics (Vol. 2239, pp. 11–43). Springer Verlag. https://doi.org/10.1007/978-3-030-17956-4_2
Mendeley helps you to discover research relevant for your work.