Teorema de compacidad
Compactness theorem
- Fecha
- 1930 · fiabilidad alta
- Lugar
- Viena, Austria
- Autoría
- Kurt Gödel, como corolario de su teorema de completitud para el caso numerable (1930); generalizado a lenguajes no numerables por Anatoli Maltsev (1936).
- Ámbito
- Saber y símbolos
Qué se descubrió
Establece que un conjunto de fórmulas de lógica de primer orden tiene un modelo si y solo si todo subconjunto finito de él lo tiene; corolario del teorema de completitud de Gödel y herramienta clave para construir modelos.
A qué dio paso
- Método estándar para construir modelos no estándar en teoría de modelos
- Papel central, junto al teorema descendente de Löwenheim-Skolem, en el teorema de Lindström sobre la lógica de primer orden
- Generalización a lenguajes no numerables por Anatoli Maltsev (1936)