Recently on this wiki has been born idea for considering an ordinal hierarchy based on catching points of FGH and SGH. We call the ordinal catching if it has the following property:
Let the ordinal is -th such ordinal.
It is known that C(0) is , but the next catching points haven't been verified.
Let's create then a hierarchy based on this function: let and consider the ordinals which are so big that SGH catches this K-hierarchy on them. Then is -th K- and SGH- catching ordinal.
By the similar pattern, we make the new hierarchy and consider catching points of SGH and that hierarchy. is -th catching ordinal of SGH and -th hierarchy past FGH. We can also rewrite as for the further purposes.
Then we can make the super-hierarchy and the first catching point of it will be .