Mathematics – Logic
Scientific paper
1992-01-15
Ann. Pure Appl. Logic 58 (1992), 57--72
Mathematics
Logic
Scientific paper
It is shown that if T is stable unsuperstable, and aleph_1< lambda =cf(lambda)< 2^{aleph_0}, or 2^{aleph_0} < mu^+< lambda =cf(lambda)< mu^{aleph_0} then T has no universal model in cardinality lambda, and if e.g. aleph_omega < 2^{aleph_0} then T has no universal model in aleph_omega. These results are generalized to kappa =cf(kappa) < kappa (T) in the place of aleph_0. Also: if there is a universal model in lambda >|T|, T stable and kappa < kappa (T) then there is a universal tree of height kappa +1 in cardinality lambda .
Kojman Menachem
Shelah Saharon
No associations
LandOfFree
The universality spectrum of stable unsuperstable theories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The universality spectrum of stable unsuperstable theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The universality spectrum of stable unsuperstable theories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-637276