Espectro de Modelos
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
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.