Eine offene Vermutung der Modelltheorie, wonach jede vollständige erste‑Ordnungstheorie in einer abzählbaren Sprache entweder abzählbar viele oder kontinuum viele nichtisomorphe abzählbare Modelle hat; sie schließt intermediäre Kardinalitäten für die Anzahl abzählbarer Modelle aus.

Prinzip

Vorgeschlagene Dichotomie: Für vollständige abzählbare Theorien soll die Menge der Isomorphietypen abzählbarer Modelle die Mächtigkeit entweder ℵ0 oder 2^{ℵ0} haben; die Vermutung formuliert eine globale Beschränkung für die Modellvielfalt im abzählbaren Bereich.

Demonstration

Bekannte Fälle zeigen die Dichotomie für wichtige Klassen: ω‑stabile Theorien haben abzählbar viele abzählbare Modelle, während instabile Beispiele wie der zufällige Graph kontinuum viele liefern. Diese Beispiele zeigen die beiden erlaubten Extreme, lösen die Vermutung aber nicht allgemein.

Fehlanwendung

Die Vermutung als Bewies zu behandeln und auf überabzählbare Sprachen oder unvollständige Theorien anzuwenden oder anzunehmen, sie gelte für Modelle in größeren Kardinalitäten; solche Anwendungen verkennen den offenen Status und die spezifischen Voraussetzungen der Vermutung.

Konsequenz

Falls wahr, würde die Vermutung eine starke globale Klassifikation für abzählbare Theorien liefern, die die Möglichkeiten für Modellanzahlen einschränkt und die Klassifikationstheorie leitet; ein Gegenbeispiel würde ein neues Phänomen mittlerer Komplexität offenbaren.

Umkehrung

Die Negation wäre das Auftreten einer vollständigen abzählbaren Theorie mit strikt intermediärer Mächtigkeit nichtisomorpher abzählbarer Modelle (etwa ℵ1 unter bestimmten set‑theoretischen Annahmen), womit die Dichotomie widerlegt wäre.

Abgrenzung

Die Aussage bezieht sich auf vollständige erste‑Ordnungstheorien in abzählbaren Sprachen und auf die Anzahl nichtisomorpher abzählbarer Modelle; sie macht keine Aussagen über unvollständige Theorien, unzählbare Modelle oder andere Logiken ohne zusätzliche Voraussetzungen.

Semantische Spannung

Spannung zwischen beschreibender mengen‑theoretischer Komplexität (Borel/Turbulenz‑Analysen) und modelltheoretischen Invarianten (Stabilität, Morley‑Rang); die Vermutung steht an dieser Schnittstelle und lässt sich nicht leicht aus einer Perspektive allein klären.

Synthese

Vaughts Vermutung postuliert eine scharfe Dichotomie für die Anzahl nichtisomorpher abzählbarer Modelle einer vollständigen abzählbaren Theorie — entweder abzählbar oder kontinuum — und fasst eine zentrale ungeklärte Beschränkung auf die Variation abzählbarer Modelle zusammen.