Abstract:Ultrafilters are very useful and versatile objects with applications throughout mathematics: in topology, analysis, combinarotics, model theory, and even theory of social choice. Proofs based on ultrafilters tend to be shorter and more elegant than their classical counterparts. In this thesis, we survey some of the most striking ways in which ultrafilters can be exploited in combinatorics and ergodic theory, with a brief mention of model theory. In the initial sections, we establish the basics of the theory of ultrafilters in the hope of keeping our exposition possibly self-contained, and then proceed to specific applications. Important combinatorial results we discuss are the theorems of Hindman, van der Waerden and Hales-Jewett. Each of them asserts essentially that in a finite partition of, respectively, the natural numbers or words over a finite alphabet, one cell much of the combinatorial structure. We next turn to results in ergodic theory, which rely strongly on combinatorial preliminaries. They assert essentially that certain sets of return times are combinatorially rich. We finish by presenting the ultrafilter proof of the famous Arrow's Impossibility Theorem and the construction of the ultraproduct in model theory.

Ultrafilter extensions of bounded graphs are elementary

COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES

Some simple theories from a Boolean algebra point of view

Exponentiations of ultrafilters

Constructing Ultrapowers from Elementary Extensions of Full Clones

Some Recent Perspectives on Filtration

A simple algebraic characterization of nonstandard extensions

Ultrafilters in Reverse Mathematics

Elementary submodels in infinite combinatorics

Formalization of the Filter Extension Principle (FEP) in Coq

Modern Faces of Filtration

Model Theory of Ultrafinitism II: Deconstructing the Term Model (First Draft)

Exploring two concepts: branch decomposition and weak ultrafilter on connectivity system

On blended extensions in filtered tannakian categories and motives with maximal unipotent radicals

Ultraproducts in abstract categorical logic

Ultrafilters, Transversals, and the Hat Game

Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics

Cofinal types of ultrafilters over measurable cardinals

Applications of Ultrafilters in Ergodic Theory and Combinatorial Number Theory

A few special ordinal ultrafilters

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis