Omega-stability implies stability in every infinite cardinal

ID: omega-stability-implies-stability-in-every-infinite-cardinal

For a countable theory, omega-stability implies for every parameter set . Total transcendence gives each type a finite base and a definition over it; counting finite bases and formulas proves the bound.

New to topics? Read the docs here!