A theory for which every formula over every model has an ordinal valued
Morley rank is called
totally transcendental. A key step in Morley's proof is to show that every uncountably categorical theory (in a countable language) is totally transcendental. |