Łoś's Theorem

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The transfer theorem stating that a first-order formula holds in an ultraproduct (or ultrapower) precisely when the set of indices at which the formula holds in the factors belongs to the chosen ultrafilter.