Łośs Satz

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Der Transfertsatz, der besagt, dass eine erste-Ordnung-Formel genau dann in einem Ultraprodukt (oder Ultrapower) gilt, wenn die Menge der Indizes, für die die Formel in den Faktoren gilt, zum gewählten Ultrafilter gehört.