Una construcción de teoría de modelos que forma una nueva estructura a partir de una familia (A_i)_{i∈I} de estructuras de la misma firma y un ultrafiltro U en I tomando el producto cartesiano módulo la relación de equivalencia que identifica dos sucesiones cuando coinciden en un conjunto de U; las propiedades de primer orden satisfechas en un conjunto grande según U se transfieren al ultraproducto.

Principio

Utilizar un ultrafiltro para colapsar los datos puntuales del producto de modo que la satisfacción de fórmulas de primer orden se determine 'casi en todas partes' según U; el principio de Łoś afirma que una oración de primer orden se cumple en el ultraproducto exactamente cuando el conjunto de índices donde se cumple pertenece al ultrafiltro.

Demostración

Formar el ultraproducto ∏_U A_i de una sucesión de cuerpos finitos (F_{p_i}) a lo largo de un ultrafiltro no principal U; por el principio de Łoś, toda oración de primer orden verdadera en F_{p_i} para muchos índices según U es verdadera en el ultraproducto, de modo que el ultraproducto modela las sentencias satisfechas por casi todos los factores.

Aplicación incorrecta

Suponer que propiedades fuera del primer orden (por ejemplo cardinalidad, completitud topológica o enunciados de segundo orden) se preservan por ultraproductos conduce a conclusiones incorrectas; los ultraproductos preservan la verdad de primer orden, no invariantes set-teóricas o categóricas arbitrarias.

Consecuencia

Los ultraproductos proporcionan una herramienta potente para construir modelos límite que reflejan el comportamiento asintótico de primer orden de familias de estructuras, permitiendo argumentos de transferencia del tipo compacidad, la construcción de modelos no estándar y el estudio de fenómenos pseudo-finitos o límite.

Inversión

La idea inversa es una ultrapotencia (todos los factores iguales) o tomar productos reducidos respecto a filtros que no son ultrafiltros; invertir la condición del filtro debilita la transferencia y puede fallar la preservación estilo Łoś de fórmulas de primer orden.

Límite

La construcción asume una firma fija y un ultrafiltro sobre el conjunto de índices; la preservación está garantizada solo para la lógica de primer orden (y las fórmulas interpretables en esa firma); estructuras adicionales (topología, propiedades de orden superior) requieren verificación separada y a menudo no se preservan.

Tensión semántica

Hay tensión entre la intuición del ultraproducto como límite en teoría de modelos y rasgos cardinales o categóricos: los ultraproductos se comportan como límites respecto a propiedades de primer orden pero pueden mostrar comportamientos globales inesperados en términos de tamaño o conjuntos.

Síntesis

La Construcción de Ultraproducto ensambla una familia de estructuras en un cociente de su producto usando un ultrafiltro de modo que las verdades de primer orden válidas en un conjunto grande según U se convierten en verdades del ultraproducto, conectando el comportamiento local de los factores con un modelo global.