Ein abzählbares Modell (allgemeiner: ein Modell einer gegebenen Größe) heißt atomar, wenn jeder endliche Tupel im Modell einen Typ realisiert, der durch eine einzige Formel isoliert ist; äquivalent sind die in dem Modell realisierten vollständigen Typen isolierte Punkte im jeweiligen Typraum.

Prinzip

Isolation als Determiniertheit: Atomarität bedeutet, dass Typen durch explizite Formeln festgelegt sind, sodass Elemente und endliche Tupel stark durch erstordentliche Eigenschaften bestimmt sind statt durch unendliche konsistente Beschreibungen.

Demonstration

In einer ω‑kategorischen vollständigen Theorie ist das eindeutige abzählbare Modell atomar, weil jeder vollständige Typ über der leeren Menge (und über endlichen Mengen) isoliert ist; viele klassische abzählbare homogene Strukturen, die ω‑kategorisch sind, liefern atomare abzählbare Modelle.

Fehlanwendung

Anzunehmen, Atomarität impliziere Sättigung oder umgekehrt; ein atomares Modell ist stark bestimmt, muss aber nicht alle konsistenten kleinen Typen realisieren (es kann weit von gesättigt sein), daher ist es falsch, Atomarität als Ersatz für Sättigung zu behandeln.

Konsequenz

Atomare Modelle dienen als kanonische, explizit beschreibbare Repräsentanten einer Theorie; in abzählbaren vollständigen Theorien ist ein atomares abzählbares Modell oft prim und bietet ein minimales, starres Objekt zum Verständnis der definierbaren Struktur.

Umkehrung

Ein nicht-atomares Modell enthält Tupel, die nicht-isolierte Typen realisieren: solche Typen lassen sich durch keine einzige Formel erfassen, was zu größerer Flexibilität, vielen nichtisomorphen Erweiterungen und reicheren Automorphismengruppen führt.

Abgrenzung

Atomarität ist relativ zur Topologie der Typräume in der ersten Ordnung zu verstehen und wird häufig für abzählbare oder kleine Modelle diskutiert; das Vorhandensein atomarer Modelle hängt von der Theorie ab (z. B. muss die Theorie genügend isolierte Typen besitzen) und kann in vielen Fällen ausbleiben.

Semantische Spannung

Spannung zu Prim- und Gesättigtheitsbegriffen: Atomare Modelle stimmen in abzählbaren vollständigen Theorien oft mit Primmodellen überein, doch konzentriert sich Atomarität auf isolierte Typen, während Primalität auf Einbettungsminimalität zielt — beides ist verknüpft, aber verschieden.

Synthese

Ein atomares Modell ist eine stark bestimmte Struktur, deren realisierte Typen durch Formeln isoliert sind: es liefert eine minimale, beschreibbare Verkörperung des realisierbaren Verhaltens einer Theorie in gegebener Größe und ist ein zentrales Instrument zur Klassifikation und effektiven Beschreibung.