Morley rank

In mathematical logic, Morley rank, introduced by Michael D. Morley (1965), is a means of measuring the size of a subset of a model of a theory, generalizing the notion of dimension in algebraic geometry.

Definition

Fix a theory T with a model M. The Morley rank of a formula φ defining a definable (with parameters) subset S of M is an ordinal or 1 or ∞, defined by first recursively defining what it means for a formula to have Morley rank at least α for some ordinal α.

  • The Morley rank is at least 0 if S is non-empty.
  • For α a successor ordinal, the Morley rank is at least α if in some elementary extension N of M, the set S has countably infinitely many disjoint definable subsets Si, each of rank at least α  1.
  • For α a non-zero limit ordinal, the Morley rank is at least α if it is at least β for all β less than α.

The Morley rank is then defined to be α if it is at least α but not at least α + 1, and is defined to be ∞ if it is at least α for all ordinals α, and is defined to be 1 if S is empty.

For a definable subset of a model M (defined by a formula φ) the Morley rank is defined to be the Morley rank of φ in any ℵ0-saturated elementary extension of M. In particular for ℵ0-saturated models the Morley rank of a subset is the Morley rank of any formula defining the subset.

If φ defining S has rank α, and S breaks up into no more than n < ω subsets of rank α, then φ is said to have Morley degree n. A formula defining a finite set has Morley rank 0. A formula with Morley rank 1 and Morley degree 1 is called strongly minimal. A strongly minimal structure is one where the trivial formula x = x is strongly minimal. Morley rank and strongly minimal structures are key tools in the proof of Morley's categoricity theorem and in the larger area of model theoretic stability theory.

Examples

See also

References

  • Alexandre Borovik, Ali Nesin, "Groups of finite Morley rank", Oxford Univ. Press (1994)
  • B. Hart Stability theory and its variants (2000) pp. 131–148 in Model theory, algebra and geometry, edited by D. Haskell et al., Math. Sci. Res. Inst. Publ. 39, Cambridge Univ. Press, New York, 2000. Contains a formal definition of Morley rank.
  • David Marker Model Theory of Differential Fields (2000) pp. 53–63 in Model theory, algebra and geometry, edited by D. Haskell et al., Math. Sci. Res. Inst. Publ. 39, Cambridge Univ. Press, New York, 2000.
  • Morley, M.D. (1965), "Categoricity in power", Trans. Amer. Math. Soc., American Mathematical Society, 114 (2): 514–538, doi:10.2307/1994188, JSTOR 1994188
  • Pillay, Anand (2001) [1994], "Group of finite Morley rank", Encyclopedia of Mathematics, EMS Press
  • Pillay, Anand (2001) [1994], "Morley rank", Encyclopedia of Mathematics, EMS Press
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.