Ω-Stabilität

Eine Eigenschaft vollständiger Theorien in der Prädikatenlogik erster Ordnung: Eine Theorie heißt ω‑stabil, wenn für jede abzählbare Parametersatz A der Raum der vollständigen 1‑Typen (bzw. n‑Typen für festes n) über A abzählbar ist; anschaulich gibt es nur abzählbar viele nichtäquivalente Weisen, wie ein Element über einer abzählbaren Basis auftreten kann.