## [Vaughts Vermutung](/de/node/60392) Definition 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 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 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 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 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 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 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 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 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.