User blog comment:LittlePeng9/Formalizing googology - naming schemes/@comment-25601061-20180401235440/@comment-1605058-20180402090242

At first I wasn't sure what to make of this uncanny resemblance between Saibian's and algebraic geometry terminology. Only recently I have realized that there is an actual relation between the two, so this is not just a joke.