Estructuras, modelos y ultraproductos

Abstract

El objetivo de este escrito es presentar de manera breve, pero completa y rigurosa, la construcción ultraproducto. El ultraproducto es una construcción mediante la que un nuevo modelo de una teoría se obtiene a partir de otros modelos. A grandes rasgos, un modelo es una estructura (una secuencia de conjuntos, relaciones y funciones) que satisface ciertos enunciados pertenecientes a un lenguaje lógico formalizado. Se ve entonces la gran importancia que tienen las estructuras en la lógica: ellas constituyen el "significado" de los términos y enunciados de los lenguajes lógicos, y es relativo a las estructuras que se define el concepto de verdad para cualquier lenguaje lógico.