Proof The tree is built iteratively. We give the general idea, then go into more detail. There will be two types of nodes: “root” nodes and “tower” nodes. Every tower node is associated with a tower through the tree passing through that node. Immediately below every root node will be at most one tower node and also $2^{\kappa }$ -many root nodes together forming a maximal antichain with respect to that node. This collection of root nodes is referred to as a root node family. Note that if a root node family in $[z]^{\kappa }$ for some $z \in [\kappa ]^{\kappa }$ is maximal with respect to being both almost disjoint and everywhere discontinuous relative to z, then in fact the root node family is MAD in $[z]^{\kappa }$ because any almost disjoint set y can be shrunk to an everywhere discontinuous (relative to y) almost disjoint set by, e.g., taking the collection of successor ordinals in its order topology. In the subsequent level, every set x hitting $2^{\kappa }$ -many elements of the root node family is diagonalized against, in the sense that a tower node (and associated tower) is added below which is a subset of x. Immediately below every tower node will be exactly one tower node and also a root node family. In fact, below every tower node is a continuous strictly descending $\mu $ -length tower with empty intersection through T. If $r \subseteq s$ in T and r is a root node, then r will be everywhere discontinuous relative to s. Therefore at limit levels of T, only paths containing finitely many root nodes have nonempty intersection. These paths are exactly the intersections along some continuous $\mu $ -tower added previously; by continuity, the nodes extending these paths are the appropriate limit elements of those towers. Every branch in $[T]$ then forms a tower and it remains to be seen that every level of T is a maximal antichain.

Describing the construction in more detail, for a tower node $s \in \textrm {Lev}_{\xi }(T),$ its associated tower is denoted $\langle t^s_{\alpha } : \alpha < \mu \rangle $ with $t^s_{\alpha } \in \textrm {Lev}_{\alpha }(T),$ where $t^s_{\nu }$ is the predecessor of s on level $\nu $ written $t^s_{\nu } = s \restriction \nu $ for every $\nu < \xi $ (and $t^{s}_{\xi }=s$ ). Here, $\langle t^s_{\alpha } : \xi \leq \alpha < \mu \rangle $ is a strictly decreasing continuous $\mu $ -length tower consisting entirely of tower nodes with empty intersection through T starting with s. So while the tower $\langle t^s_{\alpha } : \alpha < \mu \rangle $ may contain root nodes inside the initial portion below level $\xi $ , as above the end segment $\langle t^s_{\alpha } : \xi \leq \alpha < \mu \rangle $ only contains tower nodes. For $\xi $ limit, $\textrm {Lev}_{\xi }(T)$ then comprises the partial continuous intersections along $\mu $ -towers added in previous steps. By continuity, such a node is of the form $t^s_{\xi }$ for some tower node s added previously. Its associated tower is the same, $\langle t^{(t^s_{\xi })}_{\alpha } : \alpha < \mu \rangle = \langle t^s_{\alpha } : \alpha < \mu \rangle $ .

Now we describe how the successor levels $\textrm {Lev}_{\xi +1}(T)$ are formed. Let $s \in \textrm {Lev}_{\xi }(T)$ . If s is a tower node (which will, for example, always be the case if $\xi $ is a limit), then first add the tower element $t^s_{\xi +1} \in \textrm {Lev}_{\xi +1}(T)$ from $\langle t^{s}_{\alpha } : \alpha < \mu \rangle $ . Furthermore, assign to $t^s_{\xi +1}$ the same tower as for s, i.e., $\langle t^{(t^s_{\xi +1})}_{\alpha } : \alpha < \mu \rangle = \langle t^s_{\alpha } : \alpha < \mu \rangle $ . Additionally, let $z = s \,{\backslash}\, t^s_{\xi +1}$ denote the nodal difference between the two successive tower elements and note that because the towers are strictly decreasing, $|z|=\kappa $ . Split z into a $2^{\kappa }$ -sized maximal almost disjoint root node family in $[z]^{\kappa }$ all of whose elements are everywhere discontinuous relative to z. Associate this family with every resulting root node r and denote the family accordingly as $R_r$ .

Next, we consider the case where $s \in \textrm {Lev}_{\xi }(T)$ is a root node. It is associated with a $2^{\kappa }$ -sized root node family $R_s$ , which is MAD in the relevant $z \in [\kappa ]^{\kappa }$ and allows the key diagonalization step to take place. Let $X = \{x \in [z]^{\kappa } : |\{r \in R_s : |x \cap r|=\kappa \}|=2^{\kappa }\}$ be the set of $x \in [z]^{\kappa }$ hitting $2^{\kappa }$ -many elements of $R_s$ . We want to add at least one tower inside every such x below some suitable r. Because $|X| \leq 2^{\kappa }$ and every $x \in X$ has $2^{\kappa }$ -many options for which r to choose (i.e., which r with $|r \cap x|=\kappa $ ), this is easy to arrange by ordering X and $R_s$ in type $2^{\kappa }$ and letting the $\gamma {\textrm {th}}$ element of X, $X(\gamma )$ , be assigned to the $\delta {\textrm {th}}$ element r of $R_s$ with $\delta $ minimal such that $|X(\gamma ) \cap r| = \kappa $ and none of the $X(\gamma ')$ for $\gamma ' < \gamma $ has been assigned to r previously.

With the help of this assignment, for every $x \in X$ , add a tower node $s' \subseteq (x \cap r)$ with $s' \in \textrm {Lev}_{\xi +1}(T)$ and $|r \,{\backslash}\, s'| = \kappa $ . This $s' = t^{s'}_{\xi +1}$ is associated with the resulting tower $\langle t^{s'}_{\alpha } : \alpha < \mu \rangle $ , where $\langle t^{s'}_{\alpha } : \xi +1 \leq \alpha < \mu \rangle $ is a strictly decreasing continuous sequence with empty intersection inside $x \cap r$ . Next, let $z = r \,{\backslash}\, s'$ and split z into a $2^{\kappa }$ -sized root node family and associate every resulting root node with this family. Finally, to every root node r of $R_s$ which did not have an element of x assigned to it, split r directly into a $2^{\kappa }$ -sized root node family and associate all resulting root nodes with that family. This completes the construction of level $\xi +1$ . To summarize, below tower nodes from level $\xi $ , we added the next tower node in the sequence along with a root node family inside the resulting nodal difference, while below root nodes from level $\xi $ (depending on how their root node families facilitated diagonalization), we added a root node family and possibly a tower node and associated tower inside the relevant x.

This concludes the construction of T as a tree of antichains of height $\mu $ where every branch through T forms a tower. Note that MAD families are added below every node from level $\xi $ on level $\xi +1$ , so to show T is a distributivity tree, we only need to see that for $\xi \in \textrm {lim}(\mu )$ , $\textrm {Lev}_{\xi }(T)$ is a maximal antichain. Suppose for every $\nu < \xi $ , $\textrm {Lev}_{\nu }(T)$ is maximal. Let $x \in [\kappa ]^{\kappa }$ . If the cardinality of the set of nodes on each level hitting x is less than $\kappa $ for every $\nu $ , then by taking symmetric differences between nodal elements on each level and by removing fewer than $\kappa $ -many elements from x, we may view $T_{\xi } \restriction x$ as a partition-type tree of maximal antichains in $[x]^{\kappa }$ of height $\xi <\mu <\kappa $ . Every ordinal in x is associated with a branch through $T_{\xi } \restriction x$ by looking at the unique node on each level containing it. However, nonempty branches through $T_{\xi } \restriction x$ only contain finitely many root nodes so are determined by some intermediate-level tower node. Therefore, $\kappa $ -many ordinals in x must determine the same branch leading to some $t^{s}_{\xi }$ which by continuity must then intersect x in a set of size $\kappa $ .

If instead x hits at least $\kappa $ -many elements on some level of T below $\xi $ , then because $\mathfrak {a}_{\kappa }=2^{\kappa }$ , there is some minimal level $\eta < \xi < \kappa $ , where x hits $2^{\kappa }$ -many nodes in $\textrm {Lev}_{\eta }(T)$ . By the argument above, $\eta $ is not a limit (there are not enough nonempty branches through $T_{\eta } \restriction x$ ). So, suppose fewer than $\kappa $ many nodes on level $\eta $ but $2^{\kappa }$ -many nodes on level $\eta +1$ hit x. By construction, nodes on level $\eta $ are associated with exactly one root node family on level $\eta +1$ , so $2^{\kappa }$ -many of these nodes from level $\eta +1$ must fall among the same root node family R. But then by construction at level $\eta +2$ , we will have added a tower node $s=t^s_{\eta +2} \subseteq x \cap r$ for some $r \in R$ hitting x, which extends to a $\mu $ -length tower through T inside x. In particular, the limit node of this tower at level $\xi $ , $t^{s}_{\xi }$ , is a subset of x. Thus, T is a distributivity tree.

Furthermore, for any $x \in [\kappa ]^{\kappa }$ , the only time that there might not exist $s \in T$ with $s \subseteq x$ would be if fewer than $\kappa $ -many nodes hit x on every level of T. But by removing fewer than $\kappa $ -many elements from x and from overlapping nodes on each level of T, we may assume $T \restriction x$ is a partition-type tree of maximal antichains in $[x]^{\kappa }$ . But then for any $\alpha \in x$ , $\alpha $ is in a unique nodal element in every $\textrm {Lev}_{\xi }(T)$ for $\xi < \mu $ , i.e., $\alpha $ is contained in the intersection of a branch through T, which is impossible. So T is a base tree.

Proof Essentially, we do the same thing as in Theorem 3.1, except we add $\kappa ^+$ -length $\subseteq ^{*}$ -towers below elements in the root node families. We follow the notation of the proof of Theorem 3.1, but in the following when referring to tower nodes, we omit the localizing superscripts (s, etc.) as any necessary context will be clear. Only the subscripts indicating tree level are written for simplicity. At successors, we do ensure that for every $\xi \in \kappa ^+$ , $t_{\xi +1} \subseteq t_{\xi }$ with $|t_{\xi } \,{\backslash}\, t_{\xi +1}| = \kappa $ . These tower sequences are no longer continuous at limits; indeed, we ensure purposeful discontinuity and non-normality at limits so that for every $\beta \in \textrm {lim}(\kappa ^+)$ , there exists $x \in [\kappa ]^{\kappa }$ with $|x \,{\backslash}\, t_{\beta }| = \kappa $ and $x \subseteq ^{*} t_{\xi }$ for every $\xi < \beta $ .

At limit levels $\xi \in \kappa ^+$ , unlike as in Theorem 3.1 where we took intersections along all paths eventually traveling along a tower added previously forming the single element $t_{\xi }$ , in the present setting we add this previously defined tower element and also a root node family. Each of these tower nodes $t_{\xi }$ is associated with a path $p=\{p_{\nu } : \nu < \xi \}$ through the tree (along which every node is eventually a tower node). We can also associate with this path a family of $2^{\kappa }$ -many root nodes $\{r_{\delta } : \delta \in 2^{\kappa }\}$ which are all almost everywhere discontinuous relative to the nodes in p and for which $\{r_{\delta } : \delta \in 2^{\kappa }\} \cup \{t_{\xi }\}$ is a maximal almost disjoint collection in $A_p = \{x \in [\kappa ]^{\kappa } : x \subseteq ^{*} p_{\nu } \textrm { for every } \nu \in \xi \}$ . We call this a path-type root node family.

At successor levels $\xi +1$ , much as in Theorem 3.1, we:

• • add the (successor-type) root node families in the tower nodal differences $t_{\xi } \,{\backslash}\, t_{\xi +1}$ ,

• • for every root node family $R = \{r_{\delta } : \delta \in 2^{\kappa }\}$ from level $\xi $ , look at the collection of $x \in [\kappa ]^{\kappa }$ hitting $2^{\kappa }$ -many members of R and for every such x ensure that a $\kappa ^+$ -length tower is added below an appropriate $r_{\delta }$ inside $x \cap r_{\delta }$ , with $t_{\xi +1}$ on level $\xi +1$ ,

• • add a root node family below every $r_{\delta }$ not assigned such an x, and finally

• • for every root node $r_{\delta }$ that was assigned such an x, add a root node family inside the nodal difference $r_{\delta } \,{\backslash}\, t_{\xi +1}$ between that root node and its first associated tower element added on level $\xi +1$ .

Note that if some x hits $2^{\kappa }$ -many nodes on level $\xi +1$ and hits, e.g., fewer than $\kappa $ -many nodes on level $\xi $ , then necessarily x hits $2^{\kappa }$ -many nodes in a particular root node family; so that at the next step $\xi +2$ , a tower is added inside x.

We have constructed a tree of antichains of height $\kappa ^+$ ; we need to see that these are maximal. The successor step is immediate as all nodes are split into MAD collections, so let $\xi \in \textrm {lim}(\kappa ^+)$ and suppose that $\textrm {Lev}_{\nu }(T)$ is a maximal antichain for every $\nu < \xi $ . Consider first the case where $\textrm {cf}(\xi )=\mu <\kappa $ , and let $x \in [\kappa ]^{\kappa }$ . By fixing a continuous $\textrm {cf}(\xi )$ -ladder to $\xi $ of levels, in a slight abuse of notation, let $T_{\xi } \restriction x$ denote the tree of maximal antichains in $[x]^{\kappa }$ of height $\mu $ in the natural way. If $|\textrm {Lev}_{\nu }(T_{\xi } \restriction x)|<\kappa $ for every $\nu < \mu $ , then by removing fewer than $\kappa $ -many elements from x and choosing suitable representatives for each tree node, we may assume that this is a partition-type $\subseteq $ -tree of height $\mu $ where every root node is everywhere discontinuous relative to all nodes above it. As in the proof to Theorem 3.1 then, every ordinal in x is associated with a branch through this partition system and, moreover, associated with the final node where that branch no longer follows only its specified sequence of tower nodes. So $\kappa $ -many ordinals in x, call them $x'$ , are contained in the intersection along the same branch $\{t_{f(\nu )} : \nu < \mu \}$ for the ladder $f : \mu \rightarrow \xi $ through the tree. Note that $A= \{y \in [\kappa ]^{\kappa } : y \subseteq ^{*} t_{\nu } \textrm { for every } \nu < \xi \} = \{y \in [\kappa ]^{\kappa } : y \subseteq ^{*} t_{f(\nu )} \textrm { for every } \nu < \mu \} $ , so because at level $\xi $ the appropriate $\{t_{\xi }\} \cup \{r_{\delta } : \delta \in 2^{\kappa }\}$ is maximal with respect to A, some element hits $x'$ and so hits x.

Next, suppose that for some minimal $\nu < \xi $ , $|\textrm {Lev}_{\nu }(T_{\xi } \restriction x)| = 2^{\kappa }$ . If $\nu $ is of the form $\eta +1$ , then necessarily x hits $2^{\kappa }$ -many nodes inside a particular successor-type root node family, so at step $\nu +1$ , a tower will be added inside x. In particular then, some tower node on level $\xi $ is inside x. If $\nu $ is a limit and $|\textrm {Lev}_{\eta }(T_{\nu } \restriction x)| < \kappa $ for every ${\eta < \nu }$ , then because there are fewer than $\textrm {cf}(2^{\kappa })$ -many branches through $T_{\nu } \restriction x$ passing through only finitely many root nodes (a necessary condition for x to hit a node on level $\nu $ below a $\subseteq ^{*}$ -sequence), x must hit $2^{\kappa }$ -many root nodes within some particular $A_{p}$ path-type root node family, so that a tower is added inside x at step $\nu +1$ .

Consider next the case where $\textrm {cf}(\xi )=\kappa $ . For simplicity and by using a ladder to $\xi $ , assume $\xi = \kappa $ . We need to see that $\textrm {Lev}_{\xi }(T)$ is a maximal antichain. If for some minimal $\nu < \xi $ , $2^{\kappa }$ -many nodes in $\textrm {Lev}_{\nu }(T)$ hit x, then the analysis above shows that whether $\nu $ is successor or limit, there is a particular root node family on level $\nu $ inside of which x hits $2^{\kappa }$ -many elements. But then at level $\nu +1$ , we added a tower inside x below one of those elements.

On the other hand, if fewer than $\kappa $ -many nodes in every $\textrm {Lev}_{\nu }(T)$ hit x for every $\nu < \xi $ , then because there can be no $(\omega +1)$ -length sequences of root nodes, it must be that $\textrm {T}_{\xi } \restriction x$ (a $\kappa $ -tree of maximal antichains in $[x]^{\kappa }$ ) is isomorphic to a subtree of $T^{\kappa }_{<\omega }$ . Lemma 4.1 implies that $T_{\xi } \restriction x$ is not $\kappa $ -Aronszajn, so there is some $b \in [T_{\xi } \restriction x]$ . Because there are no towers of length $\kappa $ , there exists $x' \in A_b$ with $x' \in [x]^{\kappa }$ , where $A_b = \{y \in [\kappa ]^{\kappa } : y \subseteq ^{*} b_{\nu } \textrm { for every } \nu < \xi \}$ . By maximality, $x'$ hits at least one element in the associated $\{r_{\delta } : \delta \in 2^{\kappa }\} \cup \{t_{\xi }\}$ .

Finally, having constructed T, let’s see that it is a base tree. Let $x \in [\kappa ]^{\kappa }$ . The analysis above shows that in the first level where $T \restriction x$ has $2^{\kappa }$ -many nodes, necessarily x hits $2^{\kappa }$ -many nodes in some successor-type or path-type root node family, so that a tower is added inside x in the subsequent level. However, if $T \restriction x$ has fewer than $\kappa $ -many nodes on each level, then Observation 2.3 shows that for all sufficiently large $\alpha < \kappa ^+$ , $\textrm {Lev}_{\alpha }(T \restriction x)$ only comprises some distinguished $\mu $ -many tower nodes $\{t^{\xi }_{\alpha } : \xi < \mu \}$ for some $\mu < \kappa $ , which is impossible. In detail, if so then $x \subseteq ^{*} \bigcup _{\xi < \mu } t^{\xi }_{\alpha }$ for every sufficiently large $\alpha $ . So $\overline {x} \subseteq \bigcup _{\xi < \mu } t^{\xi }_{\alpha }$ for some $\overline {x} \in [x]^{\kappa }$ cofinally often. For every $\beta \in \overline {x}$ and such $\alpha < \kappa ^+$ , we can find $\xi < \mu $ with $\beta \in t^{\xi }_{\alpha }$ . Then if $\overline {\overline {x}}$ is a $\kappa $ -sized set of these $\beta $ sharing the same $\xi $ , we have $\overline {\overline {x}} \subseteq ^{*} t^{\xi }_{\alpha }$ cofinally often. This is a contradiction as the $t^{\xi }_{\alpha }$ elements form a tower.

Proof Fix a strictly increasing sequence of limit ordinals $\langle \delta _{\nu } : \nu < \kappa \rangle $ cofinal in $\kappa $ . Essentially, we do the same thing as in Theorem 3.1, except instead of just adding one tower for every relevant x in our diagonalization step, we add $\kappa $ -many $\subseteq $ -towers indexed by $\nu $ for every relevant $x \in [\kappa ]^{\kappa }$ (hitting $2^{\kappa }$ -many elements in the root node family). So in this setting, every such x has $\kappa $ -many associated $r_{\nu }$ ’s, and each $r_{\nu }$ has a $\delta _{\nu }$ -length tower added below it inside $x \cap r_{\nu }$ . These towers are strictly descending with empty intersection, continuous at limits, and of length $\delta _{\nu }$ . All root nodes are everywhere discontinuous relative to their immediate predecessor and so the only nodes on limit levels $\xi $ can be nonempty tower elements $t_{\xi }$ formed by the intermediate-length intersections along a continuous $\delta _{\nu }$ -length tower added previously. Note that unlike as in Theorem 3.1, at limit stages in this construction many tower paths are maximal (empty intersection) as the $\delta _{\nu }$ -length towers expire.

At successors, form level $\xi +1$ of the tree first by splitting every tower nodal difference $t_{\xi } \,{\backslash}\, t_{\xi +1}$ component into a $2^{\kappa }$ -sized MAD (in $t_{\xi } \,{\backslash}\, t_{\xi +1}$ ) family of root nodes everywhere discontinuous relative to $t_{\xi }$ . Additionally, address each of the root node families from level $\xi $ (note that if $\xi $ is a limit no such families exist) as follows. These families will be formed inside tower nodal differences or inside root nodes and are MAD with respect to the relevant $z \in [\kappa ]^{\kappa }$ . We add for every $x \in [z]^{\kappa }$ which hits $2^{\kappa }$ -many elements in the root node family $\kappa $ -many towers $\{\langle t^{\nu }_{\alpha } : \alpha < \delta _{\nu } \rangle : \nu < \kappa \}$ , each below some r from the root node family hitting x, with all ordinals in all tower elements inside $r \cap x$ . Add other root node families inside any root nodes not associated with such an x and inside all resulting nodal differences between the r’s and the first tower elements. T is a tree of antichains of height $\kappa $ . We show each level is maximal by induction.

The successor case is clear, so let $\xi $ be a limit in $\kappa $ and $x \in [\kappa ]^{\kappa }$ . Suppose the cardinality of every level of $T_{\xi } \restriction x$ is less than $\kappa $ . This is argued as in Theorem 3.1. By removing fewer than $\kappa $ many elements from x, we may assume this is a partition-type tree of maximal antichains of height $\xi <\kappa $ , so that to every ordinal in x, we may associate a branch through the tree for which that ordinal is contained in the intersection of nodes along the branch. Any branch with nonempty intersection through this tree eventually travels exclusively along some $\delta _{\nu }$ -length tower, and there are fewer than $\kappa $ -many such towers in this scenario, but these towers are continuous so the relevant $t_{\xi }$ intersects $\kappa $ -many ordinals in x at level $\xi $ . This argument also shows that the minimal level (if one exists) where x hits $2^{\kappa }$ -many elements of the tree is not a limit. We may then assume that for some $\eta < \xi $ , x hits fewer than $\kappa $ many nodes on level $\eta $ but $2^{\kappa }$ -many on level $\eta +1$ , so that necessarily x hits $2^{\kappa }$ -many nodes within the same root node family. So, in particular, towers of length $\delta _{\nu }$ for every $\delta _{\nu } \in (\xi ,\kappa )$ are added at level $\eta +2$ inside x, such that the relevant $t_{\xi }$ are subsets of x on level $\xi $ .

We showed T is a tree of maximal antichains of height $\kappa $ . Any maximal path in T either has countable cofinality and contains an $\omega $ -subsequence of root nodes or eventually coincides with a $\delta _{\nu }$ -tower sequence. Therefore $[T] = \emptyset $ , so T is a distributivity tree. Furthermore, the proof to Theorem 4.2 shows T is a base tree: $T \restriction x$ cannot only have levels of size less than $\kappa $ because then $T \restriction x$ is isomorphic to a subtree of $T^{\kappa }_{<\omega }$ which has no $\kappa $ -Aronszajn subtrees (and we know $T \restriction x$ is branchless). But then some minimal level $T \restriction x$ is of cardinality $2^{\kappa }$ and we subsequently add $\kappa $ -many towers inside x.

Proof Because this proof is so similar to that of Theorems 3.1, 4.2, and 5.1, we provide only a sketch while highlighting any novel situations. If $\lambda \geq \kappa ^+$ is the regular length of a tower, then the proof to Theorem 4.2 can be mimicked with $\lambda $ in place of $\kappa ^+$ . The argument for why intermediate limit levels $\xi $ of the tree remain maximal depends on whether $\textrm {cf}(\xi )<\kappa $ , $\textrm {cf}(\xi )=\kappa $ , or $\textrm {cf}(\xi )>\kappa $ . The new case to consider is when $\textrm {cf}(\xi )>\kappa $ which is handled in essentially the same manner as we showed that the tree of height $\kappa ^+$ in Theorem 4.2 has the base property. Specifically, let $x \in [\kappa ]^{\kappa }$ and first suppose that $|\textrm {Lev}_{\nu }(T_{\xi } \restriction x)|<\kappa $ for every $\nu < \xi $ (by considering a $\textrm {cf}(\xi )$ -ladder to $\xi $ , we may assume $\xi $ is a regular cardinal $\geq \kappa ^+$ ). Observation 2.3 shows that $T_{\xi } \restriction x$ eventually stabilizes so that for some $\mu < \kappa $ , for all sufficiently large $\nu < \xi $ , $\textrm {Lev}_{\nu }(T_{\xi } \restriction x)$ only comprises $\mu $ -many tower nodes $\{t^{\eta }_{\nu } : \eta < \mu \}$ . So for some $\eta < \mu $ , there exists $x' \in [x]^{\kappa }$ with $x' \subseteq ^{*} t^{\eta }_{\nu }$ cofinally often in $\xi $ , i.e., $x' \in A_p = \{y \in [\kappa ]^{\kappa } : y \subseteq ^{*} t^{\eta }_{\nu } \textrm { for every } \nu < \xi \}$ . By maximality then, $x'$ and so x hits at least one element in the associated $\{r_{\delta } : \delta \in 2^{\kappa }\} \cup \{t^{\eta }_{\xi }\}$ . On the other hand, if for some minimal level $\nu < \xi $ , $|\textrm {Lev}_{\nu }(T_{\xi } \restriction x)| = 2^{\kappa }$ , then whether $\nu $ is a successor or limit x must in fact hit $2^{\kappa }$ -many nodes within a particular successor-type or path-type root node family at level $\nu $ , so that a $\lambda $ -tower inside x is added at level $\nu +1$ passing through level $\xi $ . The novel situation over Theorem 4.2 is where $\nu $ is a limit with $\textrm {cf}(\nu )>\kappa $ and as above because there are only $\mu $ -many paths through $T_{\nu } \restriction x$ , x hits $2^{\kappa }$ -many nodes within a particular path-type root node family at level $\nu $ . Similarly, if $\textrm {cf}(\nu )=\kappa $ , then there are at most $\kappa ^{<\omega }=\kappa < \textrm {cf}(2^{\kappa })$ -many path-type root node families and if $\textrm {cf}(\nu )<\kappa $ , there are fewer than $\kappa $ -many, so in all cases, x hits $2^{\kappa }$ -many nodes within a particular path-type root node family and a tower is added inside x at level $\nu +1$ passing through level $\xi $ . The resulting tree T of regular height $\lambda \geq \kappa ^+$ is shown to be a base tree as in Theorem 4.2: For any set $x \in [\kappa ]^{\kappa }$ , the above shows that if any level of $T \restriction x$ has size $2^{\kappa }$ , then a tower is added inside x, while if all levels have size less than $\kappa $ , then a $\kappa $ -sized subset of x is almost contained in members of a tower sequence cofinally often, which is a contradiction.

If $\lambda $ is the limit of lengths of towers of regular lengths $\geq \kappa ^+$ in $P(\kappa )/{<}\kappa $ , then the proof to Theorem 5.1 can be roughly mimicked with this sequence of cardinalities in place of the $\langle \delta _{\nu } \rangle $ sequence from Theorem 5.1, with the caveat that the towers added below every relevant $x \in [\kappa ]^{\kappa }$ are now $\subseteq ^{*}$ -towers as in Theorem 4.2 and not $\subseteq $ -towers. Note that $\lambda \leq 2^{\kappa }$ in all cases. To show maximality of all intermediate levels $\xi < \lambda $ , as usual and as above branches through any induced tree $T_{\xi } \restriction x$ with nonempty pseudointersection are formed and the process proceeds. The method for identifying such a branch depends on the cofinality of $\xi $ . Similarly, it is argued depending on the cofinality of $\lambda $ that $T \restriction x$ cannot have levels of size $<\kappa $ everywhere, and so the resulting distributivity tree must in fact be a base tree.