On Depth and Depth^+ of Boolean algebras

From MaRDI portal
Publication:2481707



Abstract: We show that the Depth^+ of an ultraproduct of Boolean Algebras, can not jump over the Depth^+ of every component by more than one cardinality. We can have, consequently, similar results for the Depth invariant.


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\).











This page was built for publication: On Depth and \(\text{Depth}^{+}\) of Boolean algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2481707)