Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"

この論文は、2024 年の『Journal for the Philosophy of Mathematics』に掲載された「第一階領域におけるカテゴリー性類似の性質」に関する先行研究の補正と追加事項を記述したものです。

要約

この論文は、数学者の Ali Enayat さんと Mateusz Łełyk さんが書いた**「過去の論文の修正と、新しい発見の報告書」**です。

彼らは以前、「数学の理論（特に集合論）が、どれだけ『完璧で一意な世界』を描き出せるか」という難しい研究を行いました。しかし、今回の報告書では、その研究に**「小さなミス（訂正）」が見つかったことと、「最近の新しい進展」**について語っています。

まるで、有名な建築家が「私の設計図には、いくつかの修正が必要でした。でも、新しい発見もたくさんありますよ」と発表しているようなものです。

以下に、専門用語を避け、日常の例え話を使って解説します。

---

1. 全体の雰囲気：設計図の修正と新着情報

この文書は大きく分けて 3 つの部分で構成されています。

• 第 2 章（訂正）： 以前発表した「定理 39」という重要な証明に、2 つのミスがありました。それを修正し、正しい証明を再提出します。
• 第 3 章（訂正）： 別の「定理 77」について、証明に使った「仮説」が間違っていたことが分かりました。そのため、その定理の真偽は今は不明です（証明も反例もまだ見つかりません）。
• 第 4 章（最新情報）： 彼らの研究に関連する、最近の他の研究者による素晴らしい発見を紹介しています。

---

2. 第 2 章：定理 39 の「修理」

【どんな話？】
彼らは以前、「ある数学の理論（ZF 集合論）は、完璧な世界を 1 つだけ描き出せるわけではない（『ソリッド』でも『タイト』でもない）」と証明しました。これは正しい結論でしたが、**「その証明の過程で使った道具（論理の組み立て方）が少し不十分だった」**のです。

【例え話：家づくり】

• 以前の状況： 「この家は地震に強いです！」と主張するために、設計図を見せました。結論は合っていますが、**「壁の厚さを測るメジャーが、実は 1 ミミ短かった」**というミスがありました。
• 今回の修正：
  1. 道具の強化： 以前使っていた「レゴブロックの組み立て方」では、高い塔を安定させるのに不十分でした。そこで、より丈夫な「新しい組み立て方（定理 3）」を採用しました。
  2. 説明の正確化： 以前は「この壁は『薄い』（Π2）」と言いましたが、実際は「少し厚い（Π3）」でした。この細かな説明を正しく直しました。
• 結果： 結論（「この理論は完璧な世界を 1 つだけ描き出せない」）はそのまま正しいことが、より強固な証拠で裏付けられました。

---

3. 第 3 章：定理 77 の「迷宮入り」

【どんな話？】
以前、「ある特定のルール（τRepl+Tarski）を使えば、どんな世界を作っても、実は同じ形（同型）になる」と主張しました。しかし、その証明に使った**「ある仮説（Claim 6）」が、実は「嘘」**であることが分かりました。

【例え話：鏡と影】

• 以前の主張： 「2 つの鏡（モデル M と K）を並べると、必ずどちらかがもう片方の『縮小版』か『拡大版』になるはずだ」と言いました。
• 発見された矛盾： しかし、ある特殊な「鏡の組み合わせ」を作ってみると、**「縮小版でも拡大版でもない、奇妙な関係」**になってしまいました。
  • 一方の鏡（K）は「標準的な時間」を持っていますが、もう一方（M）は「時間が歪んでしまった（標準的ではない）」世界になっていました。
  • この場合、2 つの世界は似ているのに、全く同じ形にはなりません。
• 現在の状況： 「だから、あの主張（定理 77）は間違いだ」と断言する証拠はまだありませんし、「実は正しいんだ」と証明する道も見つかっていません。**「今は『不明』という状態」**です。

---

4. 第 4 章：最新のニュース（近所の発見）

彼らの研究をきっかけに、世界中の数学者たちが面白い発見をしています。

1. より簡単な証明： 以前、彼らが「2 つの理論は同じではない」と証明するために、非常に高い山（巨大な無限の存在）を登る必要がありましたが、新しい研究者たちは「もっと簡単な道（論理的な順序の違い）」で見つけたことを発見しました。
2. パズルの分離： 「算数（PA）のルール」を少し変えると、どんなに頑張っても「完全な世界」にはたどり着けないことが、新しいパズルで示されました。
3. 「階層」の限界： 「2 階、3 階、4 階の建物は同じ形にできるけど、無限に高いビル（ZF 集合論）は、同じ形にできない」ということが、より詳しく研究されました。
4. 新しい理論： 「マルチバース（多元宇宙）の理論」や「階層の axiom（公理）」など、新しい分野でも「同じ形かどうか（カテゴリー性）」という考え方が使われ始めています。

---

まとめ：この論文は何を言いたいのか？

この論文は、**「科学は完璧ではないが、間違いを修正し、新しい知見を加えることで、より深く理解できる」**というプロセスそのものです。

• ミスがあった？ → 修正して、より強固な証拠にしました。
• 分からないことができた？ → 素直に「今は不明」と認め、今後の研究に期待しました。
• 新しい発見？ → 自分たちの研究が、他の人々の素晴らしい発見のきっかけになっていることを喜んで紹介しました。

数学の世界でも、建築や料理と同じように、「レシピの微調整」や「新しい食材の発見」が、より美味しい（より正確な）結果を生み出していくのです。

技術概要

1. 背景と問題点

先行論文 [6] は、第一秩序論理における集合論的理論（ZF など）の「ソリッド性（solidity）」や「タイト性（tightness）」といったカテゴリティに類似する性質を研究していました。しかし、今回のノートでは、同論文の以下の 2 つの主要な問題点が指摘されています。

1. 定理 39 の証明の欠陥: 定理 39 の主張自体は正しいが、その証明に用いられた補題（Lemma 40）の強化版が必要であり、かつ KP（クリプキ・プレートク集合論）の公理の量化子複雑性に関する記述に誤りがあった。
2. 定理 77 の証明の破綻: 定理 77 の証明に用いられた補題（Lemma 79）が偽であることが判明したため、定理 77 の真偽は未解決となり、主張は撤回された。

2. 訂正部分（Corrigendum）

A. 定理 39 の修正と再証明

先行論文の定理 39 は、「ZF が無矛盾であれば、任意の $n \in \omega$ に対して、$ZF_{\Pi_n}$ はソリッドでもタイトでもない」というものでした。

• 発見された欠陥:
  1. 証明の強化: 定理 39 の証明には、先行論文の Lemma 40 よりも強力な結果（今回の定理 3）が必要であった。
  2. 公理の複雑性: 証明に用いられた KP 集合論の公理の複雑性は $\Pi_2$ ではなく、実際には $\Pi_3$ である（Zachiri McKenzie による指摘）。
• 手法と主要な結果（定理 3）:
  • 対象モデル $M$ が $ZF^- + V=L$ を満たし、$n \ge 3$ である場合、$M$ の $\Sigma_n$-定義可能な要素からなる部分モデル $K_n(M)$ について以下の性質が成立する。
    • (a) $K_n(M) \prec_{\Pi_n} M$（$\Pi_n$-要素性）。
    • (b) $K_n(K_n(M)) = K_n(M)$（$K_n(M)$ の要素はすべて $K_n(M)$ 内で $\Sigma_n$ 式で定義可能）。
    • (c) $K_n(M) \models ZF_{\Pi_{n+1}} + \neg Coll(\Sigma_{n+1})$（$\Sigma_{n+1}$ の収集公理が失敗する）。
  • 証明の核心: 構成可能宇宙 $L$ の整列順序 $<_L$ が $\Sigma_1$ で定義可能であること、および $L$ の階層構造 $L_\alpha$ の性質を利用し、存在量化子の処理を慎重に行うことで、$K_n(M)$ 内での $\Sigma_n$ 定義可能性を確立した。
• 定理 1（訂正後の定理 39）の証明:
  • ゴーデルの第二不完全性定理と算術化された完全性定理を用いて、$ZF + V=L + \neg Con_{ZF}$ を満たす可算モデル $M_0$ を構成し、その $K_n(M_0)$ が標準算術モデル $\mathbb{N}$ と双解釈可能（bi-interpretable）であることを示す（定理 2）。
  • これにより、$ZF_{\Pi_n}$ がソリッドでもタイトでもないことが再確認された。

B. 定理 77 の撤回

• 問題: 定理 77 は「スキーム $\tau_{Repl+Tarski}$ が g-ソリッドかつ強内部的にカテゴリックである」と主張していた。
• 原因: 証明の根幹をなす**Claim 6（Lemma 79）**が偽であることが判明した。
  • Claim 6 は、「$K$ が $M$ の部分モデルであり、$M$ の定義可能部分集合との交わりが $K$ 内で定義可能である場合、$K$ と $M$ の間には特定の同型または埋め込みが存在する」というものだった。
• 反例の構成:
  • $K$ を $\omega$-標準な ZFC モデルとし、$U$ を $K$ 内の非自明な超フィルターとする。
  • $M$ を $K$ の $U$ による内部超積（ultrapower）とする。
  • このとき、$K$ は $M$ の保存的要素拡大（conservative elementary extension）となるが、$K$ は $\omega$-標準、$M$ は $\omega$-非標準となるため、Claim 6 の 3 つの条件のいずれも満たさない。
• 結論: 定理 77 の証明は破綻しており、現時点では代替証明も反例も存在しないため、主張は撤回された。

3. 追補部分（Addendum）：最近の進展

このセクションでは、先行論文 [6] のテーマに関連する最近の研究動向を報告している。

1. Z2 と ZF-の定義的同値性: Meadows と Chen [4] が、先行論文の定理 16（$Z_2 + \Pi^1_\infty$-AC と $ZF^- + \forall x |x| \le \aleph_0$ は定義的同値ではないが双解釈可能である）のより単純な証明を与えた。彼らの証明は到達不能基数の存在を仮定せず、モデルに定義可能な全順序が存在するかどうかの違いに基づいている。
2. PA の部分理論とソリッド性: Gruza, Kołodziejczyk, Łełyk [8] は、PA の部分理論において、$I\Sigma_n$ を拡張しつつ PA が解釈不可能な「ソリッドな」部分理論の存在を示し、先行論文の質問 B に肯定的な回答を与えた。
3. 内部カテゴリティの深化: Gruza と Łełyk [9] は、メタ理論への依存性やパラメータの扱い、および「順序数高さまでのカテゴリティ」の定式化を研究し、ZF に対するカテゴリティ確立には高階算術の手法では不十分であることを示した。
4. その他の研究:
   • Meadows [14] による Steel のマルチバース理論の内部カテゴリティの研究。
   • Barton [1] や Meadows [15] による、タイト性の概念を用いた集合論の基礎的問題の定式化。
   • Glazer [7] による、ランク公理を追加した ZC 理論（ZCR）のソリッド性の検討（未解決）。
   • Enayat 自身による Kelley-Morse 類理論のソリッド性に関する研究 [5]。

4. 意義と結論

このノートは、集合論とモデル論の分野における「カテゴリティ性」の理解を深める上で重要な役割を果たしています。

• 技術的厳密性の確保: 定理 39 の証明を、$L$ の構造と $\Sigma_n$ 定義可能性の精密な分析に基づいて再構築し、先行論文の論理的基盤を確実なものにしました。
• 誤りの訂正と撤回: 定理 77 のような強力な主張が、反例によって撤回されるプロセスを透明化し、数学的議論の健全性を保つ役割を果たしました。
• 研究の方向性: 最近の進展（特に Meadows や Gruza らの研究）を通じて、カテゴリティ性、ソリッド性、タイト性といった概念が、単なる論理的性質を超えて、集合論の基礎問題やメタ理論の構造を理解するための重要な枠組みとして定着しつつあることを示唆しています。

総じて、この論文は先行研究の欠陥を修正し、その分野の現在の最前線と未解決問題を明確に提示する、学術的に極めて重要な補足資料です。