An ultrapower is a specific type of ultraproduct that can be used to construct nonstandard universes and obtain the transfer principle as a corollary of Łoś' theorem for ultraproducts.

# Ultrapower

## See also

Łoś' Theorem, Nonstandard Analysis, Ultraproduct
*This entry contributed by Matt Insall
(author's link)*

## Explore with Wolfram|Alpha

## Cite this as:

Insall, Matt. "Ultrapower." From *MathWorld*--A Wolfram Web Resource, created by Eric W. Weisstein.
https://mathworld.wolfram.com/Ultrapower.html