「the logic after Figure 3.8 in the proof
of Corollary 3.12 of IUT-III」＝「−|logΘ| の有限性と不等式−|log q|≦−|logΘ|を導出する箇所」が問題となっている。

その箇所について原論文やサーベイで何の説明も与えられていないわけではなくて
−|logΘ| の有限性については、原論文の[IUTchIV,Thm.1.10]もしくはGoサーベイのProp.1.12より従う
−|log q|≦−|logΘ| が成立する理由に関しては、Goサーベイの356〜361ページ、星サーベイの36ページ、星サーベイ(続編)の92ページで証明が与えられている。


これらを全部読んだがギャップがある、ならわかるけど多分原論文の最新版しか目を通してないよねこれ