Dependent first order theories, continued

Details Dependent first order theories, continued Dependent first order theories, continued

2004-06-22

arxiv.org/abs/math/0406440v1

Mathematics

Logic

Scientific paper

A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being dependent. Another one justifies the cofinality restriction in the theorem (from a previous work) saying that pairwise perpendicular indiscernible sequences, can have arbitrary dual-cofinalities in some models containing them.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-669897