>>373-374
うん
そうかもな
しかしだ

論文 IUT VI
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. (2020-04-22)

これで”species”の単語検索すると
P1からP7 でなど
”If,instead of working species-theoretically, one attempts to document all of the possible
choices that occur in various newly introduced universes that occur in a construction,”
ときて、その後P67 まで無しで
”Section 3: Inter-universal Formalism: the Language of Species”へジャンプなんだ

つまり、P8〜66までの Section 1: Log-volume Estimates とか
P40 Section 2: Diophantine Inequalities (ここらが、IUT VIの不等式を導く根幹部分だが)
では、用語 ”species”は皆無で、出てこないのです

”species”が、大活躍している風では無い
はて?
単に”species”のお話を書いているのかな