In this paper, we provide a new characterization of Keisler’s order in terms of saturation of Boolean ultrapowers. To do so, we apply and expand the framework of ‘separation of variables’ recently developed by Malliaris and Shelah. We also show that good ultrafilters on Boolean algebras are precisely the ones which capture the maximum class in Keisler’s order, answering a question posed by Benda in 1974.

中文翻译：

---

通过布尔超能力的Keisler指令

在本文中，我们根据布尔超幂的饱和度提供了对Keisler阶的新刻画。为此，我们应用并扩展了Malliaris和Shelah最近开发的“变量分离”框架。我们还表明，布尔代数上的优良超滤器正是按Keisler顺序捕获最大类的超滤器，回答了Benda在1974年提出的问题。