En lógica matemática , el teorema de Lindström (llamado así por el lógico sueco Per Lindström , quien lo publicó en 1969) establece que la lógica de primer orden es la lógica más fuerte [1] (que satisface ciertas condiciones, por ejemplo , el cierre bajo la negación clásica ) que tiene tanto la propiedad de compacidad (contable) como la propiedad de Löwenheim-Skolem (hacia abajo) . [2]
El teorema de Lindström es quizás el resultado más conocido de lo que más tarde se conocería como teoría de modelos abstractos , [3] cuya noción básica es una lógica abstracta ; [4] la noción más general de institución se introdujo más tarde, la cual avanza desde una noción de modelo basada en la teoría de conjuntos a una basada en la teoría de categorías . [5] Lindström había obtenido previamente un resultado similar al estudiar lógicas de primer orden extendidas con cuantificadores de Lindström . [6]
El teorema de Lindström se ha extendido a varios otros sistemas de lógica, en particular a las lógicas modales de Johan van Benthem y Sebastian Enqvist.