Large Number Garden Number

The Large Number Garden Number (Japanese: 巨大数庭園数) is the abbreviated name of the large number equal to \(f^{10}(10 \uparrow^{10} 10)\), where \(f\) is the function defined in First Order Theory beyond Higher Order Set Theory. The term was coined by Googology Wiki user P進大好きbot.

This number can be considered to be the largest well-defined googologism which is not a salad number.