選択公理を超えるコンパクト性と大きな基数
Compactness beyond choice and HOD
この論文をやさしく読む
ひとことで言うと
非常に強い大きな基数の性質を、論理や位相空間のコンパクト性として言い換えた数学研究です。
何に役立つ？
大きな基数、選択公理、論理・位相のコンパクト性の関係を比較するために役立ちます。
この研究の面白いところ
コンパクト性の仮定だけから、選択公理やV＝HODに反する状況が生じ得ることを示しています。
どこまで分かった？
集合論の公理とその同値な特徴付けに関する理論結果です。物理的・計算上の実験は要旨に記されていません。
v2のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
exacting基数、rank-Berkeley基数、Berkeley基数、club Berkeley基数を、論理のコンパクト性によって特徴付ける。また、ある位相空間のコンパクト性によっても同値に特徴付ける。この結果は、コンパクト性に関する命題から得られると知られていた強さを、選択公理を仮定しない大きな基数の公理の領域まで引き上げる。これらは無矛盾性の強さの点で、知られている中でも最も強い部類の命題である。 さらに、コンパクト性の仮定が選択公理と、公理V＝HODを直接破り得ることを示す。
v2の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-24 · v2
- 査読・掲載
- 査読状況未確認
更新履歴
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We characterise exacting, rank-Berkeley, Berkeley, and club Berkeley cardinals by compactness properties of logics and, equivalently, by compactness properties of certain topological spaces. This raises the strength known to be obtainable by statements about compactness into the realm of choiceless large cardinal axioms, the strongest known statements in terms of consistency strength. Moreover, it shows that compactness assumptions can directly violate the axiom of choice and the axiom $V=\text{HOD}$.
著者のコメント
23 pages; added explicit statement of one result from the literature for improved self-containedness
arXiv ID: 2609.25291 ／ 要約の誤りについて