ultrafilter

An ultrafilter on a set I is a collection of subsets of I that excludes the empty set, is closed under intersection, and satisfies the property that for any subset A, either A or its complement is in the collection. Essentially, an ultrafilter defines a notion of "large" subsets, where properties holding for members of the ultrafilter are considered true "almost everywhere".1

Ultrafilters are crucial in constructing ultraproducts and ultrapowers. An ultraproduct is formed from a family of mathematical structures indexed by a set I, using an ultrafilter D on I to define equivalence classes of sequences. If all structures in the family are identical, the result is an ultrapower.1

A key theorem states that a sentence is true in an ultraproduct if and only if it's true in the structures corresponding to the subsets within the ultrafilter D. This means if the individual structures are models of a theory, their ultraproduct is also a model. Ultraproducts are instrumental in model theory, providing tools for constructing new models and foundational insights for areas like nonstandard analysis and algebra.12