Keisler's Order and Full Boolean-Valued Models

We prove a compactness theorem for full Boolean-valued models. As an application, we show that if $T$ is a complete countable theory and $\mathcal{B}$ is a complete Boolean algebra, then $λ^+$-saturated $\mathcal{B}$-valued models of $T$ exist. Moreover, if $\mathcal{U}$ is an ultrafilter on $T$ and $\mathbf{M}$ is a $λ^+$-saturated $\mathcal{B}$-valued model of $T$, then whether or not $\mathbf{M}/\mathcal{U}$ is $λ^+$-saturated just depends on $\mathcal{U}$ and $T$; we say that $\mathcal{U}$ $λ^+$-saturates $T$ in this case. We show that Keisler's order can be formulated as follows: $T_0 \trianglelefteq T_1$ if and only if for every cardinal $λ$, for every complete Boolean algebra $\mathcal{B}$ with the $λ^+$-c.c., and for every ultrafilter $\mathcal{U}$ on $\mathcal{B}$, if $\mathcal{U}$ $λ^+$-saturates $T_1$, then $\mathcal{U}$ $λ^+$-saturates $T_0$.