User blog:Alemagno12/Question

Define (credits to SimpleArt): Is there a fundamental sequence system F such that HΩ 2 (a,ω) ≠ Ω2 for all a < Ω?
 * H0(a,b) = a+1
 * Hx+1(a,b) = Hx+1a(a,b)
 * Hx0(a,b) = a
 * Hxy+1(a,b) = Hx(Hxy(a,b),b)
 * cof(y) ≥ ω: Hxy(a,b)[n] = Hxy[n](a,b)
 * ω ≤ cof(y) ≠ cof(b): Hx(a,b)[n] = Hx[n](a,b)
 * cof(y) = cof(b): Hx(a,b) = Hx[a](a,b)