En lógica matemática , la teoría de modelos abstractos es una generalización de la teoría de modelos que estudia las propiedades generales de las extensiones de la lógica de primer orden y sus modelos. [1]
La teoría de modelos abstractos proporciona un enfoque que nos permite dar un paso atrás y estudiar una amplia gama de lógicas y sus relaciones. [2] El punto de partida para el estudio de modelos abstractos, que dio como resultado buenos ejemplos, fue el teorema de Lindström . [3]