Talk:Buchholz's ordinal

Name
I'm not sure that the name "Buchholz's ordinal" is widely used enough (e.g. in publications) for this page to be named after it. The Googology Wiki article says "In googology, the ordinal is widely called Buchholz's ordinal" and cites this page for the statement that it's widely called that, so I think it may just be a name used in googology C7XWiki (talk) 00:45, 29 October 2021 (UTC)