Un modelo P de una teoría completa T es primo si P se inmersa elementalmente en todo modelo de T; es un representante canónico y minimal (respecto a inmersiones elementales) de la teoría.

Principio

Minimalidad por inmersión elemental: la primalidad selecciona un modelo más pequeño que debe aparecer dentro de cualquier otro modelo de la misma teoría completa, sirviendo como base o núcleo atómico desde el cual se extienden los demás.

Demostración

Para la teoría de cuerpos algebraicamente cerrados de característica fija, el cierre algebraico del cuerpo primo (por ejemplo, el cierre algebraico de Q o de F_p) es un modelo primo: se inmersa elementalmente en todo cuerpo algebraicamente cerrado de esa característica.

Aplicación incorrecta

Equiparar primo con la menor cardinalidad o suponer que toda teoría tiene un modelo primo; un modelo primo es minimal en el sentido de inmersiones, no necesariamente en cardinalidad, y muchas teorías no admiten modelo primo.

Consecuencia

Cuando existe, un modelo primo proporciona una estructura mínima canónica que a menudo es atómica y útil para construir y comparar modelos; los modelos primos ayudan a analizar cierres definibles y propiedades fundamentales de algebraicidad.

Inversión

Una teoría sin modelo primo carece de una base canónica mínima por inmersión; los modelos pueden ser incomparables por inmersión elemental y la clasificación exige otros invariantes como tipos saturados o mínimos.

Límite

Los modelos primos se definen para teorías completas de primer orden y requieren pruebas de existencia; la existencia puede fallar para teorías incompletas o con pocos tipos aislados, y la primalidad depende del lenguaje elegido y de la hipótesis de completitud.

Tensión semántica

Relacionado con modelos atómicos y modelos mínimos en contextos algebraicos: los modelos primos suelen ser atómicos en teorías completas contables, pero la primalidad enfatiza la universalidad por inmersión mientras que la atomicidad enfatiza los tipos aislados, produciendo una distinción sutil.

Síntesis

Un modelo primo es el bloque elemental mínimo de una teoría completa: se inmersa en todo modelo de la teoría y, cuando existe, ofrece una semilla canónica y a menudo atómica desde la que se construyen o comparan otros modelos.