Toward classifying unstable theories

Details Toward classifying unstable theories Toward classifying unstable theories

1995-08-15

arxiv.org/abs/math/9508205v1

Ann. Pure Appl. Logic 80 (1995), 229--255

Mathematics

Logic

Scientific paper

The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories without the tree property, a class properly containing the stable theories) behaves ``better'' than theories with the strict order property, by criterion from [Sh:457]. In the second section we introduce properties SOP_n such that the strict order property implies SOP_{n+1}, which implies SOP_n, which in turn implies the tree property. Now SOP_4 already implies non-existence of universal models in cases where earlier the strict order property was needed, and SOP_3 implies maximality in the Keisler order, again improving an earlier result which had used the strict order property.

Affiliated with

Also associated with

No associations

Rating

Toward classifying unstable 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 Toward classifying unstable theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Toward classifying unstable theories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-24250