20/05/03 22:37:36.59 W7JjUhjN.net
>>776
＞Dupuyは一歩も引かない
＞だから、ショルツ先生が納得する形で終わる可能性大と思います
＞どれくらい時間がかかるか不明ですが
DupuyはCor3.12の扱いは、Theorem 3.11より前の遠アーベルの証明よりも、
モデル理論としてのCor3.12の数学構造に関心があるのだろうね。
もし楽しんでやっているので、一歩も引かないのなら、それはScholzeも堪らない ｗｗ
次は、Wの(2)の誤解で、IUTの第２のアニメーションあたりまでの説明かな？