Teorema de Łoś
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El teorema de transferencia que afirma que una fórmula de primer orden se cumple en un ultraproducto (o ultrapoder) exactamente cuando el conjunto de índices en que la fórmula se cumple en los factores pertenece al ultrafiltro elegido.