Abstract
In this work, we survey some research directions in which the ultraproduct construction and methods based on ultrafilters play significant roles. Rather different areas of mathematics have been considered: topics we are reviewing here include some aspects of the model theory of first-order and second-order existential logics, finite Ramsey theory and general topology. Special emphasis has been made for producing a uniform treatment and for highlighting interconnections between these different subjects.
Funder
Hungarian National Foundation for Scientific Research
Subject
General Mathematics,Engineering (miscellaneous),Computer Science (miscellaneous)
Reference51 articles.
1. Goldbring, I. (2022). Ultrafilters throughout Mathematics, American Mathematical Society. Graduate Studies in Mathematics.
2. Chang, C.C., and Keisler, H.J. (1990). Model Theory, Elsevier.
3. Keisler, H.J., Körner, S., Luxemburg, W.A.J., and Young, A.D. (1979). Selected Papers of Abraham Robinson, Elsevier.
4. Ng, S.-A. (2010). Nonstandard Methods in Functional Analysis: Lectures and Notes, World Scientific Publishing Co.
5. Hrbacek, K., Lessmann, O., and O’Donovan, R. (2014). Analysis with Ultrasmall Numbers, CRC Press. Volume 17 of Textbooks in Mathematics.