Mathematics – Logic
Scientific paper
2009-11-06
Proceedings of the American Mathematical Society, 139 (2011), 3349-3357
Mathematics
Logic
10 pages, 0 figures
Scientific paper
In this paper, we show that \phi is a dependent formula if and only if all \phi-types have an extension to a \phi-isolated \phi-type that is an "elementary \phi-extension" (see Definition 2.3 in the paper). Moreover, we show that the domain of this extension adds at most 2 times the independence dimension of \phi new elements to the domain of the original \phi-type. We give corollaries to this theorem and discuss parallels to the stable setting.
No associations
LandOfFree
Dependence and Isolated Extensions 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 Dependence and Isolated Extensions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dependence and Isolated Extensions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-699286