Published March 29, 2026
| Version v1
Preprint
Open
IUT の ABC 証明に対する方法クラス C による構造的分析 / A Structural Analysis of IUT's ABC Proof via Method Class C
Authors/Creators
Description
宇宙際タイヒミュラー理論 (IUT) の ABC 予想証明を、公理的方法クラス C の枠組みで分析する。C は有限局所入力・適応展開・有限ステップ判定・p^K 局所性の 4 条件で特徴づけられる。IUT の各部品が C に属することを確認した上で、p^K 局所述語は CRT+Dirichlet の拡張補題で回避可能であることを示し、C 内の任意の方法では super-Wieferich 条件 HW_q を判定できないと結論する。