Łoś theorem
= Łoś theorem
{c}
This theorem characterizes truth in an <ultraproduct>. Łoś's theorem says that a first-order formula holds in an ultraproduct exactly when it holds in a set of factors belonging to the ultrafilter.
= Łoś theorem
{c}
This theorem characterizes truth in an <ultraproduct>. Łoś's theorem says that a first-order formula holds in an ultraproduct exactly when it holds in a set of factors belonging to the ultrafilter.