Six Birds Foundations II: 許容性、メタ理論、および Exact-Six プログラム

Six Birds Foundations I は、6 つの原始的クロージャー役割を持つ階層化されたクロージャーカルキュラスを導入しました。本論文では、そのカルキュラスを定理レベルの枠組みに三部構成で拡張します。第1部は、6 種類の型付けされたクロージャー役割 P1,...,P6 の意味、レベル、局所的境界、および選択されたリフトを固定する原始的役割アーキテクチャです。第2部は、正直な簿記、型付けされた非崩壊、レベルプロファイル、選択されたリフトによる忘却、活性化閾値、計測器に相対的な可視性、および経験的橋渡し許容性を定理スキーマとして述べる許容性およびメタ理論体制です。第3部は、有界検査済み型付きクロージャ記述の領域 FATCD に対するスコープされた exact-six 定理連鎖です。この領域内で、6 つの役割の下限証人、修正された役割射影整合を伴う上限分類を証明し、確率性、因果性、および作用性の脅威を該当する範囲で解消します。分解／網羅定理、および統合ストレス認証も提示します。終端定理は、FATCD のすべての D が、5 種類の記録状態のいずれかに属する正確に 6 つの役割チャネルを含む適切に形成された分解／網羅記録を認め、残余特徴は明示的なスキームで分類され、該当範囲内に 7 番目の還元できない役割は不要であることを主張します。この主張は役割チャネルに関してであり、活性射影に関するものではなく、分解は存在的で一意ではありません。無制限の exact-six 全出現カバレッジ、完全な 6 原始子代数、グローバル原始独立性、経験的実現、または内部計測器ファミリーの完全性は主張しません。