User blog comment:MemoryAngel/Bigger numbers?/@comment-33842457-20170926212603/@comment-1605058-20170926213420

Mostly yes. There are some things in here contributed by recognized mathematicians (Friedman, for example), but most of them were not defined specifically with googology in mind.