技術要約：有限閉包系におけるクロージャ・アトラスと局所から大域への障害

1. 問題設定

本論文は、有限の閉包系における構造的問題を扱う。具体的には、重複する有限のユニバース（「チャート」と呼ばれる）上で定義された局所的な閉包系の有限族が与えられたとき、これらの局所系が単一の大域的閉包演算子の厳密な制限として実現されるための条件は何か、という問題である。

具体的には、**大域的保守的実現（global conservative realization）**を追求する。大域的閉包演算子 $D$ が局所アトラス $\mathcal{A} = \{(\Sigma_\alpha, \text{cl}_\alpha)\}_{\alpha \in A}$ の保守的実現であるとは、すべてのチャート $\alpha$ と、その局所的な前提集合 $S \subseteq \Sigma_\alpha$ に対して、制限された大域的帰結が局所的な帰結と正確に一致することを指す：
$$D(S) \cap \Sigma_\alpha = \text{cl}_\alpha(S)$$
中心となる問いは、このような $D$ が常に存在するかどうかであり、存在しない場合には、どのような特定の「障害（obstruction）」がその存在を妨げているのかである。本論文では、単なる「拡張（extension）」（局所的な帰結が、大域的な帰結の部分集合として保持されること）と、「保守的実現（conservative realization）」（局所的な言語内に新たな帰結を導入しないこと）を区別している。

2. 方法論およびフレームワーク

本論文は、位相幾何学的または層理論的な機構を用いているものの、「アトラス」、「局所から大域へ」、「貼り合わせ（gluing）」といった類似の用語を使用しながらも、純粋に閉包論的および順序論的なフレームワークを採用している。手法は、以下の階層的な構成を通じて進行する。

A. インデックス付き真理空間

閉包データを解釈するために、本論文はインデックス付き真速空間（indexed truth spaces）を導入する。インデックス付き真理空間 $\mathcal{X} = (\Sigma, \text{cl}, I, \tau)$ は、有限の閉じた理論（インデックス）を選択し、各要素 $\phi$ をその真理領域 $V_\mathcal{X}(\phi) = \{i \in I : \phi \in \tau(i)\}$ によって表現する。

• 健全性（Soundness）： 閉包帰結（$S \vdash \phi$）は、常に真理領域の包含関係（$V_\mathcal{X}(S) \subseteq V_\mathcal{X}(\phi)$）を意味する。
• 完全性（Completeness）： 逆が成立するのは、インデックス集合がすべての閉じた理論（「フル」なインデックス付き真理空間）を含む場合のみである。
• 偽の帰結（Spurious Consequences）： 本論文は、簡約されたインデックス付き空間（特定の閉じた理論を省略したもの）において、分離する証拠（witnesses）の欠如により、領域の包含関係は成立するが閉包帰結は成立しないという「偽の領域帰結」が生じ得ることを示している。

B. 決定分解

形式的な反対概念（$\bar{a}$）に関する簿記レイヤーを導入する。論理的な否定規則を仮定することなく、任意の要素 $a$ についてインデックス集合を以下の4つの領域に分解する：

1. $P_a$: $a$ を含むが $\bar{a}$ を含まないインデックス。
2. $N_a$: $\bar{a}$ を含むが $a$ を含まないインデックス。
3. $B_a$: 両方を含むインデックス。
4. $U_a$: どちらも含まないインデックス。
   この分解は純粋に構造的なものであり、明示的に課されない限り、整合性や爆発律を前提としない。

C. 閉包アトラスと伝播

核となる構成は、有限閉包アトラス $\mathcal{A}$ である。本論文では、局所的な閉包を重複部分を通じて伝播させるアトラス・ステップ演算子 $G_\mathcal{A}$ を定義する：
$$G_\mathcal{A}(X) = X \cup \bigcup_{\alpha \in A} \text{cl}_\alpha(X \cap \Sigma_\alpha)$$
この単調演算子を有限のユニバース上で反復適用することで、不動点へと収束し、アトラス生成閉包 $C_\mathcal{A}$ を定義する。この演算子は、すべての局所チャートの閉包を拡張する最小の大域的閉包演算子であることが証明されている。

3. 主要な貢献と結果

