[论文解读] The Seed Order

Gabriel Goldberg|arXiv (Cornell University)|Jun 2, 2017

Advanced Topology and Set Theory参考文献 7被引用 4

一句话总结

本文引入了种子序（seed order），这是对一致可数完备非主超滤子上的偏序关系的推广，其推广了 Mitchell 序。在假设线性性（即超幂公理）的前提下，种子序能导出强结构结论，其特征类似于典范内模型，即使在不可达大基数假设（如超紧致性）下亦然。

ABSTRACT

This paper introduces the seed order, a partial order of the class of uniform countably complete ultrafilters that generalizes the Mitchell order on normal measures. Like that order, the seed order is consistently a linear ordering even under strong large cardinal assumptions. In fact, the linearity of the seed order is a feature of all known canonical inner models for large cardinal axioms. We develop the theory of the seed order under the assumption that it is linear. Augmented by large cardinal hypotheses currently out of reach of inner model theory (namely supercompactness), this linearity assumption, which we call the Ultrapower Axiom, has surprisingly strong consequences reminiscent of the structure theory of the canonical inner models.

研究动机与目标

• 定义并形式化种子序，作为对一致可数完备非主超滤子的 Mitchell 序的推广。
• 研究在假设种子序为线性时的后果，即使在强大基数假设下亦然。
• 探讨这种线性性（称为超幂公理）如何导出类似于典范内模型中的结构特性。
• 通过引入当前尚不可达的假设（如超紧致性）来连接种子序与内模型理论的现有局限。

提出的方法

• 本文基于嵌入比较，定义了种子序作为一致可数完备非主超滤子上的偏序关系。
• 假设种子序的线性性，引入超幂公理作为基础假设。
• 在大基数假设下（特别是超紧致性）进行分析，以探讨其结构后果。
• 通过超幂嵌入和利用初等嵌入比较超滤子，发展该理论。
• 通过类比典范内模型，利用其结构特征作为预期行为的指导。
• 利用内模型理论中的已知结果，推断种子序线性性所导致的后果。

实验结果

研究问题

• RQ1 种子序在一致可数完备非主超滤子上的结构是怎样的？它如何推广 Mitchell 序？
• RQ2 在何种条件下种子序是线性的？这种线性性会产生何种后果？
• RQ3 超幂公理（即假设种子序为线性）如何影响超滤子及其超幂的结构？
• RQ4 超幂公理的后果在多大程度上与典范内模型中的结果相类似？
• RQ5 超紧致性等假设如何与种子序及超幂公理相互作用？

主要发现

• 种子序将 Mitchell 序推广至更广泛的超滤子类别，同时保持偏序结构。
• 即使在强大力大基数假设下（包括当前内模型理论尚无法处理的假设），种子序的线性性仍是一致的。
• 超幂公理（即假设种子序为线性）导出的结构后果，与典范内模型中的结果类似。
• 当结合超紧致性等大基数假设时，这些后果尤为显著。
• 种子序的线性性提供了一个统一的框架，其结构特征与当前尚不可达的典范内模型的已知特征相呼应，尽管内模型构造仍存在当前局限。