##  [Ultrapower](/ultrapower-1) 

 Definition

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

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

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

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

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

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

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

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

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.