Una estructura obtenida a partir de una familia indexada de estructuras (M_i)_{i∈I} en una firma común tomando el producto cartesiano de los dominios y factorizando por un ultrafiltro U sobre I, de modo que dos sucesiones se identifican cuando coinciden en un conjunto de índices perteneciente a U; un caso particular es una ultrapotencia cuando todos los M_i son iguales.

Principio

El teorema de Łoś gobierna los ultraproductos: para cualquier fórmula de primer orden φ y tuplas representadas por sucesiones, el ultraproducto satisface φ exactamente cuando el conjunto de índices i en los que M_i satisface φ en las componentes i pertenece al ultrafiltro U; así se transfiere la verdad de primer orden de los factores al cociente.

Demostración

Una ultrapotencia del cuerpo real R por un ultrafiltro no principal sobre N produce un modelo no estándar *R de los reales en el que existen elementos infinitesimales e infinitos; el teorema de Łoś garantiza que cada propiedad de primer orden de R se refleja en *R en un conjunto de índices grande según U, proporcionando el principio de transferencia utilizado en análisis no estándar.

Aplicación incorrecta

Usar un filtro cualquiera en lugar de un ultrafiltro para el cociente (un producto reducido) y esperar luego el tipo de transferencia de Łoś para todas las fórmulas de primer orden; sin la maximalidad del ultrafiltro, las clases de equivalencia pueden no reflejar con claridad la verdad de primer orden.

Consecuencia

Los ultraproductos son una herramienta flexible: producen nuevos modelos con teoría de primer orden controlada, permiten construcciones tipo compacidad, facilitan construir modelos saturados y extensiones no estándar, y permiten pruebas de principios de transferencia o preservación sobre familias infinitas.

Inversión

La noción dual es el producto directo o producto reducido sin cocientar por un ultrafiltro; allí el comportamiento global de primer orden es simplemente punto a punto y no satisface en general la transferencia de Łoś, por lo que el paso del ultrafiltro es esencial para las propiedades modeloteóricas.

Límite

La construcción requiere elegir un ultrafiltro (los ultrafiltros no principales típicamente dependen del axioma de elección para su existencia); los ultraproductos se ocupan de propiedades de primer orden —los fenómenos de orden superior necesitan tratamiento separado— y el tipo de isomorfismo puede depender del ultrafiltro y del conjunto de índices.

Tensión semántica

La tensión radica entre los ultraproductos como objetos semejantes a límites que preservan verdades de primer orden y otras construcciones límite (límite directo/inverso) que preservan características estructurales distintas; los ultraproductos pueden colapsar o identificar sucesiones de manera que oscurezcan estructuras combinatorias o categóricas.

Síntesis

Un ultraproducto forma una nueva estructura al colapsar sucesiones punto por punto en un conjunto índice según un ultrafiltro de modo que las propiedades de primer orden se transfieren mediante el teorema de Łoś; es una construcción central que genera modelos con comportamiento de primer orden controlado y potentes principios de transferencia.