On topological properties of ultraproducts of finite sets

Gabor Sagi, Saharon Shelah

Motivated by the model theory of higher order logics, a certain kind of topological spaces had been introduced on ultraproducts. These spaces are called ultratopologies. Ultratopol…