[論文レビュー] The Seed Order

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

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

ひとこと要約

この論文は、一様な可算完全な超フィルターの部分順序であるシード順序を導入し、ミッチェル順序の一般化である。線形性の仮定—いわゆる超冪公理—のもとでは、超コンパクト性などの到達不能な大基数仮定ですら、正規内モデルに類似した強い構造的性質が得られる。

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.

研究の動機と目的

• 一様な可算完全な超フィルターに対するミッチェル順序の一般化として、シード順序を定義・形式化すること。
• シード順序が線形であると仮定した場合の構造的帰結を、強力な大基数仮定のもとでも調査すること。
• その線形性—いわゆる超冪公理—が、正規内モデルにおける構造的性質に類似した性質をどのように導くかを明らかにすること。
• 現在実現不可能とされている仮定（例：超コンパクト性）を導入することで、内モデル理論における現在の限界とシード順序を結びつけること。

提案手法

• 論文は、埋め込みの比較に基づいて、一様な可算完全な超フィルター上の部分順序としてシード順序を定義する。
• シード順序の線形性を仮定し、基礎的仮定として超冪公理を導入する。
• 特に超コンパクト性を含む大基数仮定のもとで、構造的帰結を探索する。
• 超冪埋め込みと、初等的埋め込みによる超フィルター間の比較を用いて理論を展開する。
• 正規内モデルの構造的特徴をガイドとして用い、期待される振る舞いの類似性を考察する。
• 内モデル理論における既知の結果を活用し、シード順序の線形性がもたらす含意を推論する。

実験結果

リサーチクエスチョン

• RQ1 一様な可算完全な超フィルター上のシード順序の構造は何か？ そしてミッチェル順序はどのように一般化されるか？
• RQ2 シード順序が線形である条件は何か？ その線形性の帰結は何か？
• RQ3 シード順序の線形性を仮定する超冪公理は、超フィルターおよびその超冪の構造にどのように影響を与えるか？
• RQ4 超冪公理の帰結は、正規内モデルにおけるものとどの程度類似しているか？
• RQ5 超コンパクト性のような仮定は、シード順序および超冪公理とどのように作用し合うか？

主な発見

• シード順序はミッチェル順序を、より広い超フィルターのクラスへ一般化し、部分順序構造を保つ。
• シード順序の線形性は、現在の内モデル理論を超える強力な大基数仮定のもとでも一貫している。
• シード順序の線形性を主張する超冪公理は、正規内モデルに類似した構造的帰結を生み出す。
• 特に超コンパクト性のような大基数仮定を組み合わせると、その帰結は顕著に強化される。
• シード順序の線形性は、現在の内モデル構成の限界にもかかわらず、正規内モデルの既知の特徴を模倣する統一的枠組みを提供する。