Teoría de Modelos
La teoría de modelos estudia la relación entre los lenguajes formales y sus interpretaciones, analizando las estructuras matemáticas que satisfacen un conjunto dado de axiomas.
Definition
La teoría de modelos es la rama de la lógica matemática que estudia los modelos, las estructuras que interpretan un lenguaje formal, y las relaciones entre las sentencias verdaderas en una estructura y las propiedades algebraicas y combinatorias de esa estructura.
Scope
Esta área abarca la lógica de primer orden y su semántica, los teoremas de completitud, compacidad y Loewenheim-Skolem, la equivalencia elemental y las incrustaciones, los tipos y los modelos saturados, la eliminación de cuantificadores y la clasificación de teorías por sus propiedades teóricas de modelos. Conecta la lógica con el álgebra, la geometría y la teoría de números a través del estudio de conjuntos definibles.
Sub-topics
Core questions
- ¿Qué estructuras satisfacen una teoría dada y cómo se relacionan?
- ¿Qué puede expresar una teoría sobre el tamaño y el número de sus modelos?
- ¿Cómo se describen y clasifican los conjuntos definibles en una estructura?
- ¿Qué teorías son lo suficientemente bien comportadas como para admitir una teoría de la estructura para sus modelos?
Key theories
- Teorema de completitud
- El teorema de completitud de Goedel establece que una sentencia de primer orden es demostrable a partir de una teoría exactamente cuando se cumple en cada modelo de la teoría, identificando la demostrabilidad sintáctica con la verdad semántica.
- Teorema de compacidad
- Un conjunto de sentencias de primer orden tiene un modelo si y solo si cada subconjunto finito lo tiene, una herramienta que produce modelos no estándar y transfiere propiedades entre estructuras finitas e infinitas.
- Teoremas de Loewenheim-Skolem
- Una teoría de primer orden con un modelo infinito tiene modelos de cada cardinalidad infinita, por lo que la lógica de primer orden no puede determinar el tamaño de las estructuras infinitas.
Clinical relevance
La teoría de modelos proporciona herramientas poderosas que se han aplicado en todas las matemáticas: la eliminación de cuantificadores produce procedimientos de decisión para teorías algebraicas, y la teoría de modelos de campos y grupos ha producido resultados en la teoría de números, la geometría real y compleja, y la combinatoria, notablemente a través de la teoría de la estabilidad y la o-minimalidad.
History
La teoría de modelos surgió del trabajo de Loewenheim, Skolem y Goedel a principios del siglo XX y fue conformada como una disciplina coherente por la definición semántica de la verdad de Tarski y las aplicaciones de la compacidad de Maltsev y Robinson. La clasificación y la teoría de la estabilidad de Shelah desde la década de 1970 en adelante le dieron al campo su marco estructural moderno y sus profundas conexiones con otras áreas de las matemáticas.
Key figures
- Kurt Goedel
- Alfred Tarski
- Anatoly Maltsev
- Abraham Robinson
- Saharon Shelah
Related topics
Seminal works
- marker2002
- changkeisler1990
- hodges1993
Frequently asked questions
- ¿Cuál es la diferencia entre sintaxis y semántica en la teoría de modelos?
- La sintaxis se refiere a las sentencias formales y las pruebas en un lenguaje, mientras que la semántica se refiere a las estructuras y a si las sentencias son verdaderas en ellas. El teorema de completitud muestra que para la lógica de primer orden estas dos perspectivas coinciden: la demostrabilidad coincide con la verdad en todos los modelos.
- ¿Por qué es importante la teoría de modelos para las matemáticas ordinarias?
- Muchas estructuras algebraicas, como los campos y los grupos ordenados, se definen mediante axiomas de primer orden, por lo que los resultados de la teoría de modelos sobre conjuntos definibles y eliminación de cuantificadores se traducen en teoremas concretos y procedimientos de decisión en álgebra, geometría y teoría de números.