User blog comment:Ikosarakt1/FB100Z's variant of BEAF/@comment-10429372-20140807164242

@FB: What is incomplete about it? I don't really see the problem.

@Iko: I think you are correct, although it is a bit weird that {ω,ω+1(1)2} isn't ω+1 entries, like the transfinitely extended Velben Function. On the other hand, {ω,ω(1)1,2} should also be ω+1, like it is in the finite array of notation.

I would be very nice though if you could formally prove it, but it will be very hard I think. I don't think the limit of BEAF is theta(ΩΩ2) or theta(ΩΩω) on the other hand.