Stability Spectrum - The Stability Spectrum Theorem For Countable Theories

The Stability Spectrum Theorem For Countable Theories

Theorem. Every countable complete first-order theory T falls into one of the following classes:

  • T is stable in λ for all infinite cardinals λ. – T is totally transcendental.
  • T is stable in λ exactly for all cardinals λ with λ ≥ 2ω. – T is superstable but not totally transcendental.
  • T is stable in λ exactly for all cardinals λ that satisfy λ = λω. – T is stable but not superstable.
  • T is not stable in any infinite cardinal λ. – T is unstable.

The condition on λ in the third case holds for cardinals of the form λ = κω, but not for cardinals λ of cofinality ω (because λ < λcof λ).

Read more about this topic:  Stability Spectrum

Famous quotes containing the words stability, theorem and/or theories:

    Traditions are the “always” in life—the rituals and customs that build common memories for children, offer comfort and stability in good times and bad, and create a sense of family identity.
    Marian Edelman Borden (20th century)

    To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.
    Albert Camus (1913–1960)

    The two most far-reaching critical theories at the beginning of the latest phase of industrial society were those of Marx and Freud. Marx showed the moving powers and the conflicts in the social-historical process. Freud aimed at the critical uncovering of the inner conflicts. Both worked for the liberation of man, even though Marx’s concept was more comprehensive and less time-bound than Freud’s.
    Erich Fromm (1900–1980)