## [Modelo Atómico](/es/node/61006) Definición 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 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 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 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 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 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 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 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 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.