Modelo Atómico

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.

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.