User blog comment:Hyp cos/Fundamental Sequences in Taranovsky's Notation/@comment-40154718-20190917091450

Is it also possible to define FS like in "standard" OCFs like Buchholz ψ ? See for example [http:// https://googology.wikia.org/wiki/List_of_systems_of_fundamental_sequences#Fundamental_sequences_2 https://googology.wikia.org/wiki/List_of_systems_of_fundamental_sequences#Fundamental_sequences_2] Perhaps something like : - if a = 0 then cof(a) = 0 - if a = Ω_n then cof(a) = Ω_n and a[n] = n - if a = C(0,c) = c+1 then cof(a) = 1 and a[0] = c - if a = C(b+1,c) then cof(a) = w and a[0] = c, a[k+1] = C(b,a[k]) - if a = C(b,c) and b is a limit : - if card(b) = w or card(b) <= card(c) : cof(a) = cof(b) and a[n] = C(b[n],c) - otherwise : cof(a) = w and a[0] = 0, a[k+1]= C(b[a[k]],c)