Functorial Fast-Growing Hierarchies
We prove an isomorphism theorem between the canonical denotation systems for large natural numbers and large countable ordinal numbers, linking two fundamental concepts in Proof Theory.The Wooden Blocks first one is fast-growing hierarchies.These are sequences of functions on $mathbb {N}$ obtained through processes such as the ones that yield multi