On Depth and \(\text{Depth}^{+}\) of Boolean algebras (Q2481707)

Let \(B\) be a Boolean algebra and let \(L\) be the set of all strongly increasing sequences in \(B\). Then Depth\((B)\) is the supremum of \(\{ | X| : X \in L \}\) whereas Depth\(^+(B)\) denotes the supremum of the set \(\{ | X| ^+ : X \in L \}\). In this paper the authors investigate the connection of Depth and Depth\(^+\) of an ultraproduct of Boolean algebras with the corresponding cardinals of the factors. They show: Theorem: Let \(\kappa, \lambda\) be cardinals, \(\lambda\) regular and such that \(| \alpha| ^{\kappa} < \lambda\) for all \(\alpha < \lambda\); let \(\{ B_i : i \in \kappa \}\) be a family of Boolean algebras with Depth\(^+(B_i) \leq \lambda\) for all \(i \in \kappa\) and let \(D\) be an ultrafilter on \(\kappa\). Then Depth\(^+(B) \leq \lambda^*\) for \(B =\prod_{i < \kappa} B_i / D\). In their proof the authors use continuous increasing sequences of elementary submodels of \((\mathcal{H}(\chi), \in)\) for a sufficiently large \(\chi\).