经由布尔超幂的 Keisler 序
逻辑
2021-04-08 v2
摘要
在本文中，我们借助布尔超幂的饱和性给出了 Keisler 序的一个新刻画。为此，我们应用并拓展了 Malliaris 与 Shelah 近期发展的“变量分离”框架。我们还证明了布尔代数上的良超滤子恰好是那些捕获 Keisler 序中最大类的超滤子，从而回答了 Benda 于 1974 年提出的一个问题。
引用
@article{arxiv.1810.09428,
title = {Keisler's order via Boolean ultrapowers},
author = {Francesco Parente},
journal= {arXiv preprint arXiv:1810.09428},
year = {2021}
}