Main-number conjecture for the higher ordinal operations
Main-number conjecture. The α\alphaαth infinite main number of the operation ⟨−,−⟩i\langle -, -\rangle_i⟨−,−⟩i is equal to
MathDB