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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call