User blog comment:Googleaarex/Tetrational Arrays/@comment-25418284-20130311001458/@comment-25418284-20130312044538

Deedlit is right &mdash; what I'm hoping for is making BEAF into a map from ordinal-polynomials to positive integers.

Allow me to fantasize briefly about this. In BEAF, ones are default, but in ordinals, the default coefficient would be zero. So we'll have to subtract 1 from each element of the array; the ordinal describing supertet should be ω^3 × 3 + ω^2 × 3 + ω × 3 + 3.