Ultraproducts and Related Constructions

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.

Keywords

• ultrafilter
• ultraproduct
• first order logic
• second order logic
• finite Ramsey theory
• ultraproducts in general topology