Mathematics – Logic
Scientific paper
2012-04-03
Mathematics
Logic
33 pages
Scientific paper
We initiate a systematic study of the class of theories without the tree property of the second kind -- NTP2. Most importantly, we show: the burden is "sub-multiplicative" in arbitrary theories (in particular, if a theory has TP2 then there is a formula with a single variable witnessing this); NTP2 is equivalent to the generalized Kim's lemma; the dp-rank of a type in an arbitrary theory is witnessed by mutually indiscernible sequences of realizations of the type, after adding some parameters -- so the dp-rank of a 1-type in any theory is always witnessed by sequences of singletons; in NTP2 theories, simple types are co-simple, characterized by the co-independence theorem, and forking between the realizations of a simple type and arbitrary elements satisfies full symmetry; a Henselian valued field of characteristic (0,0) is NTP2 (strong, of finite burden) if and only if the residue field is NTP2 (the residue field and the value group are strong, of finite burden respectively); adding a generic predicate to a geometric NTP2 theory preserves NTP2.
No associations
LandOfFree
Theories without the tree property of the second kind 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 Theories without the tree property of the second kind, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Theories without the tree property of the second kind will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-31233