Binimah

Binimah is equal to \(f_{\psi(\tau[2])}(10)\), where \(f\) is the fast-growing hierarchy using this system of fundamental sequences, \(\psi\) denotes this ordinal collapsing function, \(\tau[0]=I(0,0)\), and \(\tau[n+1]=I(\tau[n],0)\). The term was coined by Denis MaksudovMy system of number names (FGS) - Traveling To The Infinity.
== Etymology ==
The 3 parts of the name, "bi", "in", "im", and "ah", mean \(2\), the "in-" operation, \(\alpha\)-weakly inaccessible cardinals, and a function \(\psi\) for collapsing \(\alpha\)-weakly inaccessible cardinals. 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