yawiki.org entry for Spectrum of a theory

	Navigation Home Recent Most Active Popular Blog Credits RSS
	Interaction Register Statistics
	Help Suggestions Contact Us How to Edit Help

[Edit]

In model theory, a branch of mathematical logic, the spectrum of a theoryis given by the number of isomorphism classes of models in various cardinalities. More precisely,
for any complete theory T in a countable 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 α.

    Spectrum of a theory
        Early results
        List of possible spectra of a theory

top

Early results

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,ω) 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,ω) is infinite then it must be ℵ₀
or ℵ₁ or the cardinality of the continuum. It is not known if it can be ℵ₁ if the continuum hypothesis is false: this is the main remaining open problem (in 2005) in the theory of the spectrum.

Morley's problem is a conjecture (first proposed by Michael D. Morley) in mathematical logic 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 α, or

I(T, aleph_xi) < eth_(|xi|)

(See aleph number and beth number for an explanation of the notation) for all ordinals ξ, which is usually much smaller than the bound in the first case. Roughly speaking this says 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.

top

List of possible spectra of a theory
By extending Shelah's work, Bradd Hart, Ehud Hrushovski, Michael C. Laskowski gave the following complete solution to the spectrum problem 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:

2^ℵα. Examples: there are many examples, in particular any unclassifiable or deep theory, such as the theory of the random graph.

eth_(|alpha+omega|)

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 E₀ class is infinite.

eth_(|alpha+omega|^)

for some finite positive ordinal d. Example (for d=1): the theory of countably many independent unary predicates.

eth_(|alpha+omega|^+eth_2)

for some finite positive ordinal d.

eth_(|alpha+omega|+eth_2)

for some finite positive ordinal d;

eth_(|alpha+omega|^)

for some finite positive ordinal d. Example (for d=1): the theory of countable many disjoint unary predicates.

eth_(|alpha+omega|+eth_1)

for some finite ordinal d≥2;

eth_(|alpha+omega|)

for some finite positive ordinal d;

eth_(|alpha+omega|^)

for some finite ordinal d≥2; Examples: similar to case 2.

eth_2

. Example: the theory of the integers viewed as an abelian group.

|(alpha+1)^n/G| - |alpha^n/G|

for finite α, and |α| for infinite α, where G is some subgroup of the symmetric group on n≥2 elements. Examples: the theory of the set ω×n acted on by the wreath product of G with all permutations of ω.

1

. Examples: theories that are categorical in uncountable cardinals, such as the theory of algebraically closed fields in a given characteristic.

0

. 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 2^T 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

eth_n(T)

eth_0(T)=T

eth_(T)=2^

. Then

I(eth_n(T), lambda)= min(eth_n(I(T,lambda)), 2^lambda)

. 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.

	Source Privacy License Download Contact Us Atlas Scientus.org Dictionary (Yet Another Wiki) RC : 1.39 This article is licensed under the GNU Free Documentation License [copyleft]. It uses material from the Wikipedia article "Spectrum of a theory". link