Théorie Omega-Stable

Une théorie complète du premier ordre qui n'a qu'énumérablement (comptablement) de types complets au-dessus de tout ensemble de paramètres dénombrable, ce qui impose des contraintes structurelles fortes sur les modèles dénombrables et au-delà.