Mathematics – Logic
Scientific paper
2007-02-10
Mathematics
Logic
Scientific paper
On the one hand we try to understand complete types over somewhat saturated model of a complete first order theory which is dependent, by "decomposition theorems for such types". Our thesis is that the picture of dependent theory is the combination of the one for stable theories and the one for the theory of dense linear order or trees (and first we should try to understand the quite saturated case). On the other hand as a measure of our progress, we give several applications considering some test questions; in particular we try to prove the generic pair conjecture and do it for measurable cardinals. The order of the sections is by their conceptions, so there are some repetitions.
No associations
LandOfFree
Dependent theories and the generic pair conjecture 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 theories and the generic pair conjecture, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dependent theories and the generic pair conjecture will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-538659