A. 局所から大域への障害基準

本論文の主要な結果（定理 7.3）は、大域的保守的実現が存在するための、正確かつ有限の基準を提供する。

• 障害の定義： 障害とは、三つ組 $(\alpha, S, \phi)$ であり、ここで $S \subseteq \Sigma_\alpha$、$\phi \in \Sigma_\alpha$ であり、$\phi$ が大域的アトラス生成閉包 $C_\mathcal{A}$ の下では $S$ の帰結であるが、局所閉包 $\text{cl}_\alpha$ の下では $S$ の帰結ではないものである。
• 定理： 有限閉包アトラス $\mathcal{A}$ が大域的保守的実現を持つための必要十分条件は、障害集合 $\text{Obs}(\mathcal{A})$ が空集合であることである。
• 最小性： もし $\text{Obs}(\mathcal{A}) = \emptyset$ ならば、アトラス生成閉包 $C_\mathcal{A}$ 自体が、唯一の最小の大域的保守的実現となる。もし障害が存在する場合、いかなる保守的実現も $C_\mathcal{A}$ を含んでいなければならず、したがって、その不適切な帰結をも含んでしまうため、保守的実現は存在しない。

B. 有限アルゴリズム

ユニバースは有限であるため、障害基準は直接計算可能である。本論文は、$G_\mathcal{A}$ をすべてのチャート $\alpha$ におけるすべての局所的な前提集合 $S$ に対して反復適用し、「チャート可視的な余剰」（$E_{\alpha, S} = (C_\mathcal{A}(S) \cap \Sigma_\alpha) \setminus \text{cl}_\alpha(S)$）をチェックするアルゴリズムの概要を示している。

C. 適合する理論の標準的な貼り合わせ

障害の問題とは別に、本論文は重複適合な局所閉じた理論（overlap-compatible local closed theories）に関する貼り合わせ定理（定理 8.4）を証明している。局所的な閉じた理論の族 $\{T_\alpha\}$ が、重複部分において正確に一致する場合（$T_\alpha \cap \Sigma_{\alpha\beta} = T_\beta \cap \Sigma_{\alpha\beta}$）、それらの標準的な和集合 $T_\cup = \bigcup T_\alpha$ はアトラス生成閉包 $C_\mathcal{A}$ の下で閉じ、かつ各 $T_\alpha$ に正確に制限される。この結果は、システム内に障害が存在するかどうかにかかわらず成立する。

D. 保守的拡張とプルバック

フルなインデックス付き真理空間に対して、閉包系の保守的拡張が、簡約写像（reduct map）に沿った真理領域の正確なプルバックに対応することを本論文は確立している。これにより、単一システム表現論とマルチチャート・アトラス設定との間の架け橋となる。

4. 意義と範囲

本論文は、有限、構造的、かつ閉包論的な貢献であると主張している。

• 主張の謙抑性： 著者らは、結果が真理、否定、または古典論理の性質に関する哲学的なテーゼに依存しないことを明示している。「真理」、「理論」、「反対」といった用語は、基礎となる順序データの解釈として使用されている。
• 既存研究との区別： 本フレームワークは、抽象代数論（代数化は研究していない）、データベース依存理論（含意基底の最小化は扱わない）、および層理論（位相的仮定を持たない）とは異なる。これは、有限閉包伝播の組合せ論に厳密に焦点を当てている。
• 限界： 結果は厳密に有限である。無限のユニバースや無限のアトラスについては扱っていない。本論文は新しい論理や古典的な基礎の代替案を提案するのではなく、閉包系における局所から大域への伝播を分析するための特定の数学的言語を提供している。
• 今後の課題： 本論文は、「保守的補完（conservative completions）」（単一のチャートからは見えない混合前提の帰結を加える非標準的な大域的実現を見つけること）を、提示された標準的な障害分析とは異なる将来の研究方向として特定している。

要約すれば、本論文は、局所的な論理的（あるいは閉包的）規則の集合を、意図しない局所的な帰結を生成することなく、一貫して単一の大域的システムへと統合できるかどうかについて、厳密かつ計算可能な条件を提供し、そのような統合が不可能になる際の正確な構造的失敗（障害）を特定している。