Un modelo en el que cada tupla finita realiza un tipo atómico (principal) sobre el conjunto vacío; equivalentemente, cada tupla finita tiene una fórmula completa que aísla su tipo, de modo que los tipos sobre ∅ están determinados por fórmulas singulares.

Principio

La atomicidad exige que los tipos de la teoría estén testimoniados por fórmulas: para cada tupla finita existe una fórmula que caracteriza de manera única su tipo en el modelo, haciendo que el modelo esté fuertemente determinado por información sintáctica.

Demostración

En un modelo atómico numerable de una teoría completa, cada tupla finita satisface una única fórmula aislante; por ejemplo, si todos los tipos de una variable están aislados por fórmulas, un modelo numerable construido enumerando realizaciones de esas fórmulas será atómico.

Aplicación incorrecta

Llamar atómico a un modelo porque tiene pocos tipos o porque las tuplas son definibles de manera laxa sin verificar la existencia de fórmulas aislantes identifica erróneamente la propiedad y puede inducir a errores en argumentos de clasificación.

Consecuencia

Los modelos atómicos son sintácticamente manejables: su estructura está estrechamente controlada por fórmulas aislantes, lo que ayuda en la construcción de modelos primos, en el análisis de grupos de automorfismos y en contextos de teoría de modelos efectiva o computable.

Inversión

Un modelo que realiza muchos tipos no aislados o cuyos tipos requieren esquemas infinitos para describirse es lo opuesto: altamente no atómico y menos controlado por fórmulas singulares.

Límite

Definido para teorías de primer orden y sensible al aislamiento de tipos sobre el conjunto vacío; la atomicidad no implica automáticamente primidad ni saturación y debe verificarse frente a las condiciones de aislamiento de tipos.

Tensión semántica

Tensión entre determinación sintáctica y flexibilidad: los modelos atómicos son rígidos porque las fórmulas aíslan los tipos, mientras que los modelos no atómicos permiten un comportamiento no aislado más rico, a veces necesario para fenómenos de saturación o categoricalidad.

Síntesis

Un Modelo Atómico es aquel cuyas tuplas finitas están todas aisladas por fórmulas singulares, lo que hace que el modelo esté determinado sintácticamente a niveles finitos y resulte útil en construcciones que requieren la aislación explícita de tipos.