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
Nonstandard Analysis, Łoś' Theorem, UltraproductThis entry contributed by Matt Insall (author's link)
Explore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W., with contributions by Matt Insall. "Ultrapower." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Ultrapower.html