关于分配矩阵的高度

我们构造了一个模型，其中存在一个正则高度 $\lambda$ 大于 $\mathfrak{h}$ 的分配矩阵；$\lambda = \mathfrak{c}$ 和 $\lambda < \mathfrak{c}$ 都是可能的。分配矩阵是一个没有共同加细的 mad 族的加细系统。在我们的证明中特别值得关注的是 $\mathcal{B}$-Canjarness 的保持。