Un modelo contable (más generalmente, un modelo de tamaño dado) es atómico si cada tupla finita en el modelo realiza un tipo que está aislado por una única fórmula; equivalentemente, los tipos completos realizados en el modelo son puntos aislados en los espacios de tipos relevantes.

Principio

La aislación como determinación: la atomicidad significa que los tipos están fijados por fórmulas explícitas, de modo que los elementos y tuplas finitas están fuertemente determinados por propiedades de primer orden en lugar de por descripciones consistentes infinitas.

Demostración

En una teoría completa ω‑categórica, el modelo contable único es atómico porque todo tipo completo sobre el conjunto vacío (y sobre conjuntos finitos) es aislado; muchas estructuras clásicas contables y homogéneas que son ω‑categóricas proporcionan modelos contables atómicos.

Aplicación incorrecta

Asumir que atómico implica saturado o viceversa; un modelo atómico es muy determinado pero no necesita realizar todos los tipos consistentes pequeños (puede estar lejos de ser saturado), por lo que tratar la atomicidad como sustituto de la saturación es incorrecto.

Consecuencia

Los modelos atómicos sirven como representantes canónicos y explícitamente describibles de una teoría; en teorías completas contables, un modelo contable atómico suele ser primo y ofrece un objeto mínimo y rígido para comprender la estructura definible.

Inversión

Un modelo no atómico contiene tuplas que realizan tipos no aislados: tales tipos no pueden capturarse por una sola fórmula, lo que conduce a mayor flexibilidad, muchas extensiones no isomorfas y grupos de automorfismos más ricos.

Límite

La atomicidad se entiende respecto de la topología en los espacios de tipos en lógica del primer orden y se discute a menudo para modelos contables o pequeños; la existencia de modelos atómicos depende de la teoría (por ejemplo, la teoría debe tener suficientes tipos aislados) y puede fallar en muchos entornos.

Tensión semántica

Tensión con las nociones de primo y saturado: los modelos atómicos a menudo coinciden con los modelos primos en teorías completas contables, pero la atomicidad se centra en los tipos aislados mientras que la primalidad enfatiza la minimalidad por inmersión; son ejes relacionados pero distintos.

Síntesis

Un modelo atómico es una estructura muy determinada cuyos tipos realizados están aislados por fórmulas: proporciona una encarnación mínima y descriptible del comportamiento realizable de una teoría en un tamaño dado y es una herramienta central en la clasificación y descripción efectiva.