Omega-Stability

A completeness/complexity property of a first-order theory: the theory is ω-stable if for every countable parameter set A the space of complete 1-types (or n-types for each fixed n) over A is countable; informally, there are only countably many non-equivalent ways an element can behave over a countable base.