User blog comment:PsiCubed2/Back to Googology: a reminder as to why this wiki was opened in the first place/@comment-11227630-20181012084451

Which one in the following is "unbased claims"? This? This? This? Or this?

After some development of googology, it becomes harder to create "non-salad" or "non-naive-extension" new things. Currently, the top of googology is Sasquatch, the computable part reaches USGDCS2, and the notational googology is around \(\Pi^1_2\text{-CA}_0\) (some article by Michael Rathjen, but I cannot find an available source) - none of them is easy. So there may be many "guesses" by people trying to get the structures of these hard things. (I also made some.)