An ultrapower of a structure M by an ultrafilter U on an index set I is the ultraproduct of the constant family (M)_{i∈I} modulo U; elements are equivalence classes of sequences in M, and Łoś's theorem makes the ultrapower an elementary extension of M under nonprincipal ultrafilters.

Principle

Use an ultrafilter to identify sequences that agree on a U-large set, thereby collapsing infinitary coordinate information into first-order-equivalent elements; first-order formulas transfer from factors to the ultraproduct by Łoś's theorem.

Demonstration

Take M = (N,+,·) and a nonprincipal ultrafilter on N: the ultrapower ∏_U M contains classes represented by sequences that grow without bound and so yields a nonstandard model of arithmetic with infinite integers and infinitesimals relative to the standard copy of N.

Misapplication

Treating an ultrapower as canonical without specifying the ultrafilter, or assuming cardinality is preserved; using a principal ultrafilter is trivial (ultrapower ≅ M) and ignores the intended construction with nonprincipal ultrafilters.

Consequence

An ultrapower often produces an elementary extension of the original structure, can be highly saturated depending on U and |I|, and is a primary tool for building nonstandard models and transferring type-realization properties.

Reversal

Forming the direct product (without quotiening by an ultrafilter) or taking ultraproducts of varying factors reverses the method: coordinates remain distinct and Łoś-transfer of first-order truth may fail in the same elementary-extension sense.

Boundary

Ultrapowers are a first-order model-theoretic construction depending crucially on the choice of ultrafilter and index set; they do not automatically preserve higher-order or set-theoretic properties and require the axiom of choice (for existence of certain ultrafilters) in many constructions.

Semantic Tension

Ultrapower versus ultraproduct: the latter allows different factors while ultrapower fixes a single factor; tension also with the notion of saturated elementary extensions produced by other means (e.g., monster models).

Synthesis

An ultrapower collapses sequences in a single structure via an ultrafilter to produce an elementary extension whose first-order properties mirror those of the factor by Łoś's theorem, enabling construction of nonstandard and saturated models.