Omega-stability implies stability in every infinite cardinal (source code)

= Omega-stability implies stability in every infinite cardinal

For a countable theory, omega-stability implies $|S_n(A)|\leq|A|+\aleph_0$ for every parameter set $A$. Total transcendence gives each type a finite base and a definition over it; counting finite bases and formulas proves the bound.