Omega-stability of a theory
= Omega-stability of a theory
{title2=$|S_1(A)|\le\aleph_0\quad\text{for countable }A$}
= Omega-stability
{synonym}
A <complete theory> in a <countable> <first-order language> is omega-stable if over every <countable set> of parameters it has only countably many <complete one-types>. The <theory of a free bijection> is an example: a new point is either a specified <integer> translate of a parameter or lies in a new orbit. It is omega-stable but not omega-categorical.