##  [Atomicity](/atomicity-0) 

 Definition

The model-theoretic property of a theory or structure that every complete type over the empty set (or a specified parameter set) is isolated by a single formula; equivalently, every tuple in the structure has a principal (isolated) type.

 

 

 

 

 

 





## Principle

Principle

Isolation of types: syntactic formulas can pin down each possible behaviour of tuples so that realization of a type is witnessed by a formula provably implying the type within the ambient theory.

 

 

 

 

 





## Demonstration

Demonstration

A countable structure M is atomic if for every finite tuple a from M there exists a formula φ(x) with no parameters such that M ⊨ φ(a) and every b satisfying φ in any model of the theory has the same complete type as a. Countable atomic models often serve as prime or minimal realizations of a complete theory.

 

 

 

 

## Misapplication

Misapplication

Confusing model-theoretic atomicity with unrelated senses of 'atomic' (for example, atomic operations in databases or atoms in Boolean algebras) or asserting atomicity for a theory solely because it has few models without checking isolation of all types.

 

 

 

 

 





## Consequence

Consequence

When a structure or theory is atomic one obtains strong control over embeddings and automorphisms (e.g., countable atomic models are often prime and unique up to isomorphism), simpler descriptions of definable sets, and effective enumeration of types in countable contexts.

 

 

 

 

## Reversal

Reversal

Non-atomic theories admit non-isolated types; they can have models that omit certain complete types and support more varied or pathological realizations of tuple-behaviour, permitting independent or limit constructions that atomic theories forbid.

 

 

 

 

 





## Boundary

Boundary

Atomicity is a property internal to first-order model theory (or a chosen logic) and refers to complete types relative to a fixed language and parameter set; it excludes talk about higher-order isolation, computational decidability, or informal uses of the word 'atomic.'

 

 

 

 

 





## Semantic Tension

Semantic Tension

Competes with notions of 'prime' and 'saturated' models: atomic models are often prime but not necessarily saturated, so the intuition that 'atomic = minimal = well-behaved' must be balanced against other model-theoretic axes like saturation and homogeneity.

 

 

 

 

 





## Synthesis

Synthesis

Atomicity is the condition that the theory’s syntactic resources suffice to isolate every complete behaviour of tuples; it yields canonical, often minimal, models whose definable structure is governed by isolating formulas, distinguishing this precise model-theoretic sense from other colloquial uses of 'atomic.'