# Atomares Modell

Ein atomares Modell ist in der Modelltheorie, einem Teilgebiet der mathematischen Logik ein Modell, das nur sehr wenige Typen realisiert und daher in einem gewissen Sinne sehr klein ist. Der Begriff ist verwandt mit dem Begriff des Primmodells und ist dual zu dem Begriff des saturierten Modells, welches wiederum sehr viele Typen realisiert.

## Definition

Die betrachteten Sprachen sind im Folgenden immer höchstens abzählbar.
* Ein Typ $t$ über einer Theorie ${\mathcal {T}}$ ist ein atomarer Typ, wenn es eine Formel $\psi ({\vec {x}})$ gibt, sodass für alle $\phi ({\vec {x}})\in t$ gilt:
       $T\vdash \psi ({\vec {x}})\rightarrow \phi ({\vec {x}})$
    Ein atomarer Typ wird auch isolierter Typ oder Haupttyp genannt.
* Ein Modell ${\mathfrak {A}}$ einer Theorie ${\mathcal {T}}$ ist atomar, wenn es nur atomare Typen realisiert, wenn also für jedes ${\vec {a}}\in A^{n}$ der Typ: $\{\phi ({\vec {x}})|{\mathfrak {A}}\vDash \phi ({\vec {a}})\}$ atomar über ${\mathcal {T}}$ ist.
Da endliche Teilmengen von Typen immer realisiert werden, werden atomare (isolierte) Typen immer realisiert. Für abzählbare Sprachen sagt der Omitting-Types-Satz, dass das auch genau die Typen sind, die immer realisiert werden.

## Beispiele

* Die Theorie der reell abgeschlossenen Körper hat als atomares Modell den Körper der reellen algebraischen Zahlen.
* Jedes endliche Modell ist atomar.
* Jedes Modell der leeren Sprache ist atomar. Dieses Beispiel liefert insbesondere überabzählbare atomare Modelle.
* Jedes Modell der Theorie der dichten linearen Ordnung ohne Endpunkte ist atomar.

## Existenz

Es gilt folgender Satz:
* Eine vollständige Theorie hat genau dann ein atomares Modell, wenn die isolierten (atomaren) Typen dicht in ihr liegen.

## Charakterisierung

* Abzählbare atomare Modelle einer vollständigen Theorie sind isomorph.
* Ein Modell einer vollständigen Theorie ${\mathcal {T}}$ ist genau dann ein abzählbares atomares Modell, wenn es ein Primmodell ist.
    Es gibt aber in vielen Theorien überabzählbare atomare Modelle, die also keine Primmodelle sind.
* Wenn eine vollständige Theorie ein abzählbares saturiertes Modell hat, so hat sie auch atomares Modell.
    Der Satz lässt sich nicht umkehren: Die Theorie der reell abgeschlossenen Körper hat ein atomares Modell, aber kein saturiertes Modell.

## Niemals zwei

Eine Anwendung der Theorie der atomaren und saturierten Modelle ist der folgende von Vaught bewiesene Satz:
* Keine vollständige Theorie ${\mathcal {T}}$ (über einer abzählbaren Sprache) hat genau zwei abzählbare nicht-isomorphe Modelle.
Im Beweis benutzt man die Tatsache, dass bei genau zwei nicht-isomorphen Modellen eines atomar (${\mathfrak {A}}$) und das andere (${\mathfrak {B}}$) saturiert sein müsste. Realisiert nun $b\in B$ einen nicht-isolierten Typen, so betrachtet man die Theorie von $({\mathfrak {B}},b)$. Mit der Theorie der atomaren und saturierten Modelle kann man dann schließen, dass es ein atomares Modell dieser Theorie geben muss und dass das reduzierte ${\mathcal {T}}$-Modell dieser Theorie weder isomorph zu ${\mathfrak {A}}$ noch zu ${\mathfrak {B}}$ sein kann.
Zum Beispiel hat die Theorie von $\mathbb {Q}$ über der Sprache $\{<\}\cup \{n|n\in \mathbb {N} \}$ hat genau drei abzählbare Modelle. $\mathbb {Q}$ ist das atomare Modell. Das saturierte Modell ist das Modell $(\mathbb {Q} +\mathbb {Q} )$. Das Modell zwischen diesen beiden ist $(\mathbb {Q} +\mathbb {Q} _{0}^{+})$. (Die Konstantensymbole werden immer durch die natürlichen Zahlen der ersten Kopie von $\mathbb {Q}$ interpretiert). Im letzten Modell hat die Konstantenfolge ein Supremum, es ist weder atomar noch saturiert.
Die Theorie lässt sich durch Hinzufügung von $n-2$ einstelligen Prädikatssymbolen $P_{i}$ so erweitern, dass sie genau $n$ Modelle hat: Die Axiome werden erweitert durch die Sätze, dass auf jedes Element genau ein Prädikat zutrifft, dass die Konstanten das Prädikat $P_{0}$ erfüllen und dass die $\{x|P_{i}(x)\}$ jeweils dicht liegen. Es gibt dann wieder ein atomares und ein saturiertes Modell. Außerdem existieren $n-2$ Modelle, bei denen die Konstantenfolge ein Supremum hat, die aber jeweils ein unterschiedliches Prädikat erfüllen.