Construction of β[sup(k)][sub(t)] and α [sup(k)][sub(t)]

All of Chapter 12 is part of the grand inductive scheme initiated in Chapter 9. We think of n, r, and p > 5 as fixed, and all our results are understood to be embedded in an induction on k.

Our first results for Chapter 12 are a two-factor and a three-factor analog of Theorem 9.1(vi)-(viii). Recall the notations Λ4α and K g from Chapter 8.