布尔超幂、Bukovsky-Dehornoy现象和迭代超幂
Boolean ultrapowers, the Bukovsky-Dehornoy phenomenon, and iterated ultrapowers
摘要：
我们表明，虽然长度$ω$迭代超幂由正常超滤子是布尔超幂由布尔代数的Prikry迫使，它是一致的，没有迭代的长度大于$ω$（相同的超滤子和它的图像）是布尔超幂。对于较长的迭代，使用不同的超滤子，这是可能的，虽然，我们给Magidor强迫和Prikry强迫的推广作为例子。我们把宇宙的有限迭代通过正规测度的交集与通过临界序列的直接极限模型的泛型扩张相同的发现称为布科夫斯基-德霍诺现象，并且我们发展了一个充分的判据（简单骨架的存在），当这种现象的一个版本在布尔超幂的上下文中成立时。假设规范的泛型滤子在布尔超幂模型有什么我们称之为连续表示，我们表明，布尔模型恰恰是由那些成员的交叉模型，连续和最终统一表示代码。
英文摘要：
We show that while the length $ω$ iterated ultrapower by a normal ultrafilter is a Boolean ultrapower by the Boolean algebra of Prikry forcing, it is consistent that no iteration of length greater than $ω$ (of the same ultrafilter and its images) is a Boolean ultrapower. For longer iterations, where different ultrafilters are used, this is possible, though, and we give Magidor forcing and a generalization of Prikry forcing as examples. We refer to the discovery that the intersection of the finite iterates of the universe by a normal measure is the same as the generic extension of the direct limit model by the critical sequence as the Bukovsky-Dehornoy phenomenon, and we develop a sufficient criterion (the existence of a simple skeleton) for when a version of this phenomenon holds in the context of Boolean ultrapowers. Assuming that the canonical generic filter over the Boolean ultrapower model has what we call a continuous representation, we show that the Boolean model consists precisely of those members of the intersection model that have continuously and eventually uniformly represented codes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
