El conjunto de cardinalidades finitas de estructuras que realizan una teoría de primer orden; visto como un invariante de la teoría, registra qué tamaños finitos admiten modelos de la teoría.

Principio

El espectro de modelos captura información de existencia a nivel de cardinalidades: las restricciones combinatorias de la teoría determinan qué tamaños finitos son posibles y cuáles están excluidos, y este patrón es estable bajo equivalencia elemental en el ámbito finito considerado.

Demostración

Ejemplo: una teoría que axiomiza 'existen exactamente n elementos distintos con la propiedad P' tiene espectro {n}; otras teorías tienen espectros iguales a todos los naturales, a todos los enteros suficientemente grandes o a progresiones aritméticas escasas según el contenido combinatorio de los axiomas.

Aplicación incorrecta

Confundir el espectro de modelos con el conjunto de tipos de isomorfismo de modelos finitos, o usar datos del espectro para inferir propiedades sobre modelos infinitos o categoricidad sin justificación adicional.

Consecuencia

Conocer el espectro de una teoría informa cuestiones de decidibilidad y clasificación en teoría de modelos finitos y complejidad descriptiva, y guía construcciones o pruebas de imposibilidad para modelos de tamaños concretos.

Inversión

Considerar el complemento del espectro —el conjunto de cardinalidades finitas que la teoría prohíbe— enfatiza las obstrucciones y las imposibilidades combinatorias más que las realizaciones.

Límite

Por definición, el espectro de modelos se refiere únicamente a cardinalidades finitas; excluye cardinalidades infinitas y no registra multiplicidades, detalles de isomorfismo ni riqueza estructural más allá del tamaño.

Tensión semántica

El término 'espectro' también aparece en otros contextos (espectros de operadores, espectro de una sentencia en teoría de la complejidad); aquí designa específicamente el conjunto de cardinalidades de modelos finitos y puede confundirse con invariantes cercanos pero distintos.

Síntesis

El espectro de modelos es el invariante que asigna a una teoría de primer orden la colección de tamaños finitos para los que la teoría tiene un modelo; condensa el comportamiento de existencia finita de la teoría en un conjunto de cardinalidades útil para el análisis combinatorio y la decidibilidad.