Teoría de modelos

La teoría de modelos finitos es la parte de la teoría de modelos más cercanas al álgebra universal. Al igual que otras partes del álgebra universal, y a diferencia con otras áreas de la teoría de modelos, está relacionada principalmente con álgebras finitas, o más generalmente, con una σ-estructura finita para signaturas σ que pueden contener símbolos relacionales como en el siguiente ejemplo:

La signatura estándar para grafos es σ_grph={E}, donde E es un símbolo de relación binaria.

Un grafo es una σ_grph-estructura que satisface las proposiciones ${\displaystyle \forall u\forall v(uEv\rightarrow vEu)}$ y ${\displaystyle \forall u\neg (uEu)}$.

Un σ-homomorfismo es una aplicación que conmuta con las operaciones y preserva relaciones de σ. Esta definición lleva a la noción usual de homomorfismo de grafos, que tiene la propiedad interesante que un homomorfismo biyectivo no necesita tener inverso. Las estructuras también forman parte del álgebra universal, después de todo, algunas estructuras algebraicas tales como grupos ordenados admiten una relación binaria del tipo < "menor que". Lo que distingue a un modelo finito de un álgebra universal es el uso de proposiciones lógicas más generales (como el ejemplo anterior) en lugar de identidades (en un contexto de teoría de modelos la identidad t=t' se escribe como una proposición ${\displaystyle \forall u_{1}u_{2}\dots u_{n}(t=t')}$.)

La lógica empleada en una teoría de modelos finitos generalmente es más expresiva que una lógica de primer orden, o la lógica estándar para la teoría de modelos más general o las estructuras infinitas.

Este artículo se enfoca en teoría finitaria de modelos de primer orden de estructuras infinitas. La teoría de modelos finitos, la cual se concentra en estructuras finitas, diverge significativamente del estudio de estructuras infinitas tanto en los problemas estudiados como en las técnicas usadas. La teoría de modelos en lógicas de orden superior o lógicas infinitarias está obstaculizada por el hecho de que la completitud no se cumple para estas lógicas. Actualmente existe un número importante de resultados sobre las propiedades de los sistemas lógicos tanto de primer orden como de segundo orden.

Debe tenerse presente que dada una teoría lógica de primer orden generalmente existe más de un modelo para dicha teoría, y dichos modelos usualmente no son isomorfos. Eso significa que los axiomas de una determinada teoría caracterizan en realidad aspectos de diferentes tipos de estructuras. Muchas veces esto es un resultado buscado. Por ejemplo, la teoría de grupos y sus axiomas definitorios admiten diversos modelos (cada grupo matemático de hecho es un modelo de dicha teoría). En otras ocasiones como en el intento de formalizar los números reales mediante una teoría de primer orden se buscaba que esencialmente existiera un modelo único, sin embargo, el teorema de Löwenheim-Skolem permite ver que existen diversos modelos no isomorfos, entre ellos los números reales convencionales, pero también los números hiperreales constituyen otro modelo no isomorfo al anterior que también satisface los mismos axiomas y teoremas que los números reales.

La existencia de un modelo permite establecer la consistencia de una teoría. La existencia de diferentes modelos puede permitir establecer la independencia de algunos axiomas. Esencialmente eso es lo que puede establecer la teoría de modelos aplicada a la teoría de conjuntos axiomática, por ejemplo.

La existencia de diferentes modelos posibles para los axiomas de Zermelo-Fraenkel (ZFC) ha permitido establecer la independencia del axioma de elección y de la hipótesis del continuo de otros axiomas de la teoría de conjuntos (los principales resultados se deben a Paul Cohen (1963) y Kurt Gödel (1938)).

Se ha probado que tanto el axioma de elección como su negación son consistentes con los axiomas de Zermelo-Fraenkel de la teoría de conjuntos. Y la hipótesis del continuo, es lógicamente independiente, de los axiomas de Zermelo-Fraenkel y el axioma de elección. Estos resultados son ejemplos de aplicaciones de la teoría de modelos a la teoría axiomática de conjuntos.

Un ejemplo de los conceptos de la teoría de modelos es la teoría de los números reales. Comenzamos con un conjunto de individuos, donde cada individuo es un número real y un conjunto de relaciones y/o funciones como { ×, +, −, ., 0, 1 }. Si hacemos una pregunta "∃ y (y × y = 1 + 1)" en este lenguaje, entonces está claro que la sentencia es verdadera para reales, ya que existe tal número real y, a saber la raíz cuadrada de 2. Para los números racionales, sin embargo, la sentencia es falsa. Una proposición similar, "∃ y (y × y = 0 − 1)", es falsa en los reales, pero es verdadera en los números complejos, donde i × i = 0 − 1.

La teoría de modelos puede emplearse como herramienta en la teoría de la demostración que se ocupa de lo que se puede probar con sistemas matemáticos dados, y cómo estos sistemas se relacionan entre sí. En principio la teoría de la demostración se ocupa de la complejidad sintáctica de las teorías a diferencia de la teoría de modelos que se ocupa principalmente de las posibilidades semánticas de la teoría.