p 進大好き bot さんが「高階記述不可能性の崩壊」を投稿した。これは実際の順序数解析に使うものではないとはいえ Rathjen や Stegert や Arai などが作成した関数を超えるものである。その一方で、私はマーロ基数の崩壊を理解し切れずに「順序数崩壊関数」を投稿したのを最後に順序数崩壊関数の作成を中断してしまっていた。つまり、私は弱コンパクト基数や記述不可能基数などの手前で立ち止まっていたのだ。[注釈 1]
むろん、この間も私は何もしていなかったわけではない。「メモ」や「絶対無限」や「反映」などのように、とりとめのないメモを投稿していた。
私は、マーロ基数の定義の意義が理解できていなかったのだ。なぜ、マーロ基数を使うと上手く行くのか? なぜ、マーロ基数は、到達不能基数とも弱コンパクト基数とも記述不可能基数とも違う定義なのか? なぜ、マーロ基数を使うのか? そもそも、加素順序数や正則基数や到達不能基数などを使うと上手く行くのは、どうしてなのか?
むろん、この疑問は弱コンパクト基数にも記述不可能基数にも言えることである。だからこそ、この疑問を解決しないと、この先に行くことが出来ないと私は感じていた。[注釈 2]
だから、私は、加素順序数や正則基数や到達不能基数やマーロ基数や弱コンパクト基数や記述不可能基数などを統一して表現できる概念を求めていたのだ。たとえば、反映原理だったりと。
そして、色々と探していた結果、それを見つけたかもしれない。それは反映順序数である。これを使って順序数崩壊関数を作ってみることにする。[注釈 3]
反映順序数[]
反映順序数を定義する。
定義-001[1] |
---|
\( \Gamma \) を集合論の論理式の集合とする。 \( X \) を順序数のクラスとする。順序数 \( \alpha \) が \( X \) 上の \( \Gamma \)-反映順序数であることは、任意の \( { L } _ { \alpha } \) の集合の列 \( \vec{p} \) と任意の \( \Gamma \) の論理式 \( \phi \) に対して、 \( { L } _ { \alpha } \models \phi \paren{ \vec{p} } \) ならば、ある \( \alpha \cap X \) の順序数 \( \xi \) が存在して、 \( \vec{p} \in { L } _ { \xi } \) と \( { L } _ { \xi } \models \phi \paren{ \vec{p} } \) が成り立つことである。 |
反映順序数のクラスを定義する。
定義-002 |
---|
\( \Gamma \) を集合論の論理式の集合とする。 \( X \) を順序数のクラスとする。順序数 \( \alpha \) が \( \alpha \in \mathrm{Ref} \paren{ \Gamma } \paren{ X } \) であることは、順序数 \( \alpha \) が \( X \) 上の \( \Gamma \)-反映順序数であることである。 |
反映順序数と極限順序数の関連について。
定理-003[2] |
---|
次は互いに同値である。
|
反映順序数と極限順序数の関連について。
定理-004 |
---|
次は互いに同値である。
|
反映順序数と許容順序数の関連について。
定理-005[3] |
---|
次は互いに同値である。
|
反映順序数と再帰的到達不能順序数の関連について。
予想-006 |
---|
次は互いに同値である。
|
再帰的マーロ順序数を定義する。
定義-007[4] |
---|
\( X \) を順序数のクラスとする。 \( \omega \) よりも大きい許容順序数 \( \alpha \) が \( X \) 上の再帰的マーロ順序数であることは、任意の \( \alpha \)-再帰関数 \( f : \alpha \to \alpha \) に対して、ある \( \alpha \cap X \) の順序数 \( \beta \) が存在し、 \( 0 \) と \( f \) に関して閉じていることである。 |
再帰的マーロ順序数を定義する。
予想-008 |
---|
\( \mathrm{Ad} \) を \( \omega \) よりも大きい許容順序数のクラスとする。 \( \omega \) よりも大きい許容順序数 \( \alpha \) が再帰的マーロ順序数であることは、順序数 \( \alpha \) が \( \mathrm{Ad} \) 上の再帰的マーロ順序数であることである。 |
反映順序数と再帰的マーロ数の関連について。
定理-009[5] |
---|
次は互いに同値である。
|
反映順序数と再帰的マーロ数の関連について。
定理-010[6] |
---|
次は互いに同値である。
|
注釈[]
出典[]
参考文献[]
- Arai, 2003. 新井敏康, "Proof theory for theories of ordinals—I: recursively Mahlo ordinals", Annals of Pure and Applied Logic, Volume 122, Issues 1–3, 2003, Pages 1-85, ISSN 0168-0072, https://doi.org/10.1016/S0168-0072(03)00020-4.
- Richter, Aczel, 1974. Wayne Richter, Peter Aczel, "Inductive Definitions and Reflecting Properties of Admissible Ordinals", Studies in Logic and the Foundations of Mathematics, Elsevier, Volume 79, 1974, Pages 301-381.