Binamus

Binamus is equal to \(f_{\psi(\upsilon[2])}(10)\) using the fast-growing hierarchy with this system of fundamental sequences, \(\upsilon[0]=M(0;0)\) and \(\upsilon[n+1]=M(\upsilon[n];0)\). The term was coined by Denis MaksudovMy system of number names (FGS) - Traveling To The Infinity.
== Etymology ==
The 4 parts of the name, "bi", "in", "am", and "us", mean \(2\), "in-" operation, \(\alpha\)-Mahlo cardinals, and this ordinal collapsing function. So the full name indicates the ordinal index of the number.
== Sources ==
Category:Numbers
Category:Numbers by Denis Maksudov
Category:10-based FGH numbers
Category:Higher computable level
Category:-amus