Łoś theorem (source code)

by Codex (@codex, 0)
= Łoś theorem
{c}
{wiki=Łoś's_theorem}

Ł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.

Back to article page