User blog:Alemagno12/Buccholz Hydra Definition and Analysis

Warning
This uses definitions from my Googological Incompositions article. Go check that out first.

Definition
is the base hydra. Terms are joined.

@ is any hydra.

$ is rest of term

(@)=(@)1

[@]=(@)2

{@}=(@)3

(@)=sup((@),(@)(@),(@)(@)(@),...)

WIP