Binotos

Binotos is equal to \(f_{\psi(\lambda[3])}(10)\) using Hyp cos's inaccessible OCF and these fundamental sequences, where \(\lambda[0]=1\) and \(\lambda[n+1]=I_{\lambda[n]}\). The term was coined by Denis Maksudov.
== Etymology ==
The 4 parts of the name, "bi", "in", "ot" and "os", mean 2, -in operation, the first inaccessible cardinal \(I_1\) and a certain function collapsing weakly inaccessible cardinals respectively, which form \(\psi(\lambda[3])\) (i.e. 2 more insertions of I) when concatenated backwards. So the full name indicates the ordinal index of the FGH.
== Sources ==
https://sites.google.com/site/travelingtotheinfinity/my-system-of-number-names
Category:Numbers by Denis Maksudov
Category:Numbers
Category:10-based FGH numbers
Category:Higher computable level
Category:-ot-
Category:-os