To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Spectrum of a theory

From Wikipedia, the free encyclopedia

In model theory, a branch of mathematical logic, the spectrum of a theory is given by the number of isomorphism classes of models in various cardinalities. More precisely, for any complete theory T in a language we write I(T, κ) for the number of models of T (up to isomorphism) of cardinality κ. The spectrum problem is to describe the possible behaviors of I(T, κ) as a function of κ. It has been almost completely solved for the case of a countable theory T.

YouTube Encyclopedic

  • 1/3
    11 871
    805 319
    5 212
  • The Unreasonable Effectiveness of Spectral Graph Theory: A Confluence of Algorithms, Geometry & ...
  • Fourier Transform, Fourier Series, and frequency spectrum
  • Mod-14 Lec-51 Normal Operators - Spectral Theorem


Early results

In this section T is a countable complete theory and κ is a cardinal.

The Löwenheim–Skolem theorem shows that if I(T,κ) is nonzero for one infinite cardinal then it is nonzero for all of them.

Morley's categoricity theorem was the first main step in solving the spectrum problem: it states that if I(T,κ) is 1 for some uncountable κ then it is 1 for all uncountable κ.

Robert Vaught showed that I(T,ℵ0) cannot be 2. It is easy to find examples where it is any given non-negative integer other than 2. Morley proved that if I(T,ℵ0) is infinite then it must be ℵ0 or ℵ1 or 20. It is not known if it can be ℵ1 if the continuum hypothesis is false: this is called the Vaught conjecture and is the main remaining open problem (in 2005) in the theory of the spectrum.

Morley's problem was a conjecture (now a theorem) first proposed by Michael D. Morley that I(T,κ) is nondecreasing in κ for uncountable κ. This was proved by Saharon Shelah. For this, he proved a very deep dichotomy theorem.

Saharon Shelah gave an almost complete solution to the spectrum problem. For a given complete theory T, either I(T,κ) = 2κ for all uncountable cardinals κ, or for all ordinals ξ (See Aleph number and Beth number for an explanation of the notation), which is usually much smaller than the bound in the first case. Roughly speaking this means that either there are the maximum possible number of models in all uncountable cardinalities, or there are only "few" models in all uncountable cardinalities. Shelah also gave a description of the possible spectra in the case when there are few models.

List of possible spectra of a countable theory

By extending Shelah's work, Bradd Hart, Ehud Hrushovski and Michael C. Laskowski gave the following complete solution to the spectrum problem for countable theories in uncountable cardinalities. If T is a countable complete theory, then the number I(T, ℵα) of isomorphism classes of models is given for ordinals α>0 by the minimum of 2α and one of the following maps:

  1. 2α. Examples: there are many examples, in particular any unclassifiable or deep theory, such as the theory of the Rado graph.
  2. for some countable infinite ordinal d. (For finite d see case 8.) Examples: The theory with equivalence relations Eβ for all β with β+1<d, such that every Eγ class is a union of infinitely many Eβ classes, and each E0 class is infinite.
  3. for some finite positive ordinal d. Example (for d=1): the theory of countably many independent unary predicates.
  4. for some finite positive ordinal d.
  5. for some finite positive ordinal d;
  6. for some finite positive ordinal d. Example (for d=1): the theory of countable many disjoint unary predicates.
  7. for some finite ordinal d≥2;
  8. for some finite positive ordinal d;
  9. for some finite ordinal d≥2; Examples: similar to case 2.
  10. . Example: the theory of the integers viewed as an abelian group.
  11. for finite α, and |α| for infinite α, where G is some subgroup of the symmetric group on n ≥ 2 elements. Here, we identify αn with the set of sequences of length n of elements of a set of size α. G acts on αn by permuting the sequence elements, and |αn/G| denotes the number of orbits of this action. Examples: the theory of the set ω×n acted on by the wreath product of G with all permutations of ω.
  12. . Examples: theories that are categorical in uncountable cardinals, such as the theory of algebraically closed fields in a given characteristic.
  13. . Examples: theories with a finite model, and the inconsistent theory.

Moreover, all possibilities above occur as the spectrum of some countable complete theory.

The number d in the list above is the depth of the theory. If T is a theory we define a new theory 2T to be the theory with an equivalence relation such that there are infinitely many equivalence classes each of which is a model of T. We also define theories by , . Then . This can be used to construct examples of theories with spectra in the list above for non-minimal values of d from examples for the minimal value of d.

See also


  • C. C. Chang, H. J. Keisler, Model Theory. ISBN 0-7204-0692-7
  • Saharon Shelah, "Classification theory and the number of nonisomorphic models", Studies in Logic and the Foundations of Mathematics, vol. 92, IX, 1.19, p.49 (North Holland, 1990).
  • Hart, Bradd; Hrushovski, Ehud; Laskowski, Michael C. (2000). "The Uncountable Spectra of Countable Theories". The Annals of Mathematics. 152 (1): 207–257. arXiv:math/0007199. Bibcode:2000math......7199H. doi:10.2307/2661382. JSTOR 2661382.
  • Bradd Hart, Michael C. Laskowski, "A survey of the uncountable spectra of countable theories", Algebraic Model Theory, edited by Hart, Lachlan, Valeriote (Springer, 1997). ISBN 0-7923-4666-1
This page was last edited on 24 August 2023, at 09:26
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.