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.

Principio

La verdad de primer orden se preserva y refleja coordenada a coordenada a través de ultraproductos: la evaluación se reduce a comprobar conjuntos de índices 'grandes' para el ultrafiltro, lo que produce relaciones de equivalencia/extension elementales entre factores y ultraproducto.

Demostración

Si cada estructura M_i satisface una oración φ en todos los índices de un conjunto U que pertenece al ultrafiltro, entonces el ultraproducto ∏M_i/U satisface φ; en particular, la inclusión diagonal de una estructura en su ultrapoder preserva las mismas oraciones de primer orden, produciendo extensiones elementales.

Aplicación incorrecta

Intentar aplicar el teorema de Łoś a enunciados de orden superior, a filtros que no son ultrafiltros (por ejemplo el filtro cofinito), o pasar por alto que los lenguajes deben ser uniformes en los factores; tales usos rompen el principio de transferencia coordenada.

Consecuencia

El teorema de Łoś sustenta técnicas de ultraproducto: produce modelos nuevos que preservan teorías de primer orden, demuestra resultados tipo compacticidad, construye modelos no estándar y muestra que los ultrapoderes son extensiones elementales del original cuando se usa un ultrafiltro no principal.

Inversión

Si se abandona la maximalidad del filtro, el transfer falla: una fórmula puede cumplirse en casi todas las coordenadas sin que el ultraproducto la cumpla. La inversión enfatiza la dependencia en la capacidad decisoria del ultrafiltro.

Límite

Se aplica a lenguajes de primer orden con la misma firma en cada factor y a ultrafiltros; no se extiende a lógicas que cuantifican sobre conjuntos de elementos (segundo orden) ni a filtros carentes de maximalidad.

Tensión semántica

Tensión con el teorema de compacidad y otras construcciones de teoría de modelos: Łoś ofrece un traslado puntual vía ultrafiltros, mientras que la compacidad usa consistencia sintáctica finitaria — ambos producen extensiones pero por mecanismos distintos.

Síntesis

El teorema de Łoś es la ley de transferencia coordenada para ultraproductos: las fórmulas de primer orden se satisfacen en el ultraproducto exactamente en conjuntos de índices grandes para el ultrafiltro, permitiendo construir extensiones elementales y modelos no estándar.