The distinction between Morley rank as defined by arbitrary formulas and by definable familes of formulas is essential. aleph_1 categoricity in particular implies the rank can defined by definable families. Since my 1973? article in the transactions AMS or Shelah's book or say Pillay's geometric model theory book
John Baldwin
- 749
- 6
- 7