Orthogonality and domination in unstable theories
Alf Onshuus, Alex Usvyatsov

TL;DR
This paper explores the concepts of orthogonality, domination, and related types in rosy and super-rosy theories, aiming to extend these ideas to more general dependent theories.
Contribution
It develops a framework for understanding orthogonality and domination in dependent theories, building on existing theories in rosy and super-rosy contexts.
Findings
Analyzed orthogonality and domination in rosy theories
Extended concepts to arbitrary dependent theories
Provided new insights into type structures in model theory
Abstract
In the first part of the paper we study orthogonality, domination, weight, regular and minimal types in the contexts of rosy and super-rosy theories. Then we try to develop analogous theory for arbitrary dependent theories.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Advanced Algebra and Logic · Advanced Banach Space Theory
Orthogonality and domination in unstable theories
Alf Onshuus
and
Alexander Usvyatsov
Alexander Usvyatsov
Universidade de Lisboa
Centro de Matemática e Aplicações Fundamentais
Av. Prof. Gama Pinto,2
1649-003 Lisboa
Portugal http://www.math.ucla.edu/~alexus
Abstract.
In the first part of the paper we study orthogonality, domination, weight, regular and minimal types in the contexts of rosy and super-rosy theories. Then we try to develop analogous theory for arbitrary dependent theories.
The second author was partially supported by FCT grant SFRH / BPD / 34893 / 2007
1. Introduction and preliminaries
There are several questions that motivated this research. First, it is natural to extend the concepts of domination, regularity and weight to rosy theories (as it has already been done in the simple unstable context). One reason for doing this is “coordinatization” theorems: one would like to analyze an arbitrary type in terms of types that can be studied and classified more easily: regular (admit a pregeometry), minimal, etc. We prove several results of this kind in section 3. These provide a complementary picture to the recent work of Assaf Hasson and the first author [HaOn2] where minimal types in super-rosy theories are investigated. For example, the two articles combined throw some light on types in theories interpretable in o-minimal structures.
Another motivation came from our desire to understand and develop the concept of strong dependence ([shelah863]). It has recently become clear that this notion is strongly connected to weight. In [Us] the second author shows that every strongly dependent type has rudimentary finite generically stable weight. Hence a stable theory is strongly dependent precisely when every type has finite weight. The latter conclusion has also been observed by Adler in [Ad], as he studied the notion of “burden”, which generalizes weight and makes sense in any theory. A related concept (within the context of dependent theories) is investigated by the authors in [OnUs]. A natural question that arises is: given a dependent theory with a good enough independence relation, does strong dependence always imply finite “weight” ? More precisely, we analyze the following two questions in this article. Is thorn-weight finite in a strongly dependent rosy theory? Is there a natural notion of forking weight in an arbitrary dependent theory, and what is the connection to strong dependence? We give a positive answer to the first question in section 2, and address the second one in section 4.
Several directions pursued in this paper require a delicate analysis of existence of mutually indiscernible (sometimes Morley) sequences. Claims of this form are proved in section 2 (in rosy context) and section 4 (for dependent theories). We find these results of interest on their own and believe that they might have further applications. One interesting consequence of our analysis which has several applications beyond the study of weight is that in a dependent theory dividing (say, over an extension base) can be always witnessed by a Morley sequence.
The paper is organized as follows:
We start by defining notions related to forking and þ-forking, quoting some of the relevant results and proving others that will be needed throughout the paper.
Most of the paper is devoted to understand þ-orthogonality and the role of þ-regular and minimal types in rosy, super-rosy, and finite {\rm{\text{U}}}^{\text{\th}}-rank structures. We show many results analogous to those in stable (and simple) theories, and conclude with a strong decomposition theorem for types of finite rank in rosy theories. As we have already mentioned, this result suggests that analysis of minimal types (as is done e.g. in [HaOn2]) leads to understanding of all types in a rosy theory of finite rank (e.g., a theory interpretable in an o-minimal structure).
Section 2 gives proofs of certain basic results on thorn-weight, thorn-domination and regularity. Many of these proofs follow the lines of classical ones, but we still go through them carefully, and where the proofs diverge, we give alternative proofs for the þ-forking context or explain how to bridge the gaps. In this section we also connect thorn-weight to strong dependence and show that every type in a strongly dependent rosy theory has finite thorn-weight.
We have recently learnt that Hans Adler has also written (in an unpublished note) a proof of the fact that in a rosy theory, rudimentarily finite þ-weight implies finite þ-weight (Theorem 2.21). Both his and our proofs of this particular fact are mostly based on Wagner’s argument [wagnerbook] for simple theories, which is itself a generalization of Hyttinen’s results [Hy] in the stable context.
In contrast, the analysis of finite-rank theories in Section 3 is not close to the existing proofs for stable and simple theories. Several useful technical tools applicable in this and related contexts are developed, the main one being Proposition 3.6. We believe that these tools should have many applications.
Finally, in Section 4 we finish the paper by investigating sufficient conditions for existence of mutually indiscernible sequences in dependent theories and draw certain conclusions about the meaning of strong dependence, the behavior of forking and concepts related to weight. In particular it is shown that dividing in a dependent theory can normally be witnessed by a Morley sequence.
1.1. Notations and Assumptions
Given a theory , we will work inside its monster model denoted by . By “monster” we mean that all cardinals we mention are “small” (i.e. smaller than saturation of ), all sets are small subsets of , all models are small elementary submodels of , and truth values of all formulae and all types are calculated in . We denote tuples (finite unless said otherwise) by lower case letters etc, sets by etc, models by etc.
By we mean . Recall that this is equivalent to having satisfying .
Given an order type , a sequence and , we often denote the set by . Similarly for etc. We also often identify the sequence with the set ; that is, when no confusion should arise we write etc.
We will write a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}B for “ does not fork over ” even if is not simple. Although non-forking is generally not an independence relation, we still find this notation convenient.
For simplicity we assume for all theories mentioned in this paper.
1.2. þ-forking
Since a big part of the paper deals with þ-forking and its properties, we will now define the basic concepts related to this notion. The following definitions and facts can be found in [onshuus].
Definition 1.1**.**
Let be a formula, be a tuple and be any set. Then we define the following.
- •
* strongly divides over if is not algebraic over and the set*
[TABLE]
is -inconsistent for some .
- •
* þ-divides over if there is some such that strongly divides over .*
- •
* þ-forks over if there are finitely many formulas such that and þ-divides over for .*
We will define a theory to be rosy if it does not admit infinite þ-forking chains.
Naturally, we say that a (partial) type þ-divides/forks over a set if it contains a formula which þ-divides/forks over .
It is convenient to make definition of strong dividing for types slightly more tricky, since by making sure that the strongly dividing type uses “all” the parameters we are able to use algebraic closure much more efficiently. We begin with the following definition in the particular case of a type over a finite set.
Definition 1.2**.**
Let be a (partial) type over a finite tuple . We say that strongly divides over a set if there is a formula which strongly divides over .
Remark 1.1*.*
Notice that the definition of strong dividing (for formulas) implies the following.
- (i)
If strongly divides over , then for every we have is algebraic (whereas is nonalgebraic). 2. (ii)
strongly divides over if and only if
- •
- •
For every infinite nonconstant indiscernible sequence in , we have is inconsistent. 3. (iii)
Let be such that . Then strongly divides over if and only if for any we have . 4. (iv)
If strongly divides over and is such that then strongly divides over .
Proof.
- (i)
Suppose strongly divides over (so in particular , and let . By the definition, there are only finitely many (say, ) in such that . In particular, there are only finitely many realizations of , as required. 2. (ii)
The “only if” direction is clear. For the “if” direction, suppose that does not strongly divide over , but . Then for every there is a subset of such that . By compactness, for any cardinal there is a sequence of realizations of such that for every . By Fact 1.13 there is such an infinite (nonconstant) indiscernible sequence. 3. (iii)
The “only if” direction follows from (i).
On the other hand, assume that , does not strongly divide over , but for any we have . By (ii), for every formula there is an indiscernible sequence in such that is consistent. Let . By compactness, there is an indiscernible sequence in such that is consistent (and, moreover, ). Let . Clearly , since for all . This contradicts the assumptions. 4. (iv)
follows easily from (ii).
∎
In view of (iii) above, we define in general
Definition 1.3**.**
A type strongly divides over if is nonalgebraic over , but is algebraic over for every .
It may be good to point out that the definition of strong dividing over is not equivalent to having a strong dividing formula. The main point is that strong dividing is quite sensitive to the parameters we name, which is not very common in model theory (it is not closed under elementary equivalence) but which is quite useful when working with þ-forking.
Recall that a formula is called stable if it does not have the order property (see [shelahbook]).
Fact 1.2**.**
If a stable formula witnesses that a type forks over , then there is a -formula witnessing that þ-forks over .
In particular, in any stable theory the concepts of þ-forking and forking coincide.
Proof.
This is Lemma 5.1.1 in [onshuus]. ∎
As with stable theories, for many of our results we will need the existence of a global rank based on the independence notion, which in this case corresponds to þ-forking.
Definition 1.4**.**
Let be a model. We will define the {\rm{\text{U}}}^{\text{\th}}-rank to be the foundation rank of the order given by the þ-forking relation on types consistent with . A theory will be called super-rosy whenever the {\rm{\text{U}}}^{\text{\th}}-rank of any type in any model of is ordinal valued.
Fact 1.3**.**
Let be a super-rosy theory and let be subsets of a model of .
Then
[TABLE]
Proof.
Theorem 4.1.10 in [onshuus]. ∎
We will need the following easy but important Observation. It will allow us to understand how far we need to extend the types to get þ-dividing from þ-forking and strong dividing from þ-dividing; it will be key for the proof of the decomposition theorem for a type of finite þ-rank in Section 3. The proof is quite close to the proof of Lemmas 3.1, 3.2 and 3.4 in [HaOn]. However, we prove (and need) a slightly different result, so we include a proof.
Observation 1.4**.**
- Let be a model of a rosy theory , and let be tuples (and sets) in . Then the following hold.
- (i)
Let be a type over which þ-forks over . Then there is a non-þ-forking extension of such that þ-divides over . 3. (ii)
Let be elements and be a set such that þ-divides over . Then there is some such that b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Aa}e and such that strongly divides over .
In particular, if is a type of ordinal valued {\rm{\text{U}}}^{\text{\th}}-rank, then {\rm{\text{U}}}^{\text{\th}}(tp(b/Aae))<{\rm{\text{U}}}^{\text{\th}}(tp(b/Ae)).
Proof.
(i) Let be as in statement (i) of the Observation and let .
By definition, there are finitely many formulas such that
[TABLE]
and þ-divides over . By extension of þ-independence we know that there are such that b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Aa}a_{1}^{\prime}\dots a_{n}^{\prime}.
So for some ; defining and , we get by construction that satisfies the statement of the Observation.
(ii) Let and be as in statement (ii) of the Observation. By definition of þ-dividing there is some and some such that strongly divides over . Note that in particular .
Let be such that b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Aa}e. Since , strong dividing is preserved. Moreover, , hence by the definition (alternatively, by Remark 1.1(v)), strongly divides over .
∎
Finally, we will prove the following well known fact.
Fact 1.5**.**
Let a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}B. Then there is a þ-Morley sequence over based on starting with .
Proof.
First, construct a non-þ-forking sequence in based on starting with by the standard construction, that is, , , a^{\prime}_{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}Ba^{\prime}_{<i}. Moreover, make large enough so that using Erdös-Rado (more precisely, Fact 1.13, see also Remark 1.14) one can find which is an -sequence, -indiscernible and every -type of over “appears” in . Clearly is a þ-Morley sequence over based on . Moreover, since every element of satisfies , so does every element of , so by applying an automorphism over we may assume that starts with . ∎
1.3. Dependent theories and generically stable types
Recall that a theory is called dependent if there does not exist a formula which exemplifies the independence property. We are mostly going to use the following equivalent definition:
Fact 1.6**.**
* is dependent if and only if there do not exist an indiscernible sequence , a formula and such that both*
[TABLE]
and
[TABLE]
are unbounded in .
In section 4, we will work with the classical Shelah’s notions of dividing, forking and splitting from [shelahbook]. Definitions and a quick summary of properties can be found in section 2 of [Us]. In particular, we will use the following easy (but important) consequence of dependence (due to Shelah, [Sh783]).
Fact 1.7**.**
(T dependent) Strong splitting implies dividing (and therefore forking).
We will now define and give the basic properties of generically stable types.
Definition 1.5**.**
We call a type generically stable if every Morley sequence in it is an indiscernible set.
The following key properties of generically stable types can be found in [Us]:
Fact 1.8**.**
(T dependent)
- (i)
* is generically stable if and only if some Morley sequence in is an indiscernible set. * 2. (ii)
Let be a generically stable type. If , then it is definable over . If is definable over (e.g. ), then is stationary (in the sense that it has unique non-forking extensions). 3. (iii)
Let be generically stable. Non-forking defines on the set of realizations of a stable independence relation (that is, a relation satisfying all the axioms of a stable independence relation).
Note that generic stability is not necessarily closed under extensions.
1.4. Strong dependence and dp-minimality
The following definitions were motivated by the notions of strong dependence of Shelah (see e.g. [shelah863]) and appear in [Us] and [OnUs]. In the definitions below we denote tuples by (in order to stress the difference between singletons and finite tuples of arbitrary length).
Definition 1.6**.**
**
- (i)
A randomness pattern of depth for a (partial) type over a set is an array and formulae for such that
- (a)
The sequences are mutually indiscernible over , that is, is indiscernible over . 2. (b)
** 3. (c)
for every , the set
[TABLE]
is consistent with . 2. (ii)
A (partial) type over a set is called strongly dependent if there do not exist formulae for and sequences for mutually indiscernible over such that for every , the set
[TABLE]
is consistent with .
In other words, is called strongly dependent if there does not exist a randomness pattern for of depth . 3. (iii)
Dependence rank* (dp-rk) of a (partial) type over a set is the supremum of all such that there exists a randomness pattern for of depth . * 4. (iv)
A (partial) type over a set is called dp-minimal if dp-rank of is 1.
In other words, is dp-minimal if there does not exist a randomness pattern for of depth . 5. (v)
A theory is called strongly dependent/dp-minimal if the partial type is (here is a singleton). 6. (vi)
Let be dependent. A type is called strongly stable if it is strongly dependent and generically stable.
Remark 1.9*.*
Note that Shelah basically shows in [shelah863] Observation 1.7 that if there exists a type which is not strongly dependent, then there exists such a type with being a singleton. Therefore if there exists an non-strongly dependent type, then is not strongly dependent and the definitions above make sense.
Note that if in the definition of a randomness pattern all formulae are the same, we get the independence property:
Observation 1.10**.**
A theory is dependent if and only if it does not admit a randomness pattern of some/any infinite depth with for all if and only if does not admit a randomness pattern of depth .
Proof.
By compactness. ∎
A related notion, which will be convenient for us to consider, was investigated by Adler in [Ad]. We are going to use a slightly different terminology (some of it comes from [OnUs]).
Definition 1.7**.**
**
- (i)
A dividing pattern of depth for a (partial) type over a set is an array and formulae for such that
- (a)
The sequences are mutually indiscernible over , that is, is indiscernible over . 2. (b)
** 3. (c)
for every , the set
[TABLE]
is consistent with . 4. (d)
for every there exists such that the set
[TABLE]
is -inconsistent with . 2. (ii)
A (partial) type over a set is called strong if there does not exist a dividing pattern for of depth . 3. (iii)
A theory is called strong if every finitary type is strong.
Remark 1.11*.*
Note that by mutual indiscernibility in clause (c) of the definition of a dividing pattern it is enough to demand that the set
[TABLE]
is consistent with .
The reader is encouraged to have a look in [Ad] for the discussion of strong theories. A theory is strong and dependent if and only is it is strongly dependent (as suggested by the name), and this is mostly the case we are interested in in this article; but there are also strong theories which are simple unstable, and even .
The following easy Lemma was proven by the authors in [OnUs] in order to establish the connection between randomness and dividing patterns. It is also implicit in some proofs in [Ad]. We include the proof for completeness.
Lemma 1.12**.**
- (i)
Let be a type over a set , let be a sequence indiscernible over , and let be a formula such that is consistent for some (all) and is -inconsistent for some . Then
[TABLE]
is consistent for all . 2. (ii)
Let be a type over a set , and let , be a dividing pattern for over of depth . Then there exists a randomness pattern for over of depth ; in fact, the randomness pattern is given by the same array and collection of formulae. 3. (iii)
Clause (ii) holds also when the depth is replaced with any cardinal .
Proof.
- (i)
Without loss of generality let us assume that and . Assume also that is minimal such that the set is -inconsistent. By the assumptions .
By indiscernibility it is enough to show that the set
[TABLE]
is consistent. Since is -consistent, the set
[TABLE]
is consistent, realized by some . But is -inconsistent, so clearly
[TABLE]
and we are done. 2. (ii)
A very similar proof (working with instead of ) is left to the reader. 3. (iii)
By clause (ii) and compactness.
∎
1.5. Morley-Erdös-Rado
We will make use of the following classical result (originally due to Morley, although often is referred to as “Erdös-Rado argument”, since it is an easy consequence of Erdös-Rado theorem and compactness):
Fact 1.13**.**
Let be a cardinal. Then there exists such that for every set of cardinality and a sequence of tuples there exists an -type of an -indiscernible sequence such that for every there exist such that the restriction of to the first variables equals .
We will sometimes denote as above by .
Remark 1.14*.*
Let be a set, , an -indiscernible sequence. Then there exists , , indiscernible over .
Proof.
First extend to be long enough so that Fact 1.13 can be applied to it with . Then there exists indiscernible over such that every -type of over “appears” in . In particular has the same type over as (since was -indiscernible and ). ∎
2. þ-orthogonality and þ-regularity in rosy
structures.
The first part of this section is devoted to develop the analogue notions of domination, orthogonality, weight and regularity in the þ-forking context and the properties such notions have under different hypothesis. In the mean time we will show the relation with strong dependence.
Throughout the section we will assume that is rosy.
Definition 2.1**.**
We define the following.
- •
Two types and are weakly þ-orthogonal if they are defined over a common domain and for every tuple and we have a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}b. This is denoted by p\perp^{\text{\th}}_{w}q.
- •
Two types and are þ-orthogonal if every non-þ-forking extensions and of and respectively to a common domain are weakly þ-orthogonal. This is denoted by p\perp^{\text{\th}}q.
- •
Let be a set, tuples. We say that þ-dominates over if for every we have b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}c implies a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}c. In this case we write b\lhd^{\text{\th}}_{A}a.
- •
We say that are th-domination equivalent over if they dominate each other over . Clearly, this is an equivalence relation. In this case we write a\bowtie^{\text{\th}}_{A}b.
- •
Let and be types over and respectively. We will say that þ-dominates if there are realizations of and respectively such that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}B, b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}A and b\lhd^{\text{\th}}_{A\cup B}a. If , we say that þ-dominates over .
- •
We say that types and are þ-equidominant if there are non-forking extensions of respectively to a common domain and realizations which are domination equivalent over . In this case we write p\Join^{\text{\th}}q.
Remark 2.1*.*
Note that equidominance is not (in general) an equivalence relation on types. Note also that if two types dominate each other, they are not necessarily equidominant (even if the domination is over the same set of parameters ), not even in stable theories. The problem is that whereas dominance on elements (over a set ) is transitive, dominance on types is generally not. See section 5.2 of [wagnerbook] for further discussion of this matter and examples.
Now we define þ-pre-weight and þ-weight of a type . We will denote them by \operatorname{{pwt^{\text{\th}}}}(p) and \operatorname{{wt^{\text{\th}}}}(p). Note that Fact 1.2 implies that in stable theories þ-weight coincides with the usual notion of weight.
Definition 2.2**.**
**
- •
Let be any type over some set . We will say that witnesses \operatorname{{pwt^{\text{\th}}}}(p(x))\geq n (þ-pre-weight of is at least ) if , is -þ-independent and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}b_{i} for all . If is maximal such that such a witness exists, we will say that witnesses \operatorname{{pwt^{\text{\th}}}}(p(x))=n and that has þ-pre-weight .
- •
We say that a type has finite þ-pre-weight if \operatorname{{pwt^{\text{\th}}}}(p)<\omega. We say that a type has rudimentary finite þ-pre-weight if one can not find an infinite witness as in (i) above.
- •
Let be any type over some set . We will say that witnesses \operatorname{{wt^{\text{\th}}}}(p(x))\geq n (þ-weight of is at least ) if , a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}B, is -þ-independent and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}b_{i} for all . If is maximal such that such a witness exists, we will say that witnesses \operatorname{{wt^{\text{\th}}}}(p(x))=n and that has þ-weight .
- •
We say that a type has finite þ-weight if \operatorname{{wt^{\text{\th}}}}(p)<\omega. We say that a type has rudimentary finite þ-weight if every non-þ-forking extension of has rudimentary finite pre-weight.
It follows from the definition that \operatorname{{wt^{\text{\th}}}}(p)\geq n if and only if there exists a non-þ-forking extension of with þ-pre-weight at least .
Notice also that one could define infinite þ-pre-weight and weight as usual, but we will be concerned only with finite þ-weights in this paper.
2.1. Finite þ-weight and strong dependence
Let us first make the obvious connections between þ-weight and the notion of -þ-forking studied in [OnUs].
We recall the definitions. Note that the variable is a singleton.
Definition 2.3**.**
**
- (i)
We say that a tuple and a set witness -crisscrossed strong-dividing (--strong-dividing) if , strong divides over and \bar{a}^{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\langle\bar{a}^{j}\rangle_{j\neq i} for all . 2. (ii)
We say that a tuple and a set witness -crisscrossed þ-dividing (--þ-dividing) if , þ-divides over and \bar{a}^{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\langle\bar{a}^{j}\rangle_{j\neq i} for all . 3. (iii)
We say that a tuple and a set witness -crisscrossed þ-forking (--þ-forking) if , þ-forks over and \bar{a}^{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\langle\bar{a}^{j}\rangle_{j\neq i} for all . 4. (iv)
We say that admits --þ-forking (or þ-dividing or strong dividing) if there exists a tuple witnessing --þ-forking (or þ-dividing or strong forking) over . 5. (v)
Let be a 1-type over a set . We say that a tuple witnesses þ-forking (or þ-dividing or strong dividing) in if , witness --þ-forking (or þ-dividing or strong dividing) and the formula is consistent with . 6. (vi)
We say that a type admits --þ-forking (or þ-dividing or strong dividing) if there exists a tuple witnessing --þ-forking (or þ-dividing or strong dividing) in .
Remark 2.2*.*
The following follow straight from the definitions.
- (i)
admits --þ-forking if and only if there exists a set and a type which admits --þ-forking. 2. (ii)
Let be rosy Then a type does not admit --þ-forking if and only if it has pre-þ-weight less than . 3. (iii)
So a rosy does not admit --þ-forking if and only if every 1-type has pre-þ-weight less than if and only if every 1-type has þ-weight less than .
The following is shown in [OnUs]. For completeness we include the proof in the appendix, see A.1.
Fact 2.3**.**
The following are equivalent for any .
- (i)
* admits --þ-forking.* 2. (ii)
* admits --þ-dividing.* 3. (iii)
There is an extension of such that admits --strong dividing.
The main goal of this subsection is to characterize, in rosy theories, strong dependence in terms of the þ-pre-weight. In order to do this, we will need to prove existence of mutually þ-Morley sequences. The procedures will also bring some light as to what is needed in order to characterize strong dependence within dependent theories (or Adler’s “strongness” within arbitrary theories) in terms of weight with respect to some independence notion.
Observation 2.4**.**
Let be sequences such that is a þ-Morley sequence over based on . Then is a non-þ-forking sequence over based on .
Proof.
We need to prove that \bar{a}^{i}_{j}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{a}^{i}_{<j}I^{\neq i} where we define .
By the assumptions, \bar{a}^{i}_{j}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{a}^{i}_{<j}I^{<i} for all . Hence by transitivity and finite character of þ-forking, we have I^{>i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}I^{\leq i} for all , in particular I^{>i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{a}^{i}_{\leq j}I^{<i} for all . By transitivity again, combining \bar{a}^{i}_{j}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{a}^{i}_{<j}I^{<i} and I^{>i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{a}^{i}_{\leq j}I^{<i}, we have \bar{a}^{i}_{\leq j}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}I^{\neq i}.
Therefore, since \bar{a}^{i}_{j}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{a}^{i}_{<j}, we get \bar{a}^{i}_{j}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{a}^{i}_{<j}I^{\neq i}, as required. ∎
Lemma 2.5**.**
Let be a set of tuples and let be sequences such that
- •
For each the sequence is -indiscernible.
- •
* starts with .*
Then there exist sequences such that
- •
For each the sequence is -indiscernible.
- •
. So in particular, starts with .
Moreover, if are þ-Morley sequences over based on , then we can make Morley over based on .
Proof.
Exactly the same construction is used to prove both parts of the Lemma. To avoid being repetitive, we will prove the “moreover” part. The proof of the first part is the same, except that without the extra assumptions we cannot get the stronger conclusion. So assume the ’s is a þ-Morley sequence over based on .
We need to make sure that can be made indiscernible over and not only over . So assume that as in Fact 1.13. We will make our way “backwards”, that is, by downward induction on , starting with .
Assume that for we have are þ-Morley -sequences over based on , whereas for we still have of length which are þ-Morley sequences over based on , non-þ-forking over (we have the last assumption by Observation 2.4).
By Fact 1.13 we can find which is an indiscernible -sequence over such that every -type of over “appears” in . So in particular has the same type over as . Moreover, since þ-forking has finite character, is non-þ-forking over .
Notice that given a finite tuple in the question of whether for some and we have amounts to the same question over some in . Since these were indiscernible, we get that for any the sequence is still indiscernible over . Using a similar argument one can also make sure that for we still have that is a non-þ-forking sequence over .
So the satisfies all the requirements, except for the fact that we need the first element of it to be . Note, though, that the first element of has the same type over as . So applying an automorphism over , we obtain a new that starts with and new for which satisfy all the required properties, completing the proof of the inductive step.
∎
Lemma 2.6**.**
Let be a set of tuples which is þ-independent over a set . Then there exist sequences such that
- •
For each the sequence is a þ-Morley sequence over based on . So is -indiscernible and I^{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}I^{\neq i}.
- •
* starts with .*
Proof.
We construct sequences such that is a þ-Morley sequence over based on . By Lemma 2.5, this is enough in order to obtain the desired conclusion. The construction is by induction on .
The case follows from Fact 1.5.
So let , and assume that already exist. Note that I^{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{a}^{>0}, I^{1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}I^{0}\bar{a}^{>1} hence I^{0}I^{1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}a^{>1}. Continuing like this we see that I^{<i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{a}^{\geq i}. By symmetry and transitivity \bar{a}^{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}I^{<i}\bar{a}^{>i}, and we can apply Fact 1.5 again.
∎
We are now able to prove that strong dependence implies boundedness (by ) of -strong dividing patterns and of þ-weight.
Proposition 2.7**.**
If a type admits a --strong-dividing witness then .
Proof.
Let and a set witness --strong dividing, that is, is consistent with , strongly divides over and \bar{a}^{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\langle\bar{a}^{j}\rangle_{j\neq i} for all .
By the definition of strong dividing . Since is þ-independent, we can build as in Lemma 2.6 sequences such that:
- •
is a þ-Morley sequence over based on .
- •
.
For each and denote . Note that since strongly divides over , for some the formula is inconsistent.
So we clearly have a þ-dividing pattern (see Definition 1.7) for of depth ; applying Lemma 1.12(ii), we are done.
∎
Theorem 2.8**.**
If is strongly dependent (and rosy) then every (finitary) type has rudimentarily finite þ-weight. If is dp-minimal then every 1-type has þ-weight 1.
Moreover, the conclusion is true if we just assume that is strong and rosy.
Proof.
This now follows easily from Remark 2.2, Fact 2.3 and Proposition 2.7.
For the “moreover” part note that Lemma 2.6 only assumes rosiness, and in Proposition 2.7 we show, in fact, existence of a dividing pattern. ∎
The rest of the section will be devoted to show the equivalence between “rudimentarily finite” þ-weight and “finite þ-weight”.
2.2. Basic properties
Here we list the basic properties of þ-weight. Some of the results and the proofs in this subsection are very similar, and sometimes completely analogous to the results in simple theories (see section 5.2 of [wagnerbook]).
Lemma 2.9**.**
The following hold.
- (i)
If a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}b then \operatorname{{wt^{\text{\th}}}}(a/A)=\operatorname{{wt^{\text{\th}}}}(a/Ab). 2. (ii)
\operatorname{{wt^{\text{\th}}}}(ab/A)\leq\operatorname{{wt^{\text{\th}}}}(a/A)+\operatorname{{wt^{\text{\th}}}}(b/A). Equality holds whenever a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}b.
Proof.
The proofs are the same as proofs of Lemmas 5.2.3 and 5.2.4 in [wagnerbook], replacing instances of forking for þ-forking. ∎
The following is very easy:
Observation 2.10**.**
Suppose that is þ-dominated by over a set , and is such that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}A^{\prime},b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}A^{\prime}. Then is þ-dominated by over .
Observation 2.11**.**
Suppose a\lhd^{\text{\th}}_{A}b. Then \operatorname{{wt^{\text{\th}}}}(a/A)\leq\operatorname{{wt^{\text{\th}}}}(b/A).
Proof.
Assume that \operatorname{{wt^{\text{\th}}}}(a/A)\geq n. Then there are witnessing this; that is, a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}A^{\prime}, is an -þ-independent set, and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}c_{i} for all . Let be such that b^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Aa}A^{\prime}. So ab^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}A^{\prime}, hence by the previous Observation is dominated by over . So b^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}c_{i} for all . In particular, \operatorname{{wt^{\text{\th}}}}(b/A)\geq\operatorname{{wt^{\text{\th}}}}(b^{\prime}/A^{\prime})\geq n, as required. ∎
Observation 2.12**.**
- •
If are not þ-weakly orthogonal and \operatorname{{pwt^{\text{\th}}}}(q)=1, then dominates over .
- •
The relation is an equivalence relation on types over of þ-pre-weight 1.
Proof.
Easy (see 5.2.11 and 5.2.12 in [wagnerbook]). ∎
The following two lemmas are easy but very useful.
Lemma 2.13**.**
Assume b\lhd^{\text{\th}}_{A}a. Then there exists containing such that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}B (hence b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}B) such that ab\lhd^{\text{\th}}_{B}a.
Proof.
We try to choose by induction on an increasing and continuous sequence of sets such that and for all we have:
- •
ab\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A_{\alpha}}A_{\alpha+1}
- •
a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A_{\alpha}}A_{\alpha+1} (hence b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A_{\alpha}}A_{\alpha+1})
By local character of þ-independence, there is such that it is impossible to choose . Denote . It is easy to see that the all the requirements are satisfied. ∎
Lemma 2.14**.**
Assume that ab\lhd^{\text{\th}}_{A}a, a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}c, b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}c and \operatorname{{wt^{\text{\th}}}}(\operatorname{tp}(c/A))=1. Then bc\lhd^{\text{\th}}_{A}a.
Proof.
Assume a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}d. Since ab\lhd^{\text{\th}}_{A}a, we have ab\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}d, hence a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Ab}d. Let . Then c\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}A^{\prime} and c\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}a (otherwise, by transitivity c\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}ab). Since \operatorname{{wt^{\text{\th}}}}(c/A)=1, clearly c\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}d (otherwise, remembering that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}d, we would get that witness \operatorname{{pwt^{\text{\th}}}}(c/A^{\prime})\geq 2). Hence bc\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}d, as required. ∎
Observation 2.15**.**
Let and witness \operatorname{{pwt^{\text{\th}}}}(p)=n Then a\lhd^{\text{\th}}_{B}b_{1}\ldots b_{n}.
Proof.
Assume c\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}a and c\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}b_{1}\ldots b_{n}. Then the set is -þ-independent, and it witnesses \operatorname{{pwt^{\text{\th}}}}(a/B)\geq n+1, a contradiction. ∎
2.3. From rudimentarily finite to finite.
We will now prove that if a type has rudimentarily finite þ-weight, it has finite þ-weight. As with stable theories, in order to show this we found it necessary to prove the very interesting fact that a type of (rudimentarily) finite þ-weight is þ-equidominant with a finite free product of þ-weight 1 types.
A good start would be showing that every type of rudimentarily finite weight is “related” (in terms of non-þ-orthogonality) to þ-weight-1 types. The following two lemmas generalize Hyttinen’s results from [Hy] on types in a stable theory, and we adapt his technique to the rosy context.
Lemma 2.16**.**
Let , and assume that
- (i)
* witness \operatorname{{wt^{\text{\th}}}}(p)\geq n. That is, a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}A^{\prime}, are þ-independent over and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}b_{i} for all .* 2. (ii)
There is no extending such that the following three conditions hold:
- (a)
a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}C** 2. (b)
b_{1}b_{2}\ldots b_{n-1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}Cb_{n}** 3. (c)
b_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}C.
Then
- (1)
Whenever a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}c and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}b_{n}}c, we have b_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}c.
- (2)
If, furthermore, \operatorname{{wt^{\text{\th}}}}(\operatorname{tp}(b_{n}/A^{\prime}))>1, then there are and such that witness \operatorname{{wt^{\text{\th}}}}(p)\geq n+1.
Proof.
- (1)
Assume b_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}c but a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}c and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}b_{n}}c. Without loss of generality c\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}b_{n}a}b_{1}\ldots b_{n-1}, hence c\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}b_{n}}b_{1}\ldots b_{n-1}. Let . It is easy to see that (a),(b),(c) above hold for (e.g. (b) holds by symmetry and transitivity), contradicting assumption (ii) of the Lemma.
- (2)
Assume \operatorname{{wt^{\text{\th}}}}(\operatorname{tp}(b_{n}/A^{\prime}))>1. This means that there are and such that
- –
b_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}B
- –
c\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}d
- –
b_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}c and b_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}d
Without loss of generality ab_{1}\ldots b_{n-1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}b_{n}}Bcd. It is easy to see that the assumptions of the Lemma still hold after replacing with . So part (1) holds as well. In particular, since b_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}c and b_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}d, whereas a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Bb_{n}}c and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Bb_{n}}d, so a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}c and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}d. Choosing , we are done.
∎
Lemma 2.17**.**
Let be a type of rudimentarily finite þ-weight. Then is non-þ-orthogonal to a type of þ-weight 1.
Moreover, suppose that are such that witness \operatorname{{wt^{\text{\th}}}}(p)\geq m+1. Then there exist and such that
- •
\operatorname{{wt^{\text{\th}}}}(d^{\prime}/A^{\prime})=1**
- •
* witness \operatorname{{wt^{\text{\th}}}}(p)\geq m+1.*
Proof.
By considering a non-þ-forking extension it is clear that the Lemma follows from the “moreover” part.
We will prove that if the conclusion fails we can witness that has rudimentary infinite þ-weight, thus contradicting the hypothesis of the Lemma.
Assume towards a contradiction that the conclusion fails and construct by induction on sets , and tuples such that
- •
, so
- •
, ,
- •
The sequences and are increasing
- •
witness \operatorname{{wt^{\text{\th}}}}(p)\geq n+1.
The case is given, so suppose we have , and as above.
By local character of þ-independence, we can replace by satisfying the assumptions of Lemma 2.16 with there replaced by our : if given some there exists a as in (ii) of Lemma 2.16 above, it satisfies all the requirements of in (i), so we can replace with and continue; local character of þ-forking and the fact that d\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}C guaranties that the process will eventually stop. So by Lemma 2.16 (and the assumption towards contradiction), we can “split” into two elements and , that is, find such that witness \operatorname{{wt^{\text{\th}}}}(p)\geq n+1, as required.
Let , . Clearly, is an infinite witness for \operatorname{{wt^{\text{\th}}}}(p)\geq\aleph_{0}, contradicting having rudimentarily finite weight.
Since this construction contradicts our hypothesis, we know that for some we have \operatorname{{wt^{\text{\th}}}}(d_{n}/A_{n})=1. But then satisfy the conditions required in the conclusion of the Lemma. ∎
We are finally ready to prove that a type of rudimentarily finite þ-weight has finite þ-weight. The proof will be based on Observation 2.18, but first we make the following (temporary) definition.
Definition 2.4**.**
Let be any type.
We will say that a witness is a nice witness of \operatorname{{wt^{\text{\th}}}}(p)\geq m if and \operatorname{{wt^{\text{\th}}}}(b_{i}/A)=1 for all .
We will say that a witness of \operatorname{{wt^{\text{\th}}}}(p)\geq m to \operatorname{{wt^{\text{\th}}}}(p)>m is contained in a witness of \operatorname{{wt^{\text{\th}}}}(p)\geq n if and . We say that the first witness if properly contained in the second one if .
We will say that a (nice) witness is maximal if it is not properly contained in any other (nice) witness.
Observation 2.18**.**
Let be a type of rudimentarily finite weight.
Then every witness of \operatorname{{wt^{\text{\th}}}}(p)\geq m is contained in a maximal witness .
Even more, every nice witness of \operatorname{{wt^{\text{\th}}}}(p)\geq m is contained in a witness to \operatorname{{wt^{\text{\th}}}}(p)\geq n which is maximal among all nice witnesses.
Proof.
The proof is precisely the same as the proof of Lemma 2.17 above:
If there is no maximal witness, then we can construct by induction on increasing witnesses ; taking the unions of these sets, get a contradiction. ∎
Notice that, a priori, this does not mean, that every such maximal witness has the same size, or that there are no different such witnesses of finite unbounded cardinalities so that the þ-weight of could still be infinite.
The proof of the following lemma shows that the size of any nice maximal witness (in particular with \operatorname{{wt^{\text{\th}}}}(b_{i})=1) is the same finite number , which must a posteriori be equal to \operatorname{{wt^{\text{\th}}}}(p); that every type of rudimentary finite weight has finite weight follows as an easy corollary.
Lemma 2.19**.**
Let be a type of rudimentarily finite þ-weight. Then any maximal nice witness of \operatorname{{wt^{\text{\th}}}}(p)\geq m satisfies a\bowtie^{\text{\th}}_{A^{\prime}}b_{0}\ldots b_{n-1}.
Proof.
Let and be as in the statement of the lemma. It is clearly enough to make sure that a\lhd^{\text{\th}}_{A^{\prime}}b_{0}\ldots b_{n-1}.
So suppose a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}c but b_{0}\ldots b_{n-1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}c. Then by definition witness \operatorname{{wt^{\text{\th}}}}(p)\geq n+1. By Lemma 2.17 there are such that witness \operatorname{{wt^{\text{\th}}}}(p)\geq n+1 and \operatorname{{wt^{\text{\th}}}}(c^{\prime}/D)=1. By Lemma 2.14, b_{0}\ldots b_{n-1}c^{\prime}\lhd^{\text{\th}}_{A^{\prime}}a. By Lemma 2.13 we may assume ab_{0}\ldots b_{n-1}c^{\prime}\lhd^{\text{\th}}_{A^{\prime}}a. So is a nice witness of \operatorname{{wt^{\text{\th}}}}(p)\geq n+1, contradicting the maximality of . ∎
The following easy observation shows that nice witnesses exist.
Observation 2.20**.**
Let a nonalgebraic type of rudimentarily finite weight. Then there exists a nice witness of \operatorname{{wt^{\text{\th}}}}(p)\geq 1.
Proof.
By Lemma 2.17 we can find , \operatorname{{wt^{\text{\th}}}}(b/A^{\prime})=1 where is the domain over which a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}b. Since \operatorname{{wt^{\text{\th}}}}(b/A^{\prime})=1 and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A^{\prime}}b, Observation 2.12 implies that b\lhd^{\text{\th}}_{A}a. Finally, we can assume ab\lhd^{\text{\th}}_{A^{\prime}}a by Lemma 2.13, which finishes the proof. ∎
We have finally reached our goal.
Theorem 2.21**.**
Let be a nonalgebraic type of rudimentarily finite þ-weight. Then \operatorname{{wt^{\text{\th}}}}(p)<\aleph_{0} and is þ-equidominant with a finite free product of þ-weight-1 types.
More precisely, there exist such that
- •
* witness that \operatorname{{wt^{\text{\th}}}}(p)\geq n*
- •
\operatorname{{wt^{\text{\th}}}}(b_{i}/A^{\prime})=1* for all *
- •
a\bowtie_{A^{\prime}}^{\text{\th}}b_{0}\ldots b_{n-1}.
Proof.
Let , be such that
- (i)
witness that \operatorname{{wt^{\text{\th}}}}(p)\geq n 2. (ii)
\operatorname{{wt^{\text{\th}}}}(b_{i}/A^{\prime})=1 for all 3. (iii)
aB\lhd^{\text{\th}}_{A^{\prime}}a 4. (iv)
is maximal satisfying (i),(ii) and (iii). In other words, if there are , satisfying (i), (ii) and (iii), then .
In other words, is a maximal nice witness for \operatorname{{wt^{\text{\th}}}}(p)\geq n. It is easy to see that such exist: Observation 2.20 gives us a nonempty satisfying (i),(ii) and (iii). Since has rudimentary finite weight, by Observation 2.18 we know that is contained in a maximal , as required in (i) – (iv) above.
By Lemma 2.19, a\bowtie^{\text{\th}}_{A^{\prime}}b_{0}\ldots b_{n-1}. By Lemma 2.9 and Observation 2.11 it follows that has finite weight .∎
Reading carefully the proof of the Theorem, we obtain the following more precise statement.
Corollary 2.22**.**
Let be a type of rudimentarily finite þ-weight. Then \operatorname{{wt^{\text{\th}}}}(p)=n for some , and any maximal nice witness of \operatorname{{wt^{\text{\th}}}}(p)\geq m satisfies and a\bowtie^{\text{\th}}_{A^{\prime}}b_{0}\ldots b_{n-1}.
Corollary 2.23**.**
In a strongly dependent (and even strong) rosy theory, every type has finite þ-weight.
Proof.
By Theorem 2.8 and Theorem 2.21. ∎
2.4. þ-regular types.
We will finish this section by understanding some implications of the above results to þ-regular types. The definition is the analogue of the definition of regular types in the stable and simple context.
Definition 2.5**.**
A type over is þ-regular if for any then given any þ-forking extension of and a non-þ-forking extension of if are over then is weakly þ-orthogonal to .
The following desired property of þ-regular types follows as an easy corollary of the definition of þ-regularity and the results we have so far in this section.
Corollary 2.24**.**
A þ-regular type of finite þ-weight has þ-weight 1.
Proof.
Suppose not, and let be a þ-regular type of þ-weight at least 2. Without loss of generality (since a non-þ-forking extension of a þ-regular type is þ-regular), there exists a witness for \operatorname{{pwt^{\text{\th}}}}(p)\geq 2. Moreover, by Lemma 2.17 we may assume that \operatorname{{wt^{\text{\th}}}}(\operatorname{tp}(b_{1}/A))=\operatorname{{wt^{\text{\th}}}}(\operatorname{tp}(b_{2}/A))=1.
Let be such that , a^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Ab_{1}}b_{2}. Then clearly a^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}b_{2} (as are independent over ).
Now notice:
- •
a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Ab_{2}}a^{\prime}: The type is þ-regular, so and are weakly þ-orthogonal.
- •
b_{1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Ab_{2}}a: We know b_{1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}b_{2} and b_{1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}a.
- •
b_{1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Ab_{2}}a^{\prime}: This follows from (so a^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}b_{1}), and b_{1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}b_{2}.
So we have a witness for \operatorname{{wt^{\text{\th}}}}(\operatorname{tp}(b_{1}/Ab_{2})\geq 2, but this type is a non-þ-forking extension of , a contradiction. ∎
We will conclude by pointing out the following unsurprising but important property of a regular type:
Observation 2.25**.**
Let be a þ-regular type. Define (as usual) for a tuple of realizations of
[TABLE]
*Then is a pregeometry. *
Proof.
The proof is quite easy and it is the same as the standard proof of the analogue result for (forking) regular types. ∎
Remark 2.26*.*
We should mention that the converse of Observation 2.25 is true assuming stability of (see [LaPo] for a definition). In the general –rosy– context, however, we have been unable to either prove it or show a counterexample.
3. Super-rosy theories and types of finite {\rm{\text{U}}}^{\text{\th}}-rank
3.1. Exchange and decomposition in types of finite weight
The goal of this section is proving that under reasonable assumptions, any type can be “decomposed” into a finite product of “geometric” types. Recall that in Theorem 2.21 we in particular proved the following.
Theorem 3.1**.**
Let be such that \operatorname{{wt^{\text{\th}}}}(p)=n. Then there exists a set , , and þ-independent over such that and \operatorname{{wt^{\text{\th}}}}(b_{i}/B)=1.
We will improve this statement by replacing þ-weight-1 types in the conclusion by regular (in the super-rosy context) and þ-minimal (in the finite rank context) types.
Lemma 3.2** (Exchange Lemma).**
Let be a þ-weight 1 witness of \operatorname{{wt^{\text{\th}}}}(\operatorname{tp}(a/A))=n. Let be a type with such that is not þ-orthogonal to and \operatorname{{wt^{\text{\th}}}}(q)=1. Then there is some and some such that witness has þ-weight .
Moreover, if a\bowtie^{\text{\th}}_{A}b_{1}\ldots b_{n}, then we can find such that both a\bowtie^{\text{\th}}_{B}b_{1}\ldots b_{n-1}b_{n} and a\bowtie^{\text{\th}}_{B}b_{1}\ldots b_{n-1}b.
Proof.
Let , be such that b_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}B^{\prime}, b^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}B^{\prime} and b^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B^{\prime}}b_{n} (such and exist as and are not þ-orthogonal).
Without loss of generality Bb\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Ab_{n}}ab_{1}\ldots b_{n-1}. In particular, ab_{1}\ldots b_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}B and b_{1}\ldots b_{n-1}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}b_{n}b, and so the set is independent over .
Now if a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}b, then witness \operatorname{{wt^{\text{\th}}}}(tp(b_{n}/B))\geq 2 which contradicts our assumptions (via Lemma 2.9). So a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}b and by the definition witnesses has þ-weight .
For the “moreover” part, assume that a\bowtie^{\text{\th}}_{A}b_{1}\ldots b_{n}. Recall that by Observations 2.13 and 2.10 we may assume ab_{1}\ldots b_{n}\lhd^{\text{\th}}_{A}a (that is, first replace with some such that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}A^{\prime}, b_{1}\ldots b_{n}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}A^{\prime}, and ab_{1}\ldots b_{n}\lhd^{\text{\th}}_{A^{\prime}}a, and then find ), hence (by 2.10 again) ab_{1}\ldots b_{n}\lhd^{\text{\th}}_{B}a. By Lemma 2.14, b_{1}\ldots b_{n-1}b\lhd^{\text{\th}}_{B}a. Finally by Observation 2.15 we have b_{1}\ldots b_{n-1}b_{n}\bowtie^{\text{\th}}_{B}a and b_{1}\ldots b_{n-1}b\bowtie^{\text{\th}}_{B}a, as required. ∎
3.2. þ-regularity and decomposition in
the super-rosy case.
As in the super-stable case, we first prove the existence of “many” þ-regular types in a super-rosy theory, which makes the theory of þ-regular types relevant. We will also point out that all super-rosy types in a rosy theory have finite þ-weight (hence the results of the previous section apply in the super-rosy context).
Proposition 3.3**.**
Let be super-rosy. Then every type with domain is non-þ-orthogonal to a þ-regular type with domain .
Proof.
The proof is a variation of the proof of Proposition 5.1.11 in [wagnerbook].
Let be the set of types such that and is not weakly þ-orthogonal to and let be a type in of minimal {\rm{\text{U}}}^{\text{\th}}-rank. Let be realizations of respectively such that a^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}B and a^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}b.
Suppose is not þ-regular so there is some such that , b^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}C^{\prime}, c^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}C^{\prime} and b^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{C^{\prime}}c^{\prime}.
Since there is an automorphism fixing and sending to elements and let realize a non-þ-forking extension of to . So a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{bB}C and, since b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}C, we have by transitivity that ab\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}C which implies that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}C; it follows that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}C (recall that a^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}B and ).
Notice also that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{C}b (as a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}b and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}C).
So we have a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}C, a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{C}b, b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}C, c\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{B}C and b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{C}c. In particular
[TABLE]
and
[TABLE]
by minimality of {\rm{\text{U}}}^{\text{\th}}(tp(b/B)) (among all types in ) we have that and are not in ; so in particular a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{C}c and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Cc}b. By transitivity a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{C}bc and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{C}b a contradiction. ∎
Proposition 3.4**.**
Let be a type such that
[TABLE]
Then has þ-weight at most .
Proof.
This is word by word the same proof as Theorem 5.2.5 in [wagnerbook] using the þ-forking version of Lascar’s inequalities (Fact 1.3). ∎
As an easy corollary we obtain the following theorem which strengthens Theorem 3.1 in the super-rosy context.
Theorem 3.5**.**
The following hold.
- •
Any super-rosy type has finite þ-weight.
- •
Let be super-rosy, . Then \operatorname{{wt^{\text{\th}}}}(p)=n for some and there exists a set , , and þ-independent over such that and are þ-regular.
Proof.
The first item follows immediately from Proposition 3.4.
To prove the second item, notice first that \operatorname{{wt^{\text{\th}}}}(p) is finite by Proposition 3.4. Now apply Theorem 3.1 combined with existence of þ-regular types (Proposition 3.3) and the Exchange Lemma (Lemma 3.2), recalling that by Corollary 2.24 þ-regular types have þ-weight 1. ∎
3.3. Types of finite {\rm{\text{U}}}^{\text{\th}}-rank.
The following proposition is a remarkably interesting result with many consequences in theories of finite {\rm{\text{U}}}^{\text{\th}}-rank.
Proposition 3.6**.**
The following hold.
- •
Let be any type such that {\rm{\text{U}}}^{\text{\th}}(p)=\alpha+1. Then there are tuples such that {\rm{\text{U}}}^{\text{\th}}(tp(b/Aa))=\alpha, b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}e, b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Aa}e, strongly divides over and {\rm{\text{U}}}^{\text{\th}}(tp(a/Ae))=1.
- •
If is any type of þ-rank then there is a non-þ-forking extension of and a tuple such that is minimal.
Proof.
The second item follows immediately from the first one. To prove the first item, notice that we can choose so that is a þ-dividing extension of and {\rm{\text{U}}}^{\text{\th}}(tp(b/Aa))=\alpha. By Observation 1.4(ii) there is some such that b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Aa}e and strongly divides over so . Note that
[TABLE]
hence {\rm{\text{U}}}^{\text{\th}}(tp(b/Ae))={\rm{\text{U}}}^{\text{\th}}(tp(b/A))=\alpha+1; in particular, b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}e. By Lascar’s inequalities we know that
[TABLE]
and
[TABLE]
So
[TABLE]
and the result follows.∎
Notice that Proposition 3.6 provides the inductive step, in theories of finite {\rm{\text{U}}}^{\text{\th}}-rank, for any property which is closed under non-þ-forking restrictions and coordinatized types (in the sense that if a type is coordinatized by types having the property, then must have the property). This has nice consequences (it was strongly used, for example, in [HaOn2]). Some of the more direct consequences include the following.
Corollary 3.7**.**
Let be any type of finite {\rm{\text{U}}}^{\text{\th}}-rank. Then is non-þ-orthogonal to a þ-minimal type.
Proof.
By Proposition 3.6 given of finite {\rm{\text{U}}}^{\text{\th}}-rank, there is a non-þ-forking extension and an element such that is þ-minimal. Clearly and are non-þ-weakly orthogonal. ∎
Corollary 3.8**.**
Let be a type of finite {\rm{\text{U}}}^{\text{\th}} rank. Then \operatorname{{wt^{\text{\th}}}}(p)=n for some finite and there is a set , , and independent over such that and {\rm{\text{U}}}^{\text{\th}}(tp(b_{i}/B))=1.
Proof.
The fact that a type of finite {\rm{\text{U}}}^{\text{\th}}-rank has finite þ-weight follows from Proposition 3.4. The rest of the assertions follow from Theorem 3.1 using the Exchange Lemma and Corollary 3.7. ∎
We will conclude this section by making some remarks about Proposition 3.6.
At first glance, it would appear that one could coordinatize a non-þ-forking extension of any type of finite {\rm{\text{U}}}^{\text{\th}}-rank by repeatedly applying the Proposition. However, this would prove a coordinatization theorem in the stable case, which is known not to be true, as the following example shows.
Example 3.9**.**
Let be such that is a ternary relation and a binary relation and let be the theory that states that is an equivalence relation with infinitely many infinite classes and such that defines an affine space on each -class (so ). A natural model of this theory is a sheaf of affine planes indexed by a line, where if and only if and are in the same plane and happens whenever are collinear points in the same -class.
Let be -generic -class in and and -generic point in . The conclusion of Proposition 3.6 applied to the type can be seen in the following way: Let be any point in such that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{g}b and let be the line through and (so that ). Then is a non-forking extension of , and is a þ-minimal type.
Going back to coordinatization, if we try to coordinatize the first step is and . The next step, however, would be to coordinatize the non-þ-forking extension of . But b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{\varnothing}a (and the reader can check that this is true for every possible we can choose) so this does not help at all in trying to coordinatize , nor any non-þ-forking extension of it. In fact, it is not hard to check that cannot be coordinatized in terms of þ-minimal types.
The example above shows a stable (even super-stable) example where no coordinatization is possible, and it shows the limitations of Proposition 3.6 to get a full coordinatization for super-rosy theories. The main issue there is that we have no control over the parameter we need to get from þ-dividing to strong dividing. In the affine space, for example, this cannot be overlooked nor can we have any control as to where it comes from.
This has two main consequences. On the one hand, once we try to use Proposition 3.6 inductively and coordinatize then the we need can be taken to be such that b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{Aa}f but there is no hope that we can find it such that b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}f. The second consequence is that we can only coordinatize a non-þ-forking extension of types of rank in types of rank and rank when , but we cannot do the same for without further assumptions.
It seems that this lack of control over the choice of could be somewhat solved if we had extra assumptions (definable choice seems to be the right notion), but even this assumption seems to not be enough to get any coordinatization-like result beyond possibly the finite {\rm{\text{U}}}^{\text{\th}}-rank case. However, coordinatization is such a useful tool, and the connections with definable choice are so unclear, that even results assuming finite {\rm{\text{U}}}^{\text{\th}}-rank would be quite interesting.
4. Indiscernibles in dependent
theories, strong dependence and weight.
Theorem 2.8 states that if a rosy theory is strongly dependent then every type has rudimentary finite (and hence finite) þ-weight. It is natural to ask whether an analogous notion of weight exists in a general setting (for example, an arbitrary dependent theory). It has been established that non-forking plays an important role in the study of dependent theories. One might wonder, therefore, whether there a notion of weight based on non-forking which behaves well in dependent theories. One desired property of such a notion would be: is strongly dependent if and only if every type has rudimentarily finite (and possibly finite) weight.
A possible notion of weight satisfying the property mentioned above was studied by the authors in [OnUs]. One drawback of that notion is that it “measures” weight of a type with respect to Morley sequences (and not elements). Although by [Us2] we know that a Morley sequence is precisely what is needed in a dependent theory in order to determine a global invariant type (so the definitions in [OnUs] are quite natural), we were (and still are) curious whether the definition of weight using Morley sequences is equivalent to the classical notion.
The answers to these questions are still unclear and they have motivated further research, such as [Us2], [KaUs]. We have discovered that in order to make sense of a notion of weight based on non-forking, one needs to understand under which conditions there exist mutually indiscernible sequences starting with given elements (and to what extent one can “determine” the types of those sequences). Let us explain more precisely what we mean.
Suppose one defined “weight” as usual (like in stable theories; that is, take the definitions in section 2 and replace þ-forking by forking). Recall that one ingredient of the proof of Theorem 2.8 was showing that given a þ-independent set of elements (tuples), there exist mutually indiscernible sequences starting with those elements. A natural question whether an analogous result holds for non-forking is answered positively by Theorem 4.5 below. This is, unfortunately, not enough in order to prove a result similar to Theorem 2.8: since we do not have any control over the types of those Morley sequences, it is not clear why they should exemplify dividing (recall that in the case of þ-forking life was easier, as we could work with strong dividing, which is exemplified by any infinite indiscernibly sequence in the type). Of course, if were stable (or even simple), there would be no problem, since any Morley sequence would exemplify dividing.
The discussion above leads to the following two questions:
Question 4.1*.*
To which extent can we “control the types” of the mutually indiscernible sequences constructed in Theorem 4.5? More precisely: what must we assume about the set such that for every indiscernible sequences starting with respectively, there are indiscernible sequences such that is indiscernible over ?
Question 4.2*.*
To which extent do Morley sequences exemplify dividing in a dependent theory?
It was shown in [Us] that if the types realized by the ’s in Question 4.1 are generically stable, then it is enough to assume non-forking independence. This was the main ingredient in the proof of the main theorem of Section 8 there: in a strongly dependent theory, every type has a rudimentarily finite generically stable weight (below we give a much easier proof of this result based on Theorem 4.8 - see Theorem 4.12). We could not establish (and in fact, it is still open) whether assuming non-forking independence is enough given arbitrary with or without assuming the theory is dependent, but some progress in this direction has been made, and the results appear in the second half of this section. It has become clear in subsequent works ([Us2], [KaUs]) that Question 4.1 is related to so-called “strict non-forking” defined by Shelah in [Sh783].
Concerning Question 4.2, we prove that, although it is not the case that every Morley sequence exemplifies dividing, there normally are such sequences. This fact has several consequences, some of which we investigate.
In this section we are going to assume that is dependent unless said otherwise.
We will work with classical notions of dividing, forking and splitting. We assume that the reader is familiar with all of these. Recall that a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}B stands for “ does not fork over ”.
.
4.1. Existence of Morley and mutually indiscernible sequences.
Let us start with the following easy lemma.
Lemma 4.1**.**
*(No need of dependence). *
- (i)
Assume and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}C (that is, does not fork over ). Then there exists an -indiscernible sequence with . Such can be chosen to be a Morley sequence in based on . 2. (ii)
If in addition , then there is such that is a Morley sequence in based on .
Proof.
- (i)
Let be “big enough” (that is, so that Fact 1.13 can be applied for ). Using existence of non-forking extensions, we can construct a sequence in based on such that
- •
for every
- •
a^{\prime}_{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}Ca_{<i};
(note that if e.g. is dependent and , we are done, since this is also a non-splitting sequence, hence indiscernible.)
By Fact 1.13 there is an -sequence indiscernible over such that every -type of over “appears” in . In particular, this sequence is still based on because forking a_{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}Ca_{<i} is a property of the type . Since for some and , there is taking to ; by replacing with the image of under , (which is still a Morley sequence over based on ) we may assume . 2. (ii)
Since a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}C, by existence of non-forking extensions there exists such that a^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}D. So there is an automorphism over taking to and to ; now apply clause (i).
∎
Although most properties of non-forking identifying it as an independence relation is stable or simple theories are generally false in our contexts, some things can still be said. We will refer to the fact below as “transitivity on the left”.
Fact 4.2**.**
Let be sets and assume that is a non-forking sequence based on A (that is, a_{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}Ba_{<i} for all ). Then I\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}B, that is, does not fork over .
Proof.
This is Claim 5.16 in [Sh783]. ∎
Corollary 4.3**.**
Let be a non-forking (independent) set over , that is, A_{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}A_{\neq i} for all . Then for every disjoint we have A_{\in W}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}A_{\in U}.
Proof.
Monotonicity and transitivity on the left. ∎
Observation 4.4**.**
Suppose is an indiscernible sequence over and B\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}I. Then is indiscernible over .
Proof.
By Fact 1.7 does not split strongly over . Recall that this implies that for every which are on the same -indiscernible sequence we have , which is precisely what we want. ∎
We proceed to the main results of this section. The first theorem allows us to construct mutually indiscernible (Morley) sequences when started with a non-forking sequence.
Theorem 4.5**.**
Let be a dependent theory, a set, and let be a set of tuples satisfying a_{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}a_{<i}. Then there are mutually -indiscernible infinite sequences (that is, is indiscernible over ), each starts with . Moreover, if is finite, then I_{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}I_{<i} for all and for we have that is a Morley sequence in based on , and if does not fork over , then we can get to be a Morley sequence in over .
Proof.
Note that by compactness it is enough to prove the theorem when ; we will prove this by induction on . Clearly, there is nothing to prove for .
So assume are given, a_{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}a_{<i}. By the induction hypothesis there are mutually indiscernible, starts with , is a Morley sequence over based on .
By Lemma 4.1 (ii) with and , there are satisfying
- •
. So in particular these are mutually -indiscernible sequences starting with ; all the non-forking requirements are preserved too.
- •
is a Morley sequence in based on starting with . So in particular it is indiscernible over .
Now we are going to use that is dependent. By Fact 4.2 we know that I_{k}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}I_{<k}, so in particular I_{k}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{AI_{<i}I_{i\in(i,k)}}I_{i} for all . By the induction hypothesis is indiscernible over the base . By Observation 4.4 this implies that is indiscernible over , as required. ∎
Although we find the theorem above interesting on its own, it will normally not be enough for our applications, since we will often be interested in starting with given indiscernible sequences (e.g. exemplifying dividing) and “make” them mutually indiscernible, that is, find mutually indiscernible sequences of the same type keeping a part of the original configuration (e.g. the first elements). We make several steps in that direction.
Remark 4.6*.*
The reader should be aware that related results can be found in Shelah [Sh783] (e.g. Claim 5.13). However, we believe that Claim 5.13(1) is wrong as stated there and the assumptions of Claim 5.13(2) are too strong for what we are hoping for, so we prefer not to rely on Shelah’s work here.
Lemma 4.7**.**
Let be an indiscernible sequence over such that does not fork over . Then there exists a Morley sequence over based on with such that for every we have is indiscernible over (here can be an empty, finite or infinite tuple).
Proof.
Let be a cardinal. We construct by induction on a sequence such that
- •
- •
- •
I_{\alpha}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}bI_{<\alpha}
- •
is indiscernible over for all .
For there is nothing to do (note that we are using I\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}Ab). Assume that we have as above. Let be such that
- •
- •
I^{\prime}_{\alpha}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}I_{<\alpha}b
Clearly, we may assume that is as long as we wish, hence by Fact 1.13 there exists an -sequence which is indiscernible over and every -type of over “appears” in . Clearly . By finite character of forking I_{\alpha}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}bI_{<\alpha}. By monotonicity, for every we have I_{\alpha}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{AbI_{<\alpha,\neq\beta}}I_{\beta}. Since is indiscernible over , by Observation 4.4, we have is indiscernible over , as required.
So we obtain a sequence which is a non-forking sequence over (based on ) of mutually indiscernible sequences over , starting with . Choosing big enough, using Fact 1.13 as in the proof of Lemma 4.1, we may assume in addition that is also -indiscernible, i.e. a Morley sequence over based on . ∎
Theorem 4.8**.**
Any instance of dividing over which is witnessed by a sequence such that does not fork over , can always be witnessed by a Morley sequence.
Moreover, if is indiscernible over and such that is -inconsistent and does not fork over , then there is a Morley sequence over based on such that and is inconsistent.
Proof.
We prove the “moreover” part.
Assume that is an -indiscernible sequence such that is -inconsistent for some . Denote .
It is clearly enough to find a Morley sequence as in the statement of the theorem such that . So assume towards a contradiction that given any Morley sequence over based on with we have that
[TABLE]
is consistent.
Let and let . By Lemma 4.7 there is a Morley sequence of sequences over based on such that is indiscernible over ; let .
Claim 4.9*.*
Let be a function. Then the sequence is a Morley sequence over based on .
Proof.
It is clear from the construction that is a Morley sequence over based on . But it follows easily by induction over (using mutual indiscernibility) that
[TABLE]
∎
We will now prove that given any function the type
[TABLE]
is consistent, thus contradicting Observation 1.10.
The proof will again be by induction. Let
[TABLE]
Since is a Morley sequence for all , our hypothesis implies that is consistent.
Assume that is consistent. Since is indiscernible over , and since witnesses that divides over , it follows that divides over witnessed by . By Lemma 1.12(i) with here standing for there (and the induction hypothesis), we have
[TABLE]
is consistent, which completes the induction.
By compactness
[TABLE]
is consistent which contradicts dependence of , see Observation 1.10. ∎
Remark 4.10*.*
Even though one can easily construct examples where forking does not satisfy “existence”, these are almost always quite artificial. In most of the theories one works with it is always the case that does not fork over . In such cases Theorem 4.8 just states that any instance of dividing can be witnessed with a Morley sequence.
As a consequence, we obtain the following (quite desirable) property of generically stable types:
Corollary 4.11**.**
Suppose that divides over a set as exemplified by an -indiscernible sequence with does not fork over . Assume furthermore that is generically stable. Then any Morley sequence in exemplifies that divides over .
Proof.
By Theorem 4.8 we know that there exists such a Morley sequence; but by stationarity of the generically stable type over , clearly any Morley sequence will work. ∎
4.2. Strong dependence and finite weight
We will finish this paper by pointing out some results that follow from strong dependence and the results we have proved so far.
Let us first recall the classical concept of weight (we will give the definition without assuming anything on the theory; of course, it does not always give rise to a well-behaved notion).
As we mentioned before, some of the partial results we get arise when we restrict the definition of weight to certain kind of types (for example, generically stable ones). All of the definitions can be given and studied with either forking or þ-forking. However, forking is clearly the right notion for generically stable types (see [Us]) so from now on we will just work with the standard classification theory notions (forking, splitting and dividing).
Definition 4.1**.**
**
- •
Let be any type over some set . We will say that witnesses (forking pre-weight of is at least ) if , is -independent and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}b_{i} for all . If is maximal such that such a witness exists, we will say that witnesses and that has forking pre-weight .
- •
Let be any type over some set . We will say that witnesses (forking weight of is at least ) if , a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}B, is -independent sequence and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}b_{i} for all . If is maximal such that such a witness exists, we will say that witnesses and that has forking weight .
Similar definitions can be given requiring that the types above are generically stable (see Fact 1.8), obtaining generically stable pre-weight and weight of denoted and respectively. See section 8 of [Us] for precise definitions.
The following follows easily from the results we have so far.
Theorem 4.12**.**
*Assume is strongly dependent. Then every finitary type over a model (or just over an extension base) has rudimentary finite generically stable pre-weight. *
Proof.
This was original proved in section 8 of [Us]; however, having established Corollary 4.11, the proof of Theorem 4.12 becomes much easier than the original one given in [Us]. Indeed, just like in a stable theory, given an instance of pre-weight , as exemplified by realizing generically stable types, we can simply construct “mutually” Morley sequences starting with , which by stationarity will be mutually indiscernible. By Corollary 4.11 they exemplify dividing, thus form a dividing pattern. ∎
We would like to generalize Theorem 4.12 to forking weight. For notational simplicity, let us concentrate on randomness patterns of depth 2 (analogous statements for larger depth will follow by a simple induction).
The following theorem weakens the assumptions of Theorem 4.12 somewhat, requiring only one of the types to be generically stable.
Theorem 4.13**.**
Let be elements and be a subset of a model of a dependent theory . If is generically stable, b\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}c, divides over , and divides over , then there is a randomness pattern of depth 2 for . In particular, is not dp-minimal.
Proof.
Let be as in the statement of the theorem. By definition of dividing and Theorem 4.8, for every cardinal there is a sequence which is Morley over and a formula such that and is -inconsistent for some .
Since b_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}c and is generically stable, it follows that is generically stable for all . Using transitivity (Corollary 4.13 or Theorem 7.6 in [Us]), it is easy to prove that is also a Morley sequence over . So in particular, by right transitivity
[TABLE]
By definition of dividing, there is an -indiscernible sequence and a formula such that , and is -inconsistent for some ; by taking the maximum, we may assume that .
By extension, there is some such that I\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}J^{\prime}. We may assume that is as long as we want, so by Fact 1.13 there is an -sequence which is indiscernible over such that every -type of over “appears” in . In particular, it is still the case that I^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}J^{\prime}. Moreover, since is indiscernible over , we have (denoting ) , in particular, is consistent with , whereas the formulas and divide over and respectively, exemplified by the sequences , .
Note that is indiscernible over and by Observation 4.4 (since I^{\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}J^{\prime}), is. Lemma 1.12 implies that we obtain a randomness pattern of depth 2 for as required. ∎
We will finish this section by partial results which do not assume anything on the types. The following result addresses the question about the possible assumptions on indiscernible sequences (e.g., exemplifying dividing and pre-weight ; we concentrate on ) are sufficient for achieving results such as constructing a randomness pattern. They are not strict generalizations of Theorems 4.12 or 4.13 because we need to include requirements on the sequences, and not just their first elements. However, it has the advantage of removing the generic stability assumptions completely.
Proposition 4.14**.**
Let , be -indiscernible sequences such that I\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}b_{0} and b_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}a_{0}. Then there exist mutually -indiscernible with , .
Proof.
Since b_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}a_{0}, there is b^{\prime\prime}_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}I satisfying . Applying an automorphism over taking to , we obtain a new sequence with the same type over as ; so without loss of generality , and in addition to our assumptions we have b_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}I, hence is -indiscernible.
Since I\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}b_{0}, there is satisfying I^{\prime\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}J. Applying an automorphism taking the first element of to (fixing ), we obtain new sequences starting with respectively, satisfying the same type over as respectively. So without loss of generality .
Prolonging and applying Fact 1.13, we get indiscernible over , “similar” to over ; in particular, is - indiscernible (and has the same type over as ) and I^{\prime\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}J. Applying an automorphism over taking onto (an initial segment of) , we get, denoting :
- •
- •
is indiscernible over
- •
I\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}J^{\prime}, hence is indiscernible over
This finishes the proof. ∎
The following is easy now:
Corollary 4.15**.**
Let , , be -indiscernible sequences such that I\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}b_{0} (e.g. is a Morley sequence over based on ) and J\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}a_{0} (or just b_{0}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}a_{0}) such that
- •
* exemplify that , divide over *
- •
* is consistent with *
Then there exists a dividing pattern and a randomness pattern in . In particular, is not dp-minimal.
The results above seem to suggest that for discussion of weight in dependent theories it is not enough to look just at the first elements of the sequences of a dividing pattern (the usual notion of forking weight). So let us conclude with the following notion of splitting weight which behaves quite nicely.
Definition 4.2**.**
**
- •
Let be any type over some set . We will say that witnesses (splitting pre-weight of is at least ) if , is -independent and a\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mathchar 12854\relax\kern 8.00134pt\hss}\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mathchar 12854\relax\kern 3.92064pt\hss}\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mathchar 12854\relax\kern 2.00034pt\hss}\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}b^{0}_{i}b^{1}_{i} for all in a very strong way, namely:
There exists a formula such that
[TABLE]
.
If is maximal such that such a witness exists, we will say that witnesses and that has splitting pre-weight .
- •
Let be any type over some set . We will say that witnesses (splitting weight of is at least ) if , is -independent and
There exists a formula such that
[TABLE]
.
If is maximal such that such a witness exists, we will say that witnesses and that has splitting weight .
Observation 4.16**.**
Let . Then is strongly dependent if and only if its splitting pre-weight is rudimentary finite.
Proof.
The “if” direction is clear. For the “only if” direction, using Theorem 4.5, one can construct an array of mutually indiscernible (Morley) sequences starting with . The rest is easy. ∎
The next observation (whose proof is easy and similar to the previous one) connects dependence in general to weight:
Observation 4.17**.**
A theory is dependent if and only if every type has a bounded splitting weight.
We see that it is unnecessary to assume (as we did in Proposition 4.14) that I\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}b_{0}, it is enough to look at the first two elements of the sequence ; but this seems to be important (in case is not generically stable). In a sense, what we do is replacing in the dividing/randomness pattern the formulas with and considering a dividing pattern (= witness for high pre-weight) with respect to these new formulas.
We would like to finish by remarking that results in this section pretend to be a first approach to characterize strong dependence by a notion of finite weight. A complete result of this type would be quite interesting and, we believe, very useful. However, it is not clear that plain forking is the right notion for this. As we mentioned before, it seems that strict non-forking is the right way to go, and we refer the reader to [Us2] and [KaUs] for more details.
Appendix A cc-forking and cc-dividing
The following theorem is proven in [OnUs]. We include the proof here for the sake of completeness.
Theorem A.1**.**
The following are equivalent for any .
- (i)
* admits --þ-forking.* 2. (ii)
* admits --þ-dividing.* 3. (iii)
There is an extension of such that admits --strong dividing.
Proof.
Any witness for --strong dividing is a witness of --þ-dividing and any witness for --þ-dividing is a witness of --þ-forking. We will prove the other implications for . The general case will follow by a straightforward induction on using the properties of þ-forking in rosy theories.
(i) (ii). Let
[TABLE]
be a -þ-forking witness for . By definition there are finitely many formulas , and tuples such that , and strongly divides over and strongly divides over .
By hypothesis \bar{a}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{b} so by extension of þ-independence we can find such that \bar{a}^{\prime\prime}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}\langle\bar{b}_{j}^{\prime}\rangle\bar{d}^{\prime}\bar{b}. Let be images of under an automorphism that fixes and sends to .
Using extension on the other side there are such that
[TABLE]
But so by applying an automorphism over , we can find , , , such that \langle\bar{a}_{i}\rangle\bar{c}\bar{a}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}\langle\bar{b}_{j}\rangle\bar{d}\bar{b}.
So in particular we have and .
Therefore
[TABLE]
and
[TABLE]
Since is consistent with , it is clear from (1) that the conjunction is consistent with for some . By monotonicity of þ-forking independence we know that \bar{a}_{i}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}_{A}\bar{b}_{j} so (2) implies that is a witness for -þ-dividing.
(ii) (iii). Once again we will prove the case .
Let
[TABLE]
be a -þ-dividing witness for . Let and be supersets of such that strong divides over and strong divides over . Since \bar{a}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{b} we can, by extension (as in the proof of (i) (ii)), find satisfy types and respectively and such that \bar{a}D\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{A}\bar{b}E; so in particular strong divides over and strong divides over , \bar{a}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{D}E, \bar{b}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{E}D, and \bar{a}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{D\cup E}\bar{b}.
Since by definition and we get that : e.g., , but \bar{a}\mathop{\mathchoice{\displaystyle\kern 5.71527pt\hbox to0.0pt{\hss\displaystyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\displaystyle\smile\hss}\kern 5.71527pt}{\textstyle\kern 5.71527pt\hbox to0.0pt{\hss\textstyle\mid\hss}\lower 3.87495pt\hbox to0.0pt{\hss\textstyle\smile\hss}\kern 5.71527pt}{\scriptstyle\kern 2.80048pt\hbox to0.0pt{\hss\scriptstyle\mid\hss}\lower 1.89871pt\hbox to0.0pt{\hss\scriptstyle\smile\hss}\kern 2.80048pt}{\scriptscriptstyle\kern 1.42882pt\hbox to0.0pt{\hss\scriptscriptstyle\mid\hss}\lower 0.96873pt\hbox to0.0pt{\hss\scriptscriptstyle\smile\hss}\kern 1.42882pt}}^{\text{\th}}_{E}D, so .
So
[TABLE]
Let and let be a non-þ-forking extension of and let be the restriction of to . All the conditions in the definition of -strong dividing are satisfied which completes the proof of the theorem. ∎
References
