Atomic model (mathematical logic) explained

In model theory, a subfield of mathematical logic, an atomic model is a model such that the complete type of every tuple is axiomatized by a single formula. Such types are called principal types, and the formulas that axiomatize them are called complete formulas.

Definitions

Let T be a theory. A complete type p(x1, ..., xn) is called principal or atomic (relative to T) if it is axiomatized relative to T by a single formula φ(x1, ..., xn) ∈ p(x1, ..., xn).

A formula φ is called complete in T if for every formula ψ(x1, ..., xn), the theory T ∪ entails exactly one of ψ and ¬ψ.[1] It follows that a complete type is principal if and only if it contains a complete formula.

A model M is called atomic if every n-tuple of elements of M satisfies a formula that is complete in Th(M)—the theory of M.

Examples

Properties

The back-and-forth method can be used to show that any two countable atomic models of a theory that are elementarily equivalent are isomorphic.

Notes and References

  1. Some authors refer to complete formulas as "atomic formulas", but this is inconsistent with the purely syntactical notion of an atom or atomic formula as a formula that does not contain a proper subformula